Exploring a type-theoretic approach to accessibility constraint modelling

Sylvain Pogodalla 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The type-theoretic modelling of DRT that [degroote06] proposed features continuations for the management of the context in which a clause has to be interpreted. This approach, while keeping the standard definitions of quantifier scope, translates the rules of the accessibility constraints of discourse referents inside the semantic recipes. In this paper, we deal with additional rules for these accessibility constraints. In particular in the case of discourse referents introduced by proper nouns, that negation does not block, and in the case of rhetorical relations that structure discourses. We show how this continuation-based approach applies to those accessibility constraints and how we can consider the parallel management of various principles.
Type de document :
Communication dans un congrès
Journées Sémantiques et Modélisation, Apr 2008, Toulouse, France. 2008
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00281381
Contributeur : Sylvain Pogodalla <>
Soumis le : jeudi 22 mai 2008 - 10:43:56
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48
Document(s) archivé(s) le : vendredi 28 mai 2010 - 17:57:00

Fichiers

montague-sdrt.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00281381, version 1
  • ARXIV : 0805.3410

Collections

Citation

Sylvain Pogodalla. Exploring a type-theoretic approach to accessibility constraint modelling. Journées Sémantiques et Modélisation, Apr 2008, Toulouse, France. 2008. 〈inria-00281381〉

Partager

Métriques

Consultations de la notice

253

Téléchargements de fichiers

112