Métagrammaire RLT, 7/02/02

Plan n Rappels : compilateur de BG n Essais sur les verbes n Questions

Rappels

Métagrammaire n C est un compilateur : u Entrée : F ensemble de classes organisées suivant un DAG (graphe dhéritage multiple de classes) u Sortie : F ensemble de schèmes TAG associés à des structures de traits

Graphe dhéritage n On identifie un nombre quelconque de sous graphes connexes u dimensions n Dans chaque dimension, les classes terminales sont les classes non sous-classées

La classe n Une classe comprend : u Une liste de superclasses u Un ensemble de besoins u Un ensemble de fournitures u Une description F structure de traits réentrants u Une déclaration de constantes F quasi-noeuds u Une formule logique F description partielle darbres

Descriptions partielles n VS-Schabes 92, VS-Rogers 94 u Modélise ladjonction en TAG ! u Fait de F Constantes : quasi-noeuds F Dun connecteur : et F de prédicats binaires :,..>,= u Formules interprétées dans le modèle de Rogers (arbre TAG)

Rogers 94 (idée ) S N V V V V V* semble dormir [Mode = inf ] Jean [Mode = ind ] S N dormir Jean V VV semble Bot : [mode =inf] Bot : [Mode = ind ] S N V V

Descriptions partielles n Dans le cadre MG : u Utilisé pour construire des arbres !!! u On associe au constantes une structure de traits : F top F bottom F locale Type de nœuds : Substitution, pied, ancre, lex Etiquette de catégorie : N, V, Adj,...

Construction darbres S N Vanc SP Prep à N S S N VancSP Prep à N t: b: mode t: b: mode

Descriptions n Description à caractère linguistique de la classe (Kinyon00) u Traits réentrants u Lien avec le lexique Cat = V Aux = avoir Arg1 = sujet Arg2 = objet actif = + Lex = aime num = sing pers = 3 Cat = V Aux = avoir Cat = V Aux = avoir Arg1 = sujet Arg2 = objet passif = + Lex = compte num = sing pers = 3 Cat = V Aux = avoir passif = -

Besoins / Fournitures n Une classe possède un nombre quelconque de besoins et de fournitures : u 2 structures ensemblistes ! n Une classe neutre est une classe dépourvue de besoins et de fournitures

Héritage n Les descriptions partielles sont coordonnées (par un et logique) u Les traits associés au constantes sont unifiés n Les descriptions sont unifiées n Union ensembliste des besoins et fournitures

Croisement n Combiner l ensemble des classes terminales u par héritage u de manière à produire des classes neutralisées (dépourvues de b/f) u La combinaison est légale ssi F La description darbre est interprétable F traits réentrants de classe sont unifiés

Génération u La description partielle de chaque classe neutralisée est interprétée dans un modèle proche de Rogers F Les référents minimaux (arbres) qui satisfont la formule sont générés u On associe à larbre généré le résultat de lunification sur les traits réentrants

Essais sur les verbes

Expérience sur les verbes n Daprès Abeillé 91, Candito 99 n Arguments nominaux uniquement n Essais sur suj0Vobj1a-obj2 n Exemple (suj0Vobj1) : u Par qui sera accompagnée Marie ?

Graphe dhéritage n 3 étapes (dimensions) u Distribution fonctionnelle F Attribuer une fonction initiale à chaque argument suj0Vobj1a-obj2 u Redistribution fonctionnelle F Attribuer une fonction finale à chaque argument (+ morphologie verbale) Sans-Redistribution, passif long,... u Construction fonctionnelle F Dessiner larbre pour chaque fonction finale Objet-Nominal-Clivé, a-obj-clitique,...

arg0 arg1 suj-initial Besoin : ff-sujet obj-initial Besoin : ff-objet arg0=suj-initial arg1=obj-initial ARG0 ARG1 suj-ini obj-ini suj0Vobj1 Distribution (simplifié)

Redistribution (simplifié) Fournit : ff-sujet Dem-Suj Fournit : ff-objetSm Vm Vanc suj-initial=par-obj-fin Besoin : real-par--objet Passif-long Prom-obj obj-initial=suj-fin Besoin : real-sujet Obj suj Verb-morph Passive-morph Suj par-obj Sm VmVanc

