Grammaire d'Unification Sens-Texte : modularité et polarisation Sylvain Kahane Modyco, Université Paris 10 Lattice, Université Paris 7 François Lareau OLST, Université de Montréal Lattice, Université Paris 7 TALN, Dourdan, 7 juin 2005

Introduction Formalisation de GUST basée sur GUP (GUST = Grammaire d’Unification Sens-Texte, Kahane 2001) (GUP = Grammaire d’Unification Polarisée, Kahane 2004) Architecture GUST basée sur TST (TST = Théorie Sens-Texte, Mel’čuk 1974) GUP : combinaison de structures élémentaires contrôlée par polarisation des objets Kahane & Lareau, TALN 2005

Plan Niveaux de représentation GUP Grammaires de bonne formation Grammaires de correspondance Interface sémantique-syntaxe Stratégie de génération (et d’analyse) (Interface syntaxe-morphotopologie) Kahane & Lareau, TALN 2005

Les niveaux de représentation sémantique (graphe) syntaxique (arbre de dépendances) morphotopologique (arbre ordonné) phonologique (chaîne)  grammaires de bonne formation  grammaires de correspondance Kahane & Lareau, TALN 2005

GUP structure = objets + fonctions graphe = nœuds, arcs + source, cible structure polarisée = objets polarisés (P,.) = ensemble des polarités + produit N = sous-ensemble des polarités neutres GUP : P, ., N, objets, fonctions, structures élémentaires, (structure initiale) Kahane & Lareau, TALN 2005

Système des polarités •  = gris = neutre absolu = blanc = contexte obligatoire = noir = saturation  polarités neutres : (Nasr 1995, Duchier & Thater 1999, Perrier 2002, Kahane 2004) Kahane & Lareau, TALN 2005

Un fragment de Gsém ‘manger’ ‘pierre’ ‘pomme’ ‘deux’ ‘deux’ ‘pierre’ 2 1 ‘pierre’ ‘pomme’ ‘deux’ 1 ‘deux’ ‘pierre’ ‘manger’ ‘pomme’ 1 2 Kahane & Lareau, TALN 2005

Un fragment de Gsynt règles lexicales MANGER DEUX POMME PIERRE pdd : V mode règles lexicales pdd : V mode MANGER pdd : Num DEUX pdd : N nbre POMME nbre sg PIERRE structure initiale règles sagittales cod suj MANGER PIERRE POMME dét pdd : Num DEUX pdd : N pdd : N nbre pl pdd : V mode indic temps prés pers 3 nbre sg suj pdd : V mode indic cod dét pdd : N pdd : Num règles d’accord dét nbre pl pdd : Num suj pers 3 pdd : ¬Pro nbre sg règles grammaticales pdd : V mode indic temps prés pdd : V mode indic temps pers nbre suj Kahane & Lareau, TALN 2005

Grammaires de correspondance B .A et B deux ensembles de structures G une grammaire de correspondance entre A et B A∈A, B∈B fonctionnement équatif : A et B donnés fonctionnement transductif : A donné fonctionnement génératif : rien au départ Kahane & Lareau, TALN 2005

Fonctionnement transductif G A B A∈A est donné  pA(A)=⦁ et pG(A)=〇 dans A Puis, G consomme A et produit B  pG(A)=⦁ et pG(B)= ⦁ dans G Enfin, on vérifie que B ∈B  pB(B)=〇 dans G Articulation : double polarisation pA-pG (⦁,〇)= « construit par A » et (〇,⦁)= « construit par G » Kahane & Lareau, TALN 2005

L’interface sémantique-syntaxe ‘pierre’ cod suj ‘manger’ 2 1 pdd : V MANGER PIERRE pdd : N ‘pomme’ POMME dét 1 pdd : Num DEUX ‘deux’ pdd : N Combiner les règles pour neutraliser psém-synt Kahane & Lareau, TALN 2005

L’interface sémantique-syntaxe MANGER ‘manger’ pdd : V suj cod ‘deux’ 1 2 1 POMME pdd : N pdd : N PIERRE dét ‘Pierre’ ‘pomme’ pdd : Num DEUX Introduire psém et psynt pour l’articulation avec Gsém et Gsynt Combiner les règles pour neutraliser psém-synt Kahane & Lareau, TALN 2005

