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 ?