Vers un statut de l'arbre de dérivation : exemples de construction de représentations sémantiques pour les Grammaires d'Arbres Adjoints

HAL Id: inria-00107767

https://hal.inria.fr/inria-00107767

Submitted on 13 Dec 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

construction de représentations sémantiques pour les Grammaires d’Arbres Adjoints

Sylvain Pogodalla

To cite this version:

Sylvain Pogodalla. Vers un statut de l’arbre de dérivation : exemples de construction de représentations sémantiques pour les Grammaires d’Arbres Adjoints. Actes de la 11ème conférence sur le Traitement Automatique des Langues Naturelles (TALN 2004), 2004, Fès, Maroc. pp.377-386. �inria-00107767�

TALN 2004, Fès, 19–21 avril 2004

! "#$% &'(

Þ

^{) "&}

* +,-

.0/1234 +567&'"89& / :# /; %<

#9 = 7'>?89 =A@8

BCEDFEGDIHIJEKIC6LMGNOLMNQPRC6SMTOC6UMV

ÞTOHIDIHINOTUOC<PWFEGXOGC<PWUMC6UMVEGHZY[FEDIHINMT\LMNOSMG]KIC<PW^_GFE`a`bFEHIGC<PWUced_GXMGC<PWd_UOf g NOHITMDhPjikVEDICETOUMFETODQKIF6TONMDIHINOT\lMFEXOHIDISOCEKIKIC<mWnoKIKIC6C<PpDJENOTPpDIGSMHIDICPRSOG]KhcqSODIHIKIHhPpFEDIHINMT\UOC<Po^_GFE`a`bFEHIGC<PWB0FEDIVEf

r

NMGHICEKIKIC<Pod_XPRDIGFEHIDIC<PoCEDLMCEG`bCEDUMC6`bFETOHIsEGCtPpuM`bVEDIGHIvMSOC6KIC6JEFEKIJESOKUMC6KIF6GCELMGV<PpCETMDIFEDIHINOTPpuMTODIFEwMHqvMSOC

xeFEGXMGCyUOVEGHZYOVEz{CEDKIC|JEFEKIJESMK}UMC|KIFyGCELMGV<PRCETODIFEDIHINOT~PRVE`bFETMDIHIvOSMC<m

 lMHP0LMFELOCEG€PRS

rOr

C<PRDP0F\UOC

ÞTMHqDIHINMT‚NOG  GCECad_U g NOHITOHIT

r

^ƒGFE`b`bFEG„UOCEGHZY[FEDIHINMT‚DIGCEC<P…i†C‡wODICETMUOHIT

r

DIlMC

SQPRSMFEKTMNODIHINOTm_ˆDGC<PpSMKIDP‰GNM`ŠSPpHIT

r

d_XQPRDIGFEJEDoB0FEDIC

r

NOGHIFEK^_GFE`b`bFEGP‰FETOU‚C‹TMFEXOKIC<P…iHITŒFPpuM`b`aCEDqf

GHIJaŽƒFEuMi'DIlOCaJENM`bLOSMDIFEDIHqNMT‚NMXONMDIl‚DIlOCPRuOTMDIFEJEDIHqJaGCELOGC<PRCETODIFEDIHINMTxeUMCEGHZYkCEU‚DIGCECEzFETMU‚DIlOCPRCE`bFETMDIHqJ

GCELMGC<PRCETODIFEDIHINOTm

‘’VE`bFETMDIHqvMSOC<i

r

GFE`a`bFEHIGC<PUQceFEGXOGCyFEU g NMHITODhP…i

r

GFE`b`aFEHqGC<PQJEFEDIV

r

NMGHICEKIKIC<P…i

λfJEFEKIJESMK

‘’CE`bFETMDIHqJ<P…i‹DqGCEC|FEU g NOHITMHqT

r€r

GFE`b`bFEG“Pji‹JEFEDIC

r

NMGHIFEK

r

GFE`a`bFEGP…i

λfJEFEKIJESOKISQP

” FETQP}KIC•LMGNOJEC<P…PRSQP}UMC•JENOTPpDIGSOJEDIHINOT–UOC‰KIF•GCELOGV<PpCETMDIFEDIHINOTbPpVE`aFETODIHIvOSMC•UQcqSOTMC•C‡wMLOGC<P…PRHINOT–UOC•KIF•KIFET

r

SMC

TOFEDISMGCEKIKIC<iQSOTMCFELOLMGNMJElOCHI`bLMNOGDIFETMDICJENOTPRHPRDIC—F<P…PRNOJEHICEGyKIC<PGs

r

KIC<P„UOCtJENO`bXMHITOFEHhPRNOT˜PRuOTODIFEwMHIvOSMC

CED]JECEKIKqC<PUOC\JENO`aXOHITMFEHhPpNMT™PRVE`bFETODIHIvMSOC<mb‘’H]UOFETPxqš›NOTMDqF

