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.