Typed Hilbert Operators for the Lexical Semantics of Singular and Plural Determiner Phrases

Bruno Mery 1 1 Christian Retoré 2
2 TEXTE - Exploration et exploitation de données textuelles
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : We have proposed a framework based upon the λ-calculus with higher-order intuitionistic types for the symbolic computation of the semantic analysis, integrating lexical data ([Bassac et al., 2010, Mery, 2011, Retoré, 2014]). We discuss the pertinence of using Russell's ι and Hilbert's ε and τ operators for the semantics of the definite and indefinite determiners, recapitulating the main points of [Retoré, 2014], extending the work of von Heusinger in [Egli and von Heusinger, 1995] with higher-order tyiping in a multi-sorted frameowrk. We then study the possible implications of using such operators on underspecified sets of individuals such as those used when computing the semantics of plurals or massive entities, as done in [Mery et al., 2015].
Type de document :
Communication dans un congrès
Epsilon: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics, Aug 2015, Montpellier, France. 2015, 〈https://sites.google.com/site/epsilon2015workshop/〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01214439
Contributeur : Bruno Mery <>
Soumis le : lundi 12 octobre 2015 - 12:03:56
Dernière modification le : samedi 7 avril 2018 - 11:58:02
Document(s) archivé(s) le : jeudi 27 avril 2017 - 00:16:15

Fichier

epsilon_montpellier.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01214439, version 1

Citation

Bruno Mery, , Christian Retoré. Typed Hilbert Operators for the Lexical Semantics of Singular and Plural Determiner Phrases. Epsilon: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics, Aug 2015, Montpellier, France. 2015, 〈https://sites.google.com/site/epsilon2015workshop/〉. 〈hal-01214439〉

Partager

Métriques

Consultations de la notice

153

Téléchargements de fichiers

56