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 metadatas
Contributor : Guy Perrier <>
Submitted on : Thursday, April 7, 2016 - 2:32:00 PM
Last modification on : Monday, September 23, 2019 - 5:12:16 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⟩



Record views


Files downloads