Constraints over Lambda-Structures in Semantic Underspecification

Abstract : 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.
Type de document :
Communication dans un congrès
Joined 17th International Conference on Computational Linguistics and 36th Annual Meeting of the Association for Computational Linguistics (COLING/ACL'98), 1998, Montreal, Canada. pp.353--359, 1998
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00536807
Contributeur : Joachim Niehren <>
Soumis le : mardi 16 novembre 2010 - 23:09:32
Dernière modification le : mardi 31 octobre 2017 - 14:22:18
Document(s) archivé(s) le : jeudi 17 février 2011 - 03:14:23

Fichiers

CLLS-98.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00536807, version 1

Citation

Markus Egg, Joachim Niehren, Peter Ruhrberg, Feiyu Xu. Constraints over Lambda-Structures in Semantic Underspecification. Joined 17th International Conference on Computational Linguistics and 36th Annual Meeting of the Association for Computational Linguistics (COLING/ACL'98), 1998, Montreal, Canada. pp.353--359, 1998. 〈inria-00536807〉

Partager

Métriques

Consultations de la notice

51

Téléchargements de fichiers

177