Réalisation (simplifié) Fournit : real-sujet Réal-Suj Construction Fournit : real-par-obj suj-n-pos-can-h=suj-fin Suj-N-Pos-Can Canonique par-obj-interr-h=par-obj-fin Par-Obj-N-Interr Réal-par-obj Real-Fonction Extraction

Distribution n Classe finale u Jean accompagne Marie suj-init=arg0 obj-init=arg1 Besoin : {ff-suj, ff-obj} suj0Vobj1

Redistribution (passif) suj-init = par-obj-fin obj-init = suj-fin Besoin : {real-sujet, real-par-obj} Fourniture : {ff-sujet, ff-objet} Sm :: loc : cat = S Vm :: loc : cat = V type = anc Vanc :: loc : cat = V type = anc Passif-long Sm VmVanc n Classe finale u Marie est accompagnée par Jean

Sujet inversé suj-fin=suj-n-inv-h suj-n-inv-r=suj-n-inv-h suj-n-pos-can-r<Vanc Vanc<suj-n-inv-r suj-n-inv-r<obl-obj-n-pos-can-r suj-n-inv-r<par-obj-nom-pos-can-r suj-n-inv-r<a-obj-n-pos-can-r Fourniture : realisation-sujet suj-n-inv-h :loc:cat = N type = subst EXTRACTION = + OBJ-N-POS-CAN = - Suj-N-inversé Sm suj-fin=suj-n-inv-r=suj-n-inv-h VmVanc n Classe finale u (Extr) est accompagnée Marie par Jean Contraintes de coocurrence +/- QArbre-arg-root QArbre-arg-head = arg-fonc-fin

Positions extraites Par-obj-fin=par-obj-interr-h extr-Sup<suj-n-pos-can-r Fourniture : realisation-par-obj par-obj-interr-h :loc:cat = N type = subst... EXTRACTION = + Par-Obj-N-Interr Sm n Classe finale u Par qui Marie est accompagnée par-obj-interr-r=extr-Sup sp-interr p-interrpar-obj-interr-h par-interr QArbre-arg-root QArbre-arg-head = arg-fonc-fin

Questions

Redistribution (passif) sujet-initial = Sm objet-initial = sujet-final Besoin : real-sujet Fourniture : ff-sujet, ff-objet Sm :: loc : cat = S Vm :: loc : cat = V type = anc Vanc :: loc : cat = V type = anc Passif-court Sm VmVanc « Effacement »

Référents minimaux n Interprétation actuelle S VN S VN <

The Bug ! n Nœuds fantomatiques n Usage u Classes de construction syntaxique F Schématiquement : S VR0 S VR2 < R1R2 << Déclaration : S, V, AN2 Extraposition-r < Suj-can-r < clitiques < Verbe < suj-inversé-r < args-canon Construction CanonClitiqueExtrap

Référents minimaux n Suggestion u << : « à gauche ou égal » S VR0 << S R0=V R1R2 << R1=R2 S VR1 Problème R2 ? <<

Compter... n Problème : u Générer un schème avec max 1 extraposition n Permet de générer une classe dont tous les args sont extraposés ! Besoin : real-sujet Besoin : real-objet dim1+dim2 dim3 Extraposition

The Nasty Bug ! n Solution : u Rejet de classes mal équilibrées F (Ex-)Explosion du compilateur Besoin : real-sujet Besoin : real-objet Besoin : extrap? dim1+dim2 dim3 Fournit : extrap? Extraposition? No-Extrap Besoin : extraposition-vraie 1-extrap Fournit : extraposition-vraie Extraposition

Ambiguïté des FS n Vues comme description du schème (cfr Kinyon00) n Egalement utilisées pour bloquer des croisements n Suggestion : u Ajouter un b/f de type exclusion F (0a) F Croisement : besoins, fournitures, exclusions F Corollaire du Nasty Bug (+a,-a, -->0a)

Technique n A venir : u Afficheur darbres au format TagML u Intégration des structures descriptives dans la DTD Tagml ?