Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Les grammaires d'interaction

Guy Perrier 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Interaction Grammars are a grammatical formalism based on the notion of polarity. Polarities express the resource sensitivity of natural languages by modelling the distinction between saturated and unsaturated syntactic structures. Syntactic composition is represented as a chemical reaction guided by the saturation of polarities. It is expressed in a model-theoretic framework where grammars are constraint systems using the notion of tree description and parsing appears as a process of building tree description models satisfying criteria of saturation and minimality. Semantics is integrated in the formalism at a level independent from the syntactic representation, but inside the same model-theoretical framework: semantic objects are DAG descriptions, representing the semantic of textual utterances in the shape of a network of predicate-arguments relations. Polarities are also used for controlling the composition of partially specified DAGs and the syntax-semantics interface is realized in a very flexible way by a function that links every syntactic node with one semantic node at most.
Document type :
Habilitation à diriger des recherches
Complete list of metadata
Contributor : Guy Perrier Connect in order to contact the contributor
Submitted on : Thursday, April 7, 2016 - 2:32:00 PM
Last modification on : Friday, February 26, 2021 - 3:28:03 PM
Long-term archiving on: : Monday, November 14, 2016 - 4:16:20 PM


  • HAL Id : tel-01297859, version 1



Guy Perrier. Les grammaires d'interaction. Informatique et langage [cs.CL]. Université Nancy 2, 2003. ⟨tel-01297859⟩



Les métriques sont temporairement indisponibles