Skip to main content

An Inverse Lambda Calculus Algorithm for Natural Language Processing

Abstract Natural Language Processing is a subject that combines computer science and linguistics, aiming to provide computers with the ability to understand natural language and to develop a more intuitive human-computer interaction. The research community has developed ways to translate natural language to mathematical formalisms. It has not yet been shown, however, how to automatically translate different kinds of knowledge in English to distinct formal languages. Most of the recent work presents the problem that the translation method aims to a specific formal language or is hard to generalize. In this research, I take a first step to overcome this difficulty and present two algorithms which take as input two lambda-calculus expressions G and... (more)
Created Date 2010
Contributor Alvarez Gonzalez, Marcos (Author) / Baral, Chitta (Advisor) / Lee, Joohyung (Committee member) / Ye, Jieping (Committee member) / Arizona State University (Publisher)
Subject Computer Science / Artificial Intelligence / answer set programming / CCG / first order logic / inverse / knowledge representation / lambda calculus
Type Masters Thesis
Extent 119 pages
Language English
Reuse Permissions All Rights Reserved
Note M.S. Computer Science 2010
Collaborating Institutions Graduate College / ASU Library
Additional Formats MODS / OAI Dublin Core / RIS

  Full Text
1.1 MB application/pdf
Download Count: 6746

Description Dissertation/Thesis