Paper: Using Inverse lambda and Generalization to Translate English to Formal Languages

ACL ID W11-0105
Title Using Inverse lambda and Generalization to Translate English to Formal Languages
Venue IWCS
Session Main Conference
Year 2011
Authors

We present a system to translate natural language sentences to formulas in a formal or a knowl- edge representation language. Our system uses two inverse null-calculus operators and using them can take as input the semantic representation of some words, phrases and sentences and from that de- rive the semantic representation of other words and phrases. Our inverse null operator works on many formal languages including first order logic, database query languages and answer set programming. Our system uses a syntactic combinatorial categorial parser to parse natural language sentences and also to construct the semantic meaning of the sentences as directed by their parsing. The same parser is used for both. In addition to the inverse null-calculus operators, our system uses a notion of gener-...