DFKI-LT - Constraints over Lambda-Structures in Semantic Underspecification

Feiyu Xu, Markus Egg, Joachim Niehren, Peter Ruhrberg
Constraints over Lambda-Structures in Semantic Underspecification
1 17th International Conference on Computational Linguistics and 36th Annual Meeting of the Association for Computational Linguistics (COLING-ACL'98), August 10-14 volume 1, Pages 353-359, Morgan Kaufmann Publishers, Montréal, Québec, Canada, 1998
We introduce a first-order language for semantic underspecification that we call Constraint Language for Lambda-Structures (CLLS). A lambda-structure can be considered as a lambda-term up to consistent renaming of bound variables (alpha-equality); a constraint of CLLS is an underspecified description of a $lambda$-structure. CLLS solves a capturing problem omnipresent in underspecified scope representations. CLLS features constraints for dominance, lambda binding, parallelism, and anaphoric links. Based on CLLS we present a simple, integrated, and underspecified treatment of scope, parallelism, and anaphora.
Files: BibTeX, COLING-feiyu-98.ps.gz, Egg:1998:CLSb.pdf