r

SOC<i]œ‡OžMŸOz„KIF\UOV

ÞTMHIDIHqNMTUOSJEFEKIJESOKyPpuMTOf DIFEwOHIvMSOCPRCLOG EDqC`aFEK¡—KhceHI`bLMKIFETODIFEDIHINOTiQKqC<P„LMGHITOJEHILOC<P€PRNOSPpfg FEJECETODhP€PpNMTOD¡—KIFXMF<PpCUMCTONM`bXOGCESOw

FESODIGC<P]DIGF‡Y[FESMw`aCETOV<PyPRSOG•UMC<P]NOG`bFEKIHhPR`bC<PyPRuOTMDqFEwMHIvOSMC<P]LOKISP]VEKIFEXONMGV<P…m0¢_NOSP]`bCETMDIHINOTOTMCEGNMTQP]CET

LOGCE`bHICEGyKIHICESKIC<P

r

GFE`a`bFEHIGC<P„JEFEDIV

r

NOGHICEKIKIC<P€xq£oFE`bXMC‹¤i¡œ‹O¥¦O§]š›NONMGD

r

FEDi•œ‡MO¨MziQLMFEGyKICKIHICET!XOF<PRV

PRSOGKhcelMNO`aNO`bNMGLOlMHhPR`bC|UOC|BSOGGuOf©_NªŽƒFEGU6vMSQceCEKIKIC<PQV‹DIFEXMKIHhPjPRCETMD<CETMDIGC|SOT6JEFEKIJESMK{PRuMTODIFEwOHIvMSOC|KIN

r

HIvOSMC

CED‰SOTJEFEKIJESOK_PRVE`bFETMDqHIvMSOC~XOF<PRV›PpSMG–KIC

λfJ‹FEKIJESMKhm«’SOHhP…i{KIC<P

r

GFE`b`aFEHqGC<P|©_«’‘’^\i†F‡YkCEJtKIC<P|DIGF¬YªFESOw

UOC$xeBNOLMC<PRDqFE¤OC|­<®°¯±I²ZiMœ‡MOOz“i‡NMS€£o³’^?x FEKIGuO`aLOKIC<iOœ‹OMOzm

!"$#% !"&'()' (

*

+,,+ '-./ ')0& 21.3465781.9:;<>=?@.A B)CD EF 4/ AGB$C CH 7JILKM( ('(

*

+,,+ NG'( OPG'-.+/ G' !" QR&-.')0& P

S/ I4&AT J '8&-. USNU ! V8'-. 8: AW8N+6?&X= Y[Z Y&;8\ ]Y_^a`]bA

W'cW' d G'd+/&Nd' ($! VAed/ ^af^<^a=g$h

W )+/=g)h^?^a=^aY&;i%I,jk/+l-.

*

8'-. c8/+AM?&X=YZ Y&;8\;\ ]Ym^a`=<^anflV

' V e+e e/+o'O)!V o T'

ß:e e#pJo /W[--.

*

'q/N rs#tuv: w-.>[-

*

s'-.')0& x1.$!pv'v

Þ^{* qB$7uI}

j ' e/ AJV-.' s o' ) ,y

c

z|{|}~€

c

ƒ‚|~€ƒ„

c…}|†…

‡T

*

qBQb4/+6' v'|#t / &N ˆ+v‰/+[A

*

, o & ,

/6'T+ '6b'6+ RNy

, V M>34G5Š1.‹T: />Œ‹T: / ŽAsB$C CFj y

'6Œ‘:A_B)CC’F“,)UŽA[”• •”F“9N: m;<=?@|A[” •• H7JI

AW O ' c–c'|#pJ AW

'+ ,,‡T —&w' wV

Þ ^J

s'/ !A[‰ N %'-.˜

+:AV 6vv

*

v +/ ,I

1.5' ‰Œ™$UŽA” •• H7š r'r+N ' rW /,k› & ‰',

W&-.+/O'+|#O>+ , V [AeN> M WO'O&-./ O'O' )+|#%y

