From TY_n to DRT: an implementation

Patrick Blackburn 1 Sébastien Hinderer 1
1 TALARIS - Natural Language Processing: representation, inference and semantics
Inria Nancy - Grand Est, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Since the early 1990s, the semanticist Reinhard Muskens has advocated the use of the TY_n family of higher-order logics as a general framework for semantic representation; he has backed up his claim by treating a wide variety of semantic phenomena in the TY_n framework. Most interestingly of all, he has also shown that the central ideas of Discourse Representation Theory (DRT) can be modeled in TY_n, thereby allowing a clean Montague-style treatment of discourse level phenomena. In this paper, we assess the significance for computational linguistics of his theoretical work. We do so by implementing the TY_n-based approach to DRT in \nessie, a generic framework for semantic construction that is implemented in the functional programming language OCaml.
Type de document :
Communication dans un congrès
3rd International Language & Technology Conference - L&TC'07, Oct 2007, Poznam, Poland. pp.384-388, 2007
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00179297
Contributeur : Sébastien Hinderer <>
Soumis le : lundi 15 octobre 2007 - 11:33:44
Dernière modification le : jeudi 11 janvier 2018 - 06:21:35
Document(s) archivé(s) le : lundi 24 septembre 2012 - 13:25:07

Fichier

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

Identifiants

  • HAL Id : inria-00179297, version 1

Collections

Citation

Patrick Blackburn, Sébastien Hinderer. From TY_n to DRT: an implementation. 3rd International Language & Technology Conference - L&TC'07, Oct 2007, Poznam, Poland. pp.384-388, 2007. 〈inria-00179297〉

Partager

Métriques

Consultations de la notice

187

Téléchargements de fichiers

93