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.
Type de document :
HDR
Informatique et langage [cs.CL]. Université Nancy 2, 2003
Liste complète des métadonnées

https://hal.inria.fr/tel-01297859
Contributeur : Guy Perrier <>
Soumis le : jeudi 7 avril 2016 - 14:32:00
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48
Document(s) archivé(s) le : lundi 14 novembre 2016 - 16:16:20

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

192

Téléchargements de fichiers

55