| Title: | Translating English into logical form |
| Author: |
Rosenschein, Stanley J.; Shieber, Stuart
Note: Order does not necessarily reflect citation order of authors. |
| Citation: | Stanley 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. |
| Full Text & Related Files: |
TranslatingEnglish.pdf (606.7Kb; PDF)
|
| Abstract: | A 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. |
| Published Version: | http://dx.doi.org/10.3115/981251.981253 |
| Terms of Use: | This article is made available under the terms and conditions applicable to Other Posted Material, as set forth at http://nrs.harvard.edu/urn-3:HUL.InstRepos:dash.current.terms-of-use#LAA |
| Citable link to this page: | http://nrs.harvard.edu/urn-3:HUL.InstRepos:2051751 |
Contact administrator regarding this item (to report mistakes or request changes)