Paper Info
Title
Using higher-order logic programming for semantic interpretation of coordinate constructs
Abstract
Many theories of semantic interpretation use λ-term manipulation to compositionally compute the meaning of a sentence. These theories are usually implemented in a language such as Prolog that can simulate λ-term operations with first-order unification. However, for some interesting cases, such as a Combinatory Categorial Grammar account of coordination constructs, this can only be done by obscuring the underlying linguistic theory with the "tricks" needed for implementation. This paper shows how the use of abstract syntax permitted by higher-order logic programming allows an elegant implementation of the semantics of Combinatory Categorial Grammar, including its handling of coordination constructs.
Year
DOI
Venue
1995
10.3115/981658.981687
meeting of the association for computational linguistics
Keywords
DocType
Volume
abstract syntax,combinatory categorial grammar,first-order unification,coordination construct,term manipulation,combinatory categorial grammar account,higher-order logic programming,elegant implementation,semantic interpretation use,term operation,first order,semantic interpretation,higher order logic
Conference
abs/cmp-lg/9506004
Citations 
PageRank 
References 
1
0.50
10
Authors
1
Name
Order
Citations
PageRank
Seth Kulick122129.66