Paper: Using X-Calculus To Represent Meanings In Logic Grammars

ACL ID P83-1008
Title Using X-Calculus To Represent Meanings In Logic Grammars
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1983

This paper descrlbes how meanings are repre- sented in a semantic grammar for a fragment of English in the logic programming language Prolog. The conventions of Definite Clause Grammars are used. Previous work on DCGs with a semantic com- ponent has used essentially first-order formulas for representing meanings. The system described here uses formulas of the typed ~-calculus. The first section discusses general issues concerning the use of first-order logic or the h-calculus to represent meanings, The second section describes how h-calculus meaning representations can be con- structed and manipulated directly in Prolog. This 'programmed' representation motivates a suggestion, discussed in the third section, for an extension to Prolog so that the language itself would include a mechanism f...