Ie , N Jw /,' +-:, eo' & q' ‰ y

sN [I

œsv N '“#pd ‰v ˆ'-.+/v' v'+|#% I ‹W-

'-+&N

*

,!ˆV s-. o ˆ'

*

žU

*

VA

V v '

Þ &[+,o'' w'vV |#% v+N ŸU ! V

T+N c, VTV T'-,

ÞM&-.+/' 'y

#t I KWr'  +ˆ

ßr Jv, ,wˆ:!x'ˆ

* *

k )&š'N&š ž

+U! V 1.+/7otd, V 1.

* *

ž'd ,NyuN

Þ^7JAJ

V v' Þ ^$!I

¡T 6›+A G&N G šS ,&,A +' šq1.' ›5 A”• •B)7JA'

*

,y

,

*

/š1.46j57JI$¡T &, ,sU2' &3b4G58A$ &

,V ¢>£r1¤[A%B$C CE 7JIt¥M

Þ s$! >oV V s$!p, ss&b' d

): I

KMš4Gj 58Ap ,&,

*

+,,w/Ÿžˆ

*

V ˆŸ15+'A‰B$C’)D7uA +N '

w– ,)'

*

,e'wV e, '&M'-. w ,&,

*

,, !qT

+GNw &‰V , q #pq )&,

*

,&Iej eq& q'wy

&Vž|#tšQ

