The Constraint Language for Lambda Structures

Markus Egg (1) , Alexander Koller (1) , Joachim Niehren (2)

1 Allgemeine Linguistik - Allgemeine Linguistik Computational Linguistics and phonetics
2 Programming Systems Lab [Saarland]

This paper presents the Constraint Language for Lambda Structures (CLLS), a first-order language for semantic underspecification that conservatively extends dominance constraints. It is interpreted over lambda structures, tree-like structures that encode lambda-terms. Based on CLLS, we present an underspecified, uniform analysis of scope, ellipsis, anaphora, and their interactions. CLLS solves a variable capturing problem that is omnipresent in scope underspecification and can be processed efficiently.

Domaines: Logique en informatique [cs.LO]; Informatique et langage [cs.CL]

Markus Egg, Alexander Koller, Joachim Niehren. The Constraint Language for Lambda Structures. Journal of Logic, Language and Information, 2001, 10, pp.457-485. ⟨inria-00536795⟩