Les grammaires d'interaction

Les grammaires d'interaction sont un formalisme gramamtical fonde sur la notion de polarite. Les polarites expriment la sensibilite aux ressources des langues en modelisant la distinction entre structures syntaxiques saturees et non saturees. La composition syntaxique est representee comme une reaction chimique guidee par la saturation des polarites. Elle est exprimee dans le cadre de la theorie des modeles comme un systeme de contraintes qui utilise la notion de description d'arbre. L'analyse syntaxique apparait alors comme un processus de constructions de modeles d'une description d'arbres satisfaisant des criteres de saturation et de minimalite. La semantique est integree dans le formalisme a un niveau independant du niveau syntaxique mais toujours dans le cadre de la theorie des modeles. Les objets semantiques sont des descriptions de graphes acycliques orientes (DAG) representant la semantique d'enonces textuels sous forme de reseaux de relations predicats-arguments. Les polarites servent a controler la compostion de DAG partiellement specifies. L'interface syntaxe-semantique est realisee de facon tres flexible par une fonction liant chaque nœud syntaxique a au plus un nœud semantique.