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 |
Copyright |
|
Reuse Permissions | All Rights Reserved |
Note | M.S. Computer Science 2010 |
Collaborating Institutions | Graduate College / ASU Library |
Additional Formats | MODS / OAI Dublin Core / RIS |