Translating English into logical form

DSpace/Manakin Repository

Translating English into logical form

Citable link to this page


Title: Translating English into logical form
Author: Rosenschein, Stanley J.; Shieber, Stuart ORCID  0000-0002-7733-8195

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:
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:
Terms of Use: This article is made available under the terms and conditions applicable to Other Posted Material, as set forth at
Citable link to this page:
Downloads of this work:

Show full Dublin Core record

This item appears in the following Collection(s)


Search DASH

Advanced Search