Download - Métagrammaire RLT, 7/02/02. Plan n Rappels : compilateur de BG n Essais sur les verbes n Questions
MétagrammaireRLT, 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 : ensemble de schèmes TAG
associés à des structures de traits
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
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
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)
Rogers 94 (idée )
S
N V
V
V
V
V*
semble dormir
[Mode = inf ]
[Mode = inf ]
Jean
[Mode = ind ]
S
N
dormir
Jean
V
V V
semble
Bot : [mode =inf]
Bot : [Mode = ind ]
S
N
V
V
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,...
Construction d’arbresS
N
Vanc
SP
Prep
à
N
S
S
N Vanc SP
Prep
à
N
t:b: mode
t:b: mode
Descriptions Description à caractère linguistique
de la classe (Kinyon00) Traits réentrants Lien avec le lexique
Cat = VAux = avoirArg1 = sujetArg2 = objetactif = +
Lex = aimenum = singpers = 3Cat = VAux = avoir
Cat = VAux = avoirArg1 = sujetArg2 = objetpassif = +
Lex = comptenum = singpers = 3Cat = VAux = avoirpassif = -
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
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
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
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
Essais sur les verbes
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 ?
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,...
arg0
arg1
suj-initialBesoin : ff-sujet
obj-initialBesoin : ff-objet
arg0=suj-initialarg1=obj-initial
ARG0
ARG1
suj-ini
obj-ini
suj0Vobj1
Distribution (simplifié)
Redistribution (simplifié)Fournit : ff-sujet
Dem-Suj
Fournit : ff-objetSmVmVanc
suj-initial=par-obj-finBesoin : real-par--objet
Passif-long
Prom-obj
obj-initial=suj-finBesoin : real-sujet
Objsuj
Verb-morph
Passive-morphSujpar-obj
Sm
Vm Vanc
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
Classe finale Jean accompagne Marie
suj-init=arg0obj-init=arg1Besoin : {ff-suj, ff-obj}
suj0Vobj1
Redistribution (passif)
suj-init = par-obj-finobj-init = suj-fin
Besoin : {real-sujet, real-par-obj}Fourniture : {ff-sujet, ff-objet}
Sm :: loc : cat = SVm :: loc : cat = V type = ancVanc :: loc : cat = V type = anc
Passif-long
Sm
Vm Vanc
Classe finale Marie est accompagnée par Jean
Sujet inversé
suj-fin=suj-n-inv-hsuj-n-inv-r=suj-n-inv-hsuj-n-pos-can-r<VancVanc<suj-n-inv-rsuj-n-inv-r<obl-obj-n-pos-can-rsuj-n-inv-r<par-obj-nom-pos-can-rsuj-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-hVm Vanc
Classe finale (Extr) est accompagnée Marie par Jean
Contraintesde coocurrence +/-
QArbre-arg-root
QArbre-arg-head=
arg-fonc-fin
Positions extraites
Par-obj-fin=par-obj-interr-hextr-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
Classe finale Par qui Marie est accompagnée
par-obj-interr-r=extr-Sup
sp-interr
p-interr par-obj-interr-h
par-interr
QArbre-arg-root
QArbre-arg-head=
arg-fonc-fin
Questions
Redistribution (passif)sujet-initial = Smobjet-initial = sujet-final
Besoin : real-sujetFourniture : ff-sujet, ff-objet
Sm :: loc : cat = SVm :: loc : cat = V type = ancVanc :: loc : cat = V type = anc
Passif-court
Sm
Vm Vanc« Effacement »
Référents minimaux Interprétation actuelle
S
VN
S
VN
<
The Bug !
Nœuds fantomatiques
Usage Classes de construction syntaxique
Schématiquement :
S
VR0
S
V R2< R1 R2< <
Déclaration : S, V, AN2
Extraposition-r < Suj-can-r < clitiques < Verbe < suj-inversé-r < args-canon
Construction
Canon Clitique Extrap
Référents minimaux
Suggestion << : « à gauche ou égal »
S
VR0 <<
S
R0=V
R1 R2<< <<
R1=R2
S
V R1
Problème
R2
?<< <<
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-sujetBesoin : real-objet
dim1+dim2dim3
Extraposition
The Nasty Bug ! Solution :
Rejet de classes mal équilibrées (Ex-)Explosion du compilateur
Besoin : real-sujetBesoin : real-objetBesoin : extrap?
dim1+dim2dim3
Fournit : extrap?
Extraposition?
No-Extrap
Besoin : extraposition-vraie
1-extrap
Fournit : extraposition-vraie
Extraposition
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)
Technique
A venir : Afficheur d’arbres au format
TagML Intégration des structures
descriptives dans la DTD Tagml ?