Translating English into logical form
Rosenschein, Stanley J.
MetadataShow full item record
CitationStanley J. Rosenschein and Stuart M. Shieber. Translating English into logical form. In Proceedings of the 20th Annual Meeting of the Association for Computational Linguistics, pages 1-8, University of Toronto, Toronto, Canada, June 16-18 1982.
AbstractA scheme for syntax-directed translation that mirrors compositional model-theoretic semantics is discussed. The scheme is the basis for an English translation system called PATR and was used to specify a semantically interesting fragment of English, including such constructs as tense, aspect, modals, and various lexically controlled verb complement structures. PATR was embedded in a question-answering system that replied appropriately to questions requiring the computation of logical entailments.
Citable link to this pagehttp://nrs.harvard.edu/urn-3:HUL.InstRepos:2051751
- FAS Scholarly Articles