L’interface sémantique-syntaxe cod suj pdd : V MANGER pdd : N PIERRE POMME dét pdd : Num DEUX ‘deux’ ‘pomme’ ‘Pierre’ ‘manger’ 1 2 ‘manger’ ‘deux’ 1 2 1 ‘Pierre’ ‘pomme’ graphe sémantique Déclencher Isém-synt pour neutraliser psém-synt Introduire psém-synt pour déclencher Isém-synt Kahane & Lareau, TALN 2005

L’interface sémantique-syntaxe cod suj MANGER pdd : N nbre : sg POMME dét pdd : Num DEUX pdd : V mode : indic temps : prés pers : 3 nbre : sg PIERRE POMME cod suj pdd : V MANGER pdd : N PIERRE dét pdd : Num DEUX ‘deux’ ‘pomme’ ‘Pierre’ ‘manger’ 1 2 Déclencher Isém-synt pour neutraliser psém-synt Déclencher Gsynt pour neutraliser psynt Kahane & Lareau, TALN 2005

L’interface sémantique-syntaxe pdd : V mode : indic temps : prés pers : 3 nbre : sg De nouvelles psém-synt à neutraliser MANGER ‘manger’ suj cod ‘deux’ 1 2 1 pdd : N POMME pdd : N nbre : sg PIERRE dét ‘Pierre’ ‘pomme’ pdd : Num DEUX Déclencher Gsynt pour neutraliser psynt Kahane & Lareau, TALN 2005

Les grammèmes ‘concomitant’ ‘concomitant’ ‘maintenant’ ‘maintenant’ pdd : V mode : indic temps : prés 2 1 Isém-synt ‘concomitant’ 2 1 ‘maintenant’ Gsém Kahane & Lareau, TALN 2005

Les grammèmes ‘concomitant’ ‘maintenant’ MANGER ‘manger’ ‘deux’ POMME pdd : V mode : indic temps : prés pers : 3 nbre : sg ‘concomitant’ 1 2 ‘maintenant’ MANGER ‘manger’ suj cod ‘deux’ 1 2 1 pdd : N POMME pdd : N nbre : sg PIERRE dét ‘Pierre’ ‘pomme’ pdd : Num DEUX Kahane & Lareau, TALN 2005

Conclusion Modèle modulaire : 4 grammaires de bonne formation, 3 grammaires d’interface Un formalisme unique Une polarité (au moins) pour chaque grammaire Deux procédures : en largeur : saturation de chaque niveau en profondeur : neutralisation des polarités d’articulation (possible parce que même formalisme partout) Possibilité de traiter une structure « incomplète » et de la compléter ensuite Kahane & Lareau, TALN 2005

Merci Kahane & Lareau, TALN 2005

Interface syntaxe-morphotopologie (1) Règle de bonne formation morpho-topologique : construire un arbre de constituants et indiquer l’ordre entre les constituant ex : R1 est équivalent S  GN GV R1 S GN GV Kahane & Lareau, TALN 2005

Interface syntaxe-morphotopologie (2) 3 types de règles d’interface 1) règle pour le sous-constituant tête ex : R2 dit que GV est la tête de S, càd que GV et S sont synchronisés avec le même nœud syntaxique R2 S pdd :V GV Kahane & Lareau, TALN 2005

Interface syntaxe-morphotopologie (3) 2) règle pour le placement d’un dépendant ex : R3 dit que le sujet correspond au GN sous S R3 pdd : V S suj GN pdd : N Kahane & Lareau, TALN 2005

Interface syntaxe-morphotopologie (4) 3) règle de « morphologie » ex : R4 dit que mange = MANGER ind, prés, 3, sg R4 MANGER V pdd : V mode indic temps prés pers 3 nbre sg mange Kahane & Lareau, TALN 2005

R1 + R2 + R3 = règle LFG R3 R1 R2 S S S GN GV GN GV pdd : V S S S suj pdd :V GN GV GN GV pdd : N S  GN GV  = Suj  =  pdd : V S suj GN GV pdd : N Kahane & Lareau, TALN 2005