Paper: A Computational Semantics For Natural Language

ACL ID P85-1022
Title A Computational Semantics For Natural Language
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1985

In the new Head-driven Phrase Structure Grammar (HPSG) language processing system that is currently under development at Hewlett-Packard Laboratories, the Montagovian semantics of the earlier GPSG system (see [Gawron et al. 19821) is replaced by a radically different approach with a number of distinct advantages. In place of the lambda calculus and standard first-order logic, our medium of conceptual representation is a new logical for- realism called NFLT (Neo-Fregean Language of Thought); compositional semantics is effected, not by schematic lambda expressions, but by LISP procedures that operate on NFLT expressions to produce new expressions. NFLT has a number of features that make it well-suited {'or nat- ural language translations, including predicates of variable arity in which expli...