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
Résumé : Les grammaires d'interaction sont un formalisme gramamtical fondé sur la notion de polarité. Les polarités expriment la sensibilité aux ressources des langues en modélisant la distinction entre structures syntaxiques saturées et non saturées. La composition syntaxique est représentée comme une réaction chimique guidée par la saturation des polarités. Elle est exprimée dans le cadre de la théorie des modèles comme un système de contraintes qui utilise la notion de description d'arbre. L'analyse syntaxique apparaît alors comme un processus de constructions de modèles d'une description d'arbres satisfaisant des critères de saturation et de minimalité. La sémantique est intégrée dans le formalisme à un niveau indépendant du niveau syntaxique mais toujours dans le cadre de la théorie des modèles. Les objets sémantiques sont des descriptions de graphes acycliques orientés (DAG) représentant la sémantique d'énoncés textuels sous forme de réseaux de relations prédicats-arguments. Les polarités servent à contrôler la compostion de DAG partiellement spécifiés. L'interface syntaxe-sémantique est réalisée de façon très flexible par une fonction liant chaque nœud syntaxique à au plus un nœud sémantique.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

https://hal.inria.fr/tel-01297859
Contributor : Guy Perrier <>
Submitted on : Thursday, April 7, 2016 - 2:32:00 PM
Last modification on : Monday, September 23, 2019 - 5:12:16 PM
Document(s) archivé(s) le : Monday, November 14, 2016 - 4:16:20 PM

Identifiers

  • HAL Id : tel-01297859, version 1

Collections

Citation

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

Share

Metrics

Record views

266

Files downloads

109