1 / 34

Métagrammaire

Métagrammaire. RLT, 7/02/02. Plan. Rappels : compilateur de BG Essais sur les verbes Questions. Rappels. Métagrammaire. C ’est un compilateur : Entrée : ensemble de classes organisées suivant un DAG (graphe d’héritage multiple de classes) Sortie :

ken
Download Presentation

Métagrammaire

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Métagrammaire RLT, 7/02/02

  2. Plan • Rappels : compilateur de BG • Essais sur les verbes • Questions

  3. Rappels

  4. Métagrammaire • C ’est un compilateur : • Entrée : • ensemble de classes organisées suivant un DAG (graphe d’héritage multiple de classes) • Sortie : • ensemble de schèmes TAG associés à des structures de traits

  5. Graphe d’héritage • On identifie un nombre quelconque de sous graphes connexes • dimensions • Dans chaque dimension, les classes terminales sont les classes non sous-classées

  6. La classe • Une classe comprend : • Une liste de superclasses • Un ensemble de besoins • Un ensemble de fournitures • Une description • structure de traits réentrants • Une déclaration de constantes • quasi-noeuds • Une formule logique • description partielle d’arbres

  7. Descriptions partielles • VS-Schabes 92, VS-Rogers 94 • Modélise l’adjonction en TAG ! • Fait de • Constantes : quasi-noeuds • D’un connecteur : ‘ et ’ • de prédicats binaires : <,-->,..>,= • Formules interprétées dans le modèle de Rogers (arbre TAG)

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

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

  10. Construction d’arbres S S N SP Vanc t: b: mode N Prep à S N Vanc SP t: b: mode N Prep à

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

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

  13. Héritage • Les descriptions partielles sont coordonnées (par un ‘ et ’ logique) • Les traits associés au constantes sont unifiés • Les descriptions sont unifiées • Union ensembliste des besoins et fournitures

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

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

  16. Essais sur les verbes

  17. Expérience sur les verbes • D’après Abeillé 91, Candito 99 • Arguments nominaux uniquement • Essais sur suj0Vobj1a-obj2 • Exemple (suj0Vobj1) : • Par qui sera accompagnée Marie ?

  18. Graphe d’héritage • 3 étapes (dimensions) • Distribution fonctionnelle • Attribuer une fonction initiale à chaque argument • suj0Vobj1a-obj2 • Redistribution fonctionnelle • Attribuer une fonction finale à chaque argument (+ morphologie verbale) • Sans-Redistribution, passif long,... • Construction fonctionnelle • Dessiner l’arbre pour chaque fonction finale • Objet-Nominal-Clivé, a-obj-clitique,...

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

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

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

  22. Distribution • Classe finale •  Jean accompagne Marie suj-init=arg0 obj-init=arg1 Besoin : {ff-suj, ff-obj} suj0Vobj1

  23. Redistribution (passif) • Classe finale •  Marie est accompagnée par Jean 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 Sm Vm Vanc Passif-long

  24. Sujet inversé • Classe finale •  (Extr) est accompagnée Marie par Jean 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 = - QArbre-arg-root Sm QArbre-arg-head = arg-fonc-fin suj-fin=suj-n-inv-r=suj-n-inv-h Vm Vanc Contraintes de coocurrence +/- Suj-N-inversé

  25. Positions extraites • Classe finale •  Par qui Marie est accompagnée 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-interr-r=extr-Sup QArbre-arg-root Sm sp-interr p-interr par-obj-interr-h par-interr QArbre-arg-head = arg-fonc-fin Par-Obj-N-Interr

  26. Questions

  27. 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 Sm « Effacement » Vm Vanc Passif-court

  28. Référents minimaux • Interprétation actuelle S N < V S N V

  29. The Bug ! • Nœuds fantomatiques • Usage • Classes de construction syntaxique • Schématiquement : Déclaration : S, V, AN2 S S R0 < V < R1 < R2 V R2 Construction Canon Clitique Extrap Extraposition-r < Suj-can-r < clitiques < Verbe < suj-inversé-r < args-canon

  30. Référents minimaux • Suggestion • << : « à gauche ou égal » S R0 << V << R1 << R2 Problème S S V << R1 << R2 ? R1=R2 R0=V

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

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

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

  34. Technique • A venir : • Afficheur d’arbres au format TagML • Intégration des structures descriptives dans la DTD Tagml ?

More Related