• ^{: V(4Gj 5¦ * '('!" * *} ,Q§?a=f¨ =p¨p;(=Zim<aY©=^<ªA>V ˜Ÿ#", l,/ 8/š'«+

*

,,ATš¬?= f¨ =p¨p;›nZŽ­“;<‰+ k

 ,T&Ne' W+ e/It®&A“

* *

G/ 'O–G2

,qV q&-.x#p w Qd&-/q' ˆ' |#tI® q[Abd' !

Vers un statut de l’arbre de dérivation : exemples de construction de representations sémantiques pour les Grammaires d’Arbres Adjoints

"!# #$% &('*)+,.-/0132546%&7 &893 :7;<

3 = <!=# = #$% &>'*?@A-+3,0.12549%&3 &89=B C&8#EDGFIH

• #"JC&%K%LI38:#>3>89NMOP8 Q89 R*ST U#K#

U&UV89#U VW# W#&XRW#

^Y

WU&UV897WC

#$8#U &ZU&898[U&%&8989 \[C%&U^]^#&_R[ &8#

A^`#$%

5MOU &89#

A B && &89#

Ba#7b(89cC7 &8#

T%&3#"#$% :#P L# T%> d3P# >CMOSU& C893!># e#&XR>U# %R

Y

f U&3RUUU&89&89%R#

λ^g 89 *%&UM #$$%&89&Q$%89 Ch

gi

&SjV lk

i

&SjV mdno5pqr%&<CLs0.+?-30.t$4'uvU

g ! g

BRB&

λ^g :3C U&>#

=<^%#=Mu C :#

Y

w Bk>A&&Oxpp3m5qy#"# X X"X" K#PB7z&3"%89:#"

λ^{g 89}

s0.+?-30.t$4'

Y

"yLX #$%{ *%{:l#L# X XL|UQ }L|U UcC"R|Ub

:C

Y

7# >%

Þ&~89&#$%~#a;<I_U%evMS UQ3%

Þ% &~# >%89

g

R(k `5bO89#^# ^MS :#

xG#C%^bW &Cr&`C^R^#$NM[R##9&

%GWUQ[P€"‚Lƒ

(x)GR#G%G&Vƒa„B…

(x) 3K#$5b*&l†d‡0.4+W+ˆ0.t5q

Y f ^89&NMu &

CU #A&%A#89P

λ^gU #U#~# dCV G#VUI&

g‰

U~3 #h3A 3

UU |]#U&3$%># %&#&e&:#c89

Þ^{# X} λ^g C893&C|%

YOŠ

U7&:#c89C$a 3a&e% 7X #

Þ^{U# YO‹} NMu #U _#U :#>kf & Œ xppqy{lU&89#5b[U&[U&Žkw &SjA{xppmdqy{&U :#

Y6‘

&V#

Þ^{# Xl} λ^g

89’# *#V&:#c89V%a“

‘~g

U&8#PkVVC&&xpppqy”U\Ra^ % a^:&^U

&{#3# X X

Y

;•& &$*%<#$&|U&3%cB&3#B# X X=&:

‰

<89

λ^gU #U#’%89#89•h5 5MOU U KU&&\%r#E#dbR# E&EEU :#E’U&%MWk#EC&:#c8E%

8(!–—&:#c89––UQUQ((CMO( 3V#( X8989##U e–# (#&XR

# {R`%`U :#q

Y

“A&= C& &C&3B BU[&${89 $=U%r#[U =&\#

˜R|&3LU&3&3LU

Y7‘

r ##y*#E&:#c8|WE&3C d’RE&r *%K|#

% &W%89 R\!=# =C% &Wh bR9kX &qyd#$ #h%^%89 R=

&3% • U3C&:#!8=U :#

Y

‘

&a#a

Þ&•U$a•B7I*&3•™MS&Oh&3•#`#U!ek7A&&yxppmdq

Y

;•& &$*

U 3&&r%&•|| š •&3#3

Þ^{$*&3U Y}

›Aœ ޝ~žŸž ¢¡6£¤G¥¦

œ§*¨y©7ªˆ0,

A 2d+64+'*4@A«3s4l¬4,.)®­34'|-3,.ˆ@I0.12d4'”¯(°7±4+'*4@A«s.4

T(A)^{¬4'^h}

†ˆ+'™,t™20,'r'™25t

A^4'™,™¬? Þ^+0*­-t\² T(A) ::=A|A→ T(A)|T(A)T(A)

°7±4+'*4@A«s.49¬4',.)®­34'

t ∈ T(A) ,.4s.'V13254–s.49'*)@A«ˆ3s.4

→^+K±-d­­3-t®-³,u­3-'A¬-+'

t^4'”,Ps$±4+'*4@A«s.4

¬4'^h# 8#U y´r+ˆ3,.?

T^L(A)^¯(°~4'E-2,tµ4'|tµ4+™¶ˆ0.4l-2

λ^·†-s.†2s'™0.@`­Ks.4@A4+3,r,)®­3?

‡-«0,2d4s¯

›Aœ ޝ~žŸž Ž¸¹£º~ž»~¼Ÿ½~¾

œ9¿LÀ

 ¾

¿ ¾

œ9§

½~¦~Á¾ž

œ

½~¾

¨y©VÂ`+4Ã%X 93&C–C^4'™,P2d+—,.t™0­Ks.4,

Σ =A, C, τ^ˆÄ|²

• A4'™,•25+|4+'4@A«3s.4B¬4E,.)®­34'K-3,.ˆ@I0.12d4'\Å

• C4'”,•25+E4+'*4@A«s.4

Þ+30”¬4B†ˆ+'™,.-+3,.4'\Å

• τ :C → T(A)120™-''™0.Æ+4BÇE†5‡-12d4B†ˆ+'™,.-+3,.4B¬4

C 25+W,.)®­4¯

ª0

τ :C → TL(A)´s.-|'™0.Æ+-,2dt$4=4'”,™¬0,.4\# C¯

Λ(Σ) Þ !"$#%&'()*+

,) - .///+ ,)0-1"23) 44 '5)/&.

67(&)8(9

( )' (

→1;:<&4 =9'8;>&)*>>?)*+

()'53)*+ @9@8@ &)

A→ B ≡ (!A) B ^AB 4!"C=DE=FGH3) I :J) )4!C=DDKLM1":J *

Þ^{N+ ( ,#%,N} α^{/ 0O,,} α→β⁾

P N45N( 4 ( M4Q)'

A

O'R!=&'!$ 0)4 LS!$)M+ ((4N' T+ 4 NT 5

Q)'4 UNV

αβ¹

W3X ÞY[Z\Z]YU^0_`

Xa

Z(b[c

XdMefVgihjgMkljjmno=jpqnsritjhgo$uvp kwluvkuvpxnsozymusripo$u

Σ1 =A1, C1, τ1

pgTo$jpNn{ritjh4go$uvpVkwlu'kuvpNnsovy4mu{ripo=u

Σ2=A2, C2, τ2^{| o=j $6+} L Σ1

#}M Σ2

pnsgTo$jpxyh4riu'p

L=F, Ggip~(~ipN4o$p€

• F : A1 → T(A2)p=nsg8o=jpq‚ljƒgrilj„kqwrij4gipu5y4uRmgih4grilj„kpn7gi…†ypn3hgil‡7r4o$pn3kp

Σ1

ƒl‡3‡3p

kpnˆgi…†ypnˆri‡‰yq~riƒh4grSnUƒljnsgiusorgin>ŠOyhusgruUkp

A2‹Œ

jŽh$yyp~~ipu†h

F ^mth4~p‡3pj4gx~'wp$gipjnsrilj

 l‡3l‡3lu y  ri4o$pNkp

F Š‘gil4o$n@~pn@gi…†ypnkp

T(A1)^’

• G : C1 → Λ(Σ2) pnsg‰o$jp“‚ljƒgrlj”kqwrij4gipu5y4uRmgih4grilj”kpnƒljnsgihjgipnkp

Σ1

ƒl‡3‡3p‘kpn

λ^• gipu-‡3pnqƒljnsgusorgnŠ“yhusgrukp

Σ2‹[Œ

jUh=yy4p~(~ipu†h

Gn-ljUp$gipjnsrilj  l‡3l‡3lu y  rio=p

’

• ~ipn8‚ljƒgriljnUkqwrij4gpu y4uRmgih4grlj–nRljg4ƒl‡‰yh4gri—~ipnUh˜pƒ”~ihŽuvp~ihgrilj–kpgi…†yht}p

|

ƒ/wpnsg

•Š • kriuvp

4o$pxyl4o$u,gil4og

c∈C1^|G(c) :F(τ1(c))^™ ~ipgi…†ypNkp~'wri‡3h}tpVkp

cpn{gT~'wri‡3h}tpVk4oUgi…†ypNkp

c^{š ‹}

› hjn,~ihUnsorgip

|

lj‘og(r~rin-pu†h

L(a)^ylo=u F(a)^lo G(a)n{ori˜hj4g"~ipNƒlj4gip‚gip

‹

W3X ÞY[Z\Z]YOœ_ž,Ÿ ¡„¡¢ ZŸ

XJ£

 \¤¥]ŸZ X¦¦X

 §©¨-\Ÿ Z\

XdMeªjp *9J&*)J pnsgo=j

o=hku{ozyq~ipg

G =Σ1,Σ2,L, s^l4«U€

• Σ¹pnsg.o$jp,nsritjhgo$uvp 9 kqwluvku'p@n{ozymusripo$uvp

|

pg Σ² o=jp,nsritjhgo$uvp,kwluvkuvp,nsovymusripo=u'p

‹

¬

~innRljgsh$yyp~imn

#%)&% N pg

#%)&% N)$­'

’

• L: Σ1 →Σ2

pnsgTo$j‘~ip$rio=p

’

• sp=nsgo=jˆgi…†yp“h4gil‡7rio=p“k4oJ˜lƒh—[o~ihriuvp“h—nsgiu†hrg

|

h=yyp~im0~ip “'5* kp0~ih?tu†h‡3‡3h4riu'p

‹

W3X

ÞY[Z\Z]YO®7_`< Y[¥ ¥

X

¨8 §[¨R\Ÿ Z\

X

\©]§}¯

X \ dMe°lrg

G =Σ1,Σ2,L, so$jp<tu†h‡3‡3hriuvp<ƒh4gimtlu{rip~~ip h—nsgu†h4rgip

‹

±

‹J²

p **N

A(G)pjt}pjkuRmxy4hu

G^pnsgskm Þ^jr-yhu A(G) = {t∈Λ(Σ1)|t:s}

³

‹J²

p **V)$­'

O(G)pjt}pjku-mxyhu

G^pn{gskm Þ^jr-y4hu O(G) ={t∈ Λ(Σ²)|∃u∈ A(G)^h˜pƒ t=L(u)}

H3©&> &)4!S) 4.)©)&)O J*O“´µ

B P J)' J$#}=&

Nµ“:

B

1=23) 4)4&VO)(' )U

A

B

))!$K¶¶KLM1

· )

G = Σ, N, I, A, S ^{?´"µ B 1} Σ^! N^! I^! A S 5)4 &¸#}'45O>“ O¹ )xO 6!N O)x)ˆO 6!'4 0xq( 6ˆ 6q=

ˆ )>)O/' (* >>U*91

G^G = Σ^º%»G ,Σ^»'¼{½G ,L^G, s^G>*O

&*)V4 (9V- )&N5T&)4 NNN90 ¸#%¾

Σ^{¿%À‘ÁÂG /} G^!$)U Þ^(¾

Vers un statut de l’arbre de dérivation : exemples de construction de representations sémantiques pour les Grammaires d’Arbres Adjoints

• A^G ={αS, αA|α∈N}

• C^G ={cT|T ∈I} ∪ {cT|T ∈A} ∪ {Iα|α∈ N}

T ∈ I cT :γ1A · · ·γmAβ1S · · ·βnS αS α

T γi

βi

!

"#!$%

&

!

T ∈ A^! c^T :γ1A · · ·γmA β1S · · ·βnS α^A α^A α

'(

T⁾ γ^{i *! *!} β^{i * ! +$&#! %}

!

Iα

,-

αA

Σ^{.0/13254G -} G⁶ Þ⁸⁷

• A^G:9<; ={τ} τ ^{- = !> ,- $}

• C^{:9<;G # %!}

?-

@A!B

(C

u Σ ^{! &} u ^,- τ

?-

DAB

3

(C

α ^% αi : τ · · ·τ

iEGF(HJI

τ ^-

1 ≤ i ≤ kα⁺ kα ^{!C $ (KCLM C C}

Þ ^{B - !N}

B α ^% G

O

8(

PCQ

4

Þ^{RPM B !SUTVW! B 5} Þ^{! &U PX ! ( % Y}

&

%-

-

%

4 -

$

Z

$

K[

S]\

'7

• ^{M ,-} αS ^{^! = ,-} τ^{=_ #Y 4 Y (B _ (( - 4 $ ( '`}

• ^{M ,-} αA ^{^! = ,-} τ τ^{]=_J Y 4 Y DB _ ( #- ! 4 ba Y}

&%

(

&a

CQ c

$

(

$

(

`

• ^{MZ &# !} Iα^{!(( -}

4

:_

! λx.x^S

d

efhghi

d

ikjhl0i

d

∗

m

d no

efhghpqpsr

d d

efhtkr(u

d

lhu

d

∗

d no

ghvhjhtkr

m

n!o

n!o

∗ fhghvhtkiklhr(wkwkrJxbruhi

y $

[7*z

M]C

-

M B

y*{}|

~

6

$

(

B



R€!‚%ƒk„…

-!-

4†

(

Þ ^{CL ‡ ( ˆ 7%‰} 2N(^ŠD‹ 1^{€!‚%ƒk„} )

=_J Y

4 Y

(B ‰

2

M Þ ^Œ7 N ^{c M ‡ CLB !YC † CL $ ( ( >ŠD‹} 1^B



Þ €!‚%ƒk„*S%Ž…C -

!

#!$%

Q-

^$



N^{CQ : &^# ‘ %}

’-

Œ

Š“‹…“M B

Z

!

^

“

a

(CL λV λN.^‰ 2N(V(^Š“‹ 1^{€!‚%ƒk„} ))^{S zb a#a}

$

( T D”€&ƒ•–„=——k„˜„™%•s]

#

‘

Š“‹ 1 T ^{- ( :_ $ ( “( DŠ“‹} 1 ^_

‘

!

4

Y

C † CQ=

L

Þ ^{X A= - a!(CQ !L % $ (=S { (CL} T

a

!(CQ λx.^Š“‹ 2x”!€&ƒ•–6„=——k„˜„™%•V

š

CQ

_

( -!

RB

8

(

&#a

(CL

$

P K

>

$

(=S

Ž…

%

V-

bM]C

-



6M

B _{ Ž | Q

$

Q›œ

S%\

:^

(

b Þ

B

,!-

X

%

(CQ

!((

S

sžˆŸ ¢¡]£¢¤h¥c¡¦¨§©¥Ÿ¢ª¢¥c£¢¤@«¨Ÿ¢ª¢«¨§©¥§©Ÿ¢ª¬¢Ÿ¢ª­Ÿ¢®R¤¨¯°±¤h¥cª¢²8 ¢£¢¥c³¢¦h´§©¯© ¤h°©¥*µ8¶h·©¬¢¸8¬¤¨¯©«¨¹ˆžŸ¢ ¢¡]°©¤¨¥c®Rº¨®R¤¨¥»¡¦h§©¥Ÿ¢ª¢¥¬¢Ÿ¢ª­¥ ¢¼¢¼¢¡§©®'¤

«¨Ÿ¢®R®'¤¼¢¦h¡¦h®'½h¯©¡¤h¥"°±¤h¥bª¢²8 ¢£¢¥"¥ ¢¡%°©¤h¥¾¢ ¢¤¨°©¥b§©°*ª]¿kÀU¦h ¢¡¦¼¢¦h¥"£¿k¦h£:ÁqŸ¢ª¢«h¯±§©Ÿ¢ªU£¢¦¨ª¢¥"°©¤¨¥"¤ÃÂ)¤h®'¼¢°©¤𪏼¢Ÿ¢ ¡¡¦h§±¯*¥(§±ª¢Ÿ¢ªU°©¤¨¥

ª¢¤¨ ¢¯©¡¦¨°©§±¥(¤¨¡]¤¨ª­°©¤¨ ¢¡]¦¨¼¢¼¢°©§±¾¢ ¢¦hª¯

IαŹ

c

c : ^{A S}

c : A ^S

c^{! "} : A

c ^" : ^A

c^# :^{$&% A S ' S}

c^()(" :^{$&% A S S ' S}

c^#" "+**,- :^{$&% A $.% A}

c =L(c)∈Λ(Σ^/1032 )

c =λN.N( ^1465798: ) : (τ τ)τ

c =λN.N( 1465;=<) : (τ τ)τ

c^{! "} =λx. 2<9>=?< x :τ τ

c ^" =λx. 2 ?6: x :τ τ

c^# =λV.λx.^' 2x(V(^$.% 1;@>=798 )) : (τ τ)τ τ c^()(" =λV.λx.λy.^' 2x(V(^$&% 24A5;BCBC8 y)) : (τ τ)τ τ τ c^# " "+**,- =λV.λx.V(^$.% 2x5;@=7<?68EDD98FG8:< ) : (τ τ)(τ τ)

H IJLKMONP6QRSTVU

G^G

W XTY J1RZ JE[\GTUVTY]JESTJZP T^T. UA_Z^R1`=a"E=b R1. Y]J .^=1

Iα

^YYc

U Edef ` JYg Yh6Q-ijJ`J k^YYEU ^`Y`JEYijEgUTfJ l l` IY R]U

Λ(Σ^me/ )nJEYikEUToJ1 l lVI6_ZnU

Λ(Σ^/1032 )^{UT IJ Tp=q}

Λ(Σ^rts )^M c^# I^uv (c c^{! "}) c("(" I^uv (c c ¹)(cc ^" )

Λ(Σ^sZw3x )^M

y

z{

|

}~€9‚

|

ƒ

€„

ƒ

…† 9‚‡

y

| z{

ƒ

€„

ƒ

…† }ˆˆ‚

|

…† 9‚‡

|

„‡

|

…† } ƒ

H IJLp=M W Q-ijJVUL1YijE I=Y RZnUE YIYE=U‰YR"Š‰E^YYEU ZU

G

‹

ij YST=STŒJŒYij

c^#! I^uv (c c ¹)TCa"‰^YRYŽT=bYijŒU=a" YIYŒb^TYc YlTikZCq

TY^ YIYEdtRJZa"`TYR1ikJEJRŠ-YJE YlTikZ

I^αSTRRUR1STRijJikSTg^Yc R‘\GTU‘a1’b R1“JZa1IA_“U=a" T^T” UA_Z^R1dOgR

DZ•>:–7:—79˜=?68™D98™<9š›;œ-8”—8™DZ•;žœ?AFG8:<

›;&DZ•>Ÿ78:=<9;<79>:j—8`D9; ß  ^{4A58 dŸ 6Š-^GT} ß^¡ ^¢GYR‰GŠtY!’JGI EgRJZa" YlTikEUG

αS

OŠ-YJV¢ T’RnJa1 YlTijOEnUL1

αA

d6.IROIRJZa" YIYVUVU‰YR)Š£ R.Y URRJOU

J

Þ^lTYo¤q

¥‘Š-^kTjJJkY UT^Rd™ kJj¢‰Y

¡

ikfTR"Š£ h¦"Uk§GYEdnK¨¨K©.M”R

G ^{T H ¥V§kqONP}

J l lLUa1 YIYLlUY‰L Y

GEnRZijY¢V TQJ l lEI6_ZnULJZa"¥V§

G^Gq

¥GJY!]SToJZa" YIYUU‰YR)Št Rªa"E«l‰‰Y J1ik’TRJRZ‰oSTU ]J^ UY¬‰ik RSTEdT=

Št-=&R^RLST­JZa"®TLJTRLUYT¯ TLTRJ­ T®^ J^TJLU­JZa" YIY­U‰YR)Š‰Ed‘^Ea"E1c°cURY

Vers un statut de l’arbre de dérivation : exemples de construction de representations sémantiques pour les Grammaires d’Arbres Adjoints

!"##$% !

Λ(Σ^&(' )^)(* "+% ,%"- ..

*

%/%0".12."34!15768

*

"

)

"9

*

*

!

*

:,.;<

*

;" =%

*

">?!?@==

)

0"A">;" <

*

:,!

%"

*

"=5

B

C

+D3:+E!

*

% F%0"

*

"G+H3

*

F%+

**

DE+ "JI%

KILI!=K%"MN

*

!2 O%0"7QPSRT

)

*

" UVM<

)

WXXWY

TMEZ[VMH<

)

WXX\]

5_^!`1#+a/20"b%"2-c

*

Þ^bdfegahji

"ak Ulm,

)(noop

Y

lm q"!$Zrlm,

)

WXX\]

5tsM"8uv<w;"?i;w"3 I!

*

"A=x5

C *

*

tEd e %y+

*

Þz>I2II!"S,SK2",%-I"5yRM,%

)

EI!"E:d

e

1%Ei9= H3

*

12.{}|,~{€,‚}ƒ„;H…†1†1ƒ:~„;H…,{(‡

λhl.∃h1l1l2l3v1(h≥l2∧l2 :^{ˆ$‰ ‰}(v1, l3)∧l3: ^Š‹QŒ (l1, h1)∧h1≥l∧h≥ l1∧l1:^{8Žw}?‘} (v1)

∧∃h1l1l2l3v1(h≥l2∧l2: ^’G“ (v1, l3)∧l3:^ˆ$‘J” (l1, h1)∧h1 ≥l∧h≥l1 ∧l1 :^8ŽJ•(– (v1)

∧h≥ l∧l:8ŽJ•(—(—( (v1, v1)))

*

ÞE0"EEI"E0"

*

l ^Ul:8ŽJ•(—(—˜ (v1, v1)^] %f%"%-I" +EE0"

*

l2

U h1 ≥ l⁾ h1

%",%-I"M

Š‹QŒ (l1, h1)^{0" *} l3⁾

-™$2",%-I"

ˆ$‰‰(v1, l3)^0" l2

]

5 šM ™ ›

)

?™!a%",%-I"$

’G“ (v1, l3)

0"

*

l2

U h1 ≥l l3

] 5

œ

EE"3I!",E9#0"E

*

=

*

,12,0"z

Þ^{z ` *} Þ ^ž‡

ˆ$‰‰(x,^Š‹QŒ (^‹ž•?‘ (x),^’f“ (y,^ˆ$‘J” (^{Ÿ: ‹ž•?‘} (y),^‰} G¡( (x, y)))))

’f“ (y,^ˆ$‘J” (^{Ÿ: ‹F•8‘} (y),^ˆ$‰‰(x,^Š‹QŒ (^‹ž•?‘ (x),^‰} G¡( (x, y)))))

"

)

3

*

!,,9#0"E

*

=",%"`‡

∀x(^‹ž•?‘ (x)⇒ ∃y(^{Ÿ` ‹ž•?‘} (y)∧^‰} G¡( (x, y)))

∃y(^{Ÿ: ‹ž•?‘} (y)∧ ∀x(^‹ž•?‘ (x)⇒ ^‰} G¡( (x, y)))

^

)

"¢"¢!x%

*

¢i"vm¢I!"£#0"£

*

=¢0"9%-

=%If>I!"7d e 5MsM">`I%=%>0"2">I!">Fd e 5M¤("¢I%

)

",8"=%w".% #", .2"

*

! "

Σ^¥§¦ = A^¥§¦ , C^¥§¦ , τ^¥§¦ Þ^›

%"H¨K‡

• A^¥§¦ ={h, l, t, p, e}^{%z< * J * % * vJ", ) J0" )}

2!

*

,,

)

*

=,S, tU

t e^{2SD=%= *} "A=#9Hv9

% 0"EE©Q#"

)

*

"

*

"A=y:E<

* ]¢Y

• C^¥ª¦ τ^{¥ª¦ %t} Þ^{= *} E 9"a«a>=90"

Þ"¬9H3=%=

∃^l : (l → t) t⁾ ∃^h : (h → t) t ∃^e : (e → t) t^{) "? *} >"?;##

∃⁾

z=

*

:"+2J0"

∃P ^{%z"E2!* :, !`% =} Þ^{x JH3=%}

x^{* v¢0" )} !"4"4"

) P x ^2M%= Þ5a¤J+"9ž

"H@="¬

)

; ∃xP ^{* "} ∃(λx.P)^­ x2z"Ey9E

P⁵