Paper: Constraints over Lambda-Structures in Semantic Underspecification

ACL ID P98-1058
Title Constraints over Lambda-Structures in Semantic Underspecification
Venue Annual Meeting of the Association of Computational Linguistics
Session Main Conference
Year 1998
Authors

We introduce a first-order language for seman- tic underspecification that we call Constraint Language for Lambda-Structures (CLLS). A A- structure can be considered as a A-term up to consistent renaming of bound variables (a- equality); a constraint of CLLS is an underspec- ified description of a A-structure. CLLS solves a capturing problem omnipresent in underspec- ified scope representations. CLLS features con- straints for dominance, lambda binding, paral- lelism, and anaphoric links. Based on CLLS we present a simple, integrated, and underspecified treatment of scope, parallelism, and anaphora.