Paper: Translating English Into Logical Form

ACL ID P82-1001
Title Translating English Into Logical Form
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1982

A scheme for syntax-directed translation that mirrors com- positional model-theoretic semantics is discussed. The scheme is the basis for an English translation system called PArR and was used to specify a semantically interesting fragment of English, including such constructs as tense, aspect, modals, and various iexically controlled verb complement structures. PATR was embedded in a question-answering system that replied appropriately to questions requiring the computa- tion of logical entailments.