Grammaires d’unification polarisées Sylvain Kahane Lattice, Université Paris 7 Modyco, Université Paris 10 TALN20 avril 2004Fès

Kahane, TALN 2004, Fès2 Introduction Compositionalité : –phrase = molécule (Jespersen 1924, Tesnière 1934, Ajduckiewicz 1935) –structure d’unités complexes = combinaison de structures d’unités élémentaires (CG, CFG, TAG, HPSG, LFG, …) Saturation ?

Kahane, TALN 2004, Fès3 Plan GUP Système des polarités Grammaires d’arbres et DG Grammaires de réécriture et CFG TAG HPSG LFG

Kahane, TALN 2004, Fès4 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, TALN 2004, Fès5 Système des polarités = gris = élément neutre = blanc = contexte obligatoire = noir = saturation = négatif = besoin = positif = ressource.x = x.x = . = (Nasr 1995, Duchier & Thater 1999, Perrier 2002) polarités neutres :

Kahane, TALN 2004, Fès6 Propriétés du formalisme Commutativité : A  B = B  A Associativité : (A  B)  C = A  (B  C)  super-déclarativité Monotonie

Kahane, TALN 2004, Fès7 Grammaires d’arbres Une grammaire générant tous les arbres : Une grammaire générant tous les arbres binaires : = = { } = { } 2

Kahane, TALN 2004, Fès8 Grammaires de dépendance subj dobj cat: V lex: eat cat: V cat: N cat: Adj lex: red cat: N lex: Peter mod cat: N lex: beans Nasr 1995, Kahane 2001 Peter eats red beans

Kahane, TALN 2004, Fès9 Grammaires de réécriture suite abc : A B C D E a abc S catégorie initiale S : règle de réécriture ABC  DE (« cellule », Burroni 1993) symbole terminal a :

Kahane, TALN 2004, Fès10 CFG et arbres ordonnés structure de dérivation : S NP VP N Peter eats red Adj beans NP V A B C D arbre ordonné = arbre + précédence

Kahane, TALN 2004, Fès11 TAG A A* C DD A C C A A D A arbre auxiliaire TAG traduction GUP

Kahane, TALN 2004, Fès12 HPSG HEAD: 1 SUBCAT: 3 HDTR:HEAD: 1 SUBCAT:  2   3 NHDTR:HEAD: 2 SUBCAT : elist H Q SC HD SC elist SC eat V Q H cat lex Qelist SC HD cat N HHD cat N subj dobj cat: V lex: eat cat: N HDTR NHDTR HD

Kahane, TALN 2004, Fès13 LFG S  NP VP  =  Subj  =  Subj S NP VP V  veut  Pred = ‘vouloir  Subj,VComp  ’  Subj =  VCompSubj V veut Subj Pred VComp Subj ‘vouloir’

Kahane, TALN 2004, Fès14 Conclusion GUP = formalisme générique Alternative aux GU et aux structures de traits –meilleur contrôle de la saturation –plus de diversité des structures géométriques –filtrage en analyse (Bonfante, Guillaume & Perrier 2003) Traduction d’autres formalismes en GUP –mise en évidence de mécanismes procéduraux –combinaison de grammaires (  GUST, Kahane 2002) Questions à explorer –caractériser des sous-classes polynomiales