Paper: Logical Forms In The Core Language Engine

ACL ID P89-1004
Title Logical Forms In The Core Language Engine
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1989

This paper describes a 'Logical Form' target language for representing the literal mean- ing of English sentences, and an interme- diate level of representation ('Quasi Logical Form') which engenders a natural separation between the compositional semantics and the processes of scoping and reference resolution. The approach has been implemented in the SRI Core Language Engine which handles the English constructions discussed in the paper.