Paper: Using Higher-Order Logic Programming For Semantic Interpretation Of Coordinate Constructs

ACL ID P95-1029
Title Using Higher-Order Logic Programming For Semantic Interpretation Of Coordinate Constructs
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1995
Authors
  • Seth Kulick (University of Pennsylvania, Philadelphia PA)

Many theories of semantic interpretation use A-term manipulation to composition- ally compute the meaning of a sentence. These theories are usually implemented in a language such as Prolog that can simulate A-term operations with first-order unifica- tion. However, for some interesting cases, such as a Combinatory Categorial Gram- mar account of coordination constructs, this can only be done by obscuring the un- derlying linguistic theory with the "tricks" needed for implementation. This paper shows how the use of abstract syntax per- mitted by higher-order logic programming allows an elegant implementation of the se- mantics of Combinatory Categorial Gram- mar, including its handling of coordination constructs.