Paper: Higher-Order Coloured Unification And Natural Language Semantics

ACL ID P96-1001
Title Higher-Order Coloured Unification And Natural Language Semantics
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1996
Authors

In this paper, we show that Higher-Order Coloured Unification - a form of unification developed for automated theorem proving - provides a general theory for modeling the interface between the interpretation process and other sources of linguistic, non semantic information. In particular, it pro- vides the general theory for the Primary Occurrence Restriction which (Dalrymple et al. , 1991)'s analysis called for.