Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/inria-00281381
Contributor : Sylvain Pogodalla <>
Submitted on : Thursday, May 22, 2008 - 10:43:56 AM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM
Document(s) archivé(s) le : Friday, May 28, 2010 - 5:57:00 PM

Files

montague-sdrt.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨inria-00281381⟩

Share

Metrics

Record views

296

Files downloads

141