Publication: Translating English into logical form
Open/View Files
Date
1982
Published Version
Journal Title
Journal ISSN
Volume Title
Publisher
Association for Computational Linguistics
The Harvard community has made this article openly available. Please share how this access benefits you.
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.
Research Data
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.
Description
Other Available Sources
Keywords
Terms of Use
This article is made available under the terms and conditions applicable to Other Posted Material (LAA), as set forth at Terms of Service