Диссертация (1100915), страница 54
Текст из файла (страница 54)
Убедимся на примере, что их использование даёт верный результат. Рассмотрим следующий пример:][(506)ба-лӕвар код-т-ай ,фед-т-онуы-цыДидиндж-ытӕ цы чызг-ӕнчто девушка- -подарок делать-.2 видеть..1 DemDist-цветок-студент-ыстудент-‘Которой девушке ты подарил цветы, я видел ту студентку.’Применяя показанные выше правила фразовой структуры (для простоты я буду считать, что коррелят связывается дистантно), получаем следующую аннотированную c-структуру:CP(↑ )=↓(↓ ) =c %=(↑ ∗)(↓σ )=%σ(% ) =c [correl]:λP.λQ.[|∂(P )];Q:↓σ⟨t⟩ ⊸↑σ⟨t⟩ ⊸↑σ⟨t⟩↑=↓′CCP↑=↓′↑=↓SC↑=↓↑=↓↑=↓(↑)=↓DP301(↑ )=↓(↑ )=(↓ ∗)(↑ ) =c (↑DAT )=↓↑=↓′DP(↑)=‘цветы’[flowers]:f l:↑σ⟨e⟩V↑=↓′D↑=↓DцыDP(↑ )= %=( ↑)%σ=↑σ%σ=(%σ )(% )= [whi]:λR.λP.[x1 |R(x1 )];P (x1 ):((↑σ )⟨e⟩ ⊸(↑σ )⟨t⟩ )⊸∀α⟨t⟩ .(↑σ⟨e⟩ ⊸α⟨t⟩ )⊸α⟨t⟩[bind]:λP.λx.λy.P (x)(y);[|x∈A(y)]:σ∀α⟨t⟩ .(% ⟨e⟩ ⊸%σ⟨e⟩ ⊸α⟨t⟩ )⊸%σ⟨e⟩ ⊸%σ⟨e⟩ ⊸α⟨t⟩↑=↓NPчызгӕн(↑)=‘девочка’[girl]:λx.
девочка(x):(↑σ )⟨e⟩ ⊸(↑σ )⟨t⟩↑=↓′DфедтонVPдидинджытӕ(↑)=↓VPS(↑)=‘видеть⟨…⟩’(↑ )=↓(↓ )=‘’[me]:1sg:↓σ⟨e⟩[saw]:λx.λy. увидеть(x,y):(↑σ )⊸(↑σ )⊸↑σ↑=↓D↑=↓NPбалӕвар кодтайуыцыстуденты(↑)=‘дарить⟨…⟩’[gave]:λx.λy.λz. подарить(x,y,z):(↑)σ⟨e⟩ ⊸(↑)σ⟨e⟩ ⊸(↑DAT )σ⟨e⟩ ⊸↑σ⟨t⟩(↑)= [that]:λR.λP.[x1 |∂(R(x1 )),ant(x1 )];P (x1 ):((↑σ )⟨e⟩ ⊸(↑σ )⟨t⟩ )⊸∀α⟨t⟩ .(↑σ⟨e⟩ ⊸α⟨t⟩ )⊸α⟨t⟩(↑)=‘студент’[student]:λx.
студент(x):(↑σ )⟨e⟩ ⊸(↑σ )⟨t⟩302Ей соответствуют следующие f- и s-структуры:[ ][gσ : fσ : ‘видеть⟨ ⟩’ ‘дарить⟨ DAT ⟩’ []y: pred ‘’[]l:pred ‘цветы’ g:pred ‘девочка’w:f :detww[] m: ‘’ ‘студент’h:hvhσ : hr]hσyσ :[ ]lσ :[ ]wσ : wv wrmσ :[ ]Им соответствуют следующие логические посылки:[correl] := λP.λQ.[|∂(P )]; Q : gσ⟨t⟩ ⊸ fσ⟨t⟩ ⊸ fσ⟨t⟩[flowers] := f l : lσ⟨e⟩[which] := λR.λP.[x1 |R(x1 )]; P (x1 ) : (wv⟨e⟩ ⊸ wr⟨t⟩ ) ⊸ ∀α⟨t⟩ .(wσ⟨e⟩ ⊸ α⟨t⟩ ) ⊸ α⟨t⟩[girl] := λx. девочка(x) : wv⟨e⟩ ⊸ wr⟨t⟩[bind] := λP.λx.λy.P (x)(y); [|x ∈ A(y)] : ∀α⟨t⟩ .(wσ⟨e⟩ ⊸ hσ⟨e⟩ ⊸ α⟨t⟩ ) ⊸ wσ⟨e⟩ ⊸ hσ⟨e⟩ ⊸ α⟨t⟩[gave] := λx.λy.λz.
подарить(x, y, z) : yσ⟨e⟩ ⊸ lσ⟨e⟩ ⊸ wσ⟨e⟩ ⊸ gσ⟨t⟩[you] := 2sg : yσ⟨e⟩[saw] := λx.λy. увидеть(x, y) : mσ⟨e⟩ ⊸ hσ⟨e⟩ ⊸ fσ⟨t⟩303[me] := 1sg : mσ⟨e⟩[that] := λR.λP.[x1 |∂(R(x1 )), ant(x1 )]; P (x1 ) : (hv⟨e⟩ ⊸ hr⟨t⟩ ) ⊸ ∀α⟨t⟩ (hσ⟨e⟩ ⊸ α⟨t⟩ ) ⊸ α⟨t⟩[student] := λx. студент(x) : hv⟨e⟩ ⊸ hr⟨t⟩Вывод на уровне линейной логики (сокращённый):yσ⟨e⟩ ⊸ lσ⟨e⟩ ⊸ wσ⟨e⟩ ⊸ gσ⟨t⟩lσ⟨e⟩ ⊸ wσ⟨e⟩ ⊸ gσ⟨t⟩wσ⟨e⟩ ⊸ gσ⟨t⟩yσ⟨e⟩lσ⟨e⟩[wσ⟨e⟩ ]1gσ⟨t⟩mσ⟨e⟩gσ⟨t⟩ ⊸ fσ⟨t⟩ ⊸ fσ⟨t⟩[hσ⟨e⟩ ]2fσ⟨t⟩ ⊸ fσ⟨t⟩mσ⟨e⟩ ⊸ hσ⟨e⟩ ⊸ fσ⟨t⟩hσ⟨e⟩ ⊸ fσ⟨t⟩fσ⟨t⟩wσ⟨e⟩∀α⟨t⟩ .(wσ⟨e⟩ ⊸ hσ⟨e⟩ ⊸ α⟨t⟩ ) ⊸fσ⟨t⟩⊸I,1,2⊸ hσ⟨e⟩ ⊸ fσ⟨t⟩wσ⟨e⟩ ⊸ hσ⟨e⟩ ⊸ α⟨t⟩wσ⟨e⟩ ⊸ hσ⟨e⟩ ⊸ fσ⟨t⟩…fσ⟨t⟩Вывод на уровне значения:λx.λy.λz.
подарить(x, y, z)2sgfl[m]1λy.λz. подарить(2sg, y, z)λz. подарить(2sg, f l, z)1sg304подарить(2sg, f l, m)λP.λQ.[|∂(P )]; Q[n]2λx.λy. увидеть(x, y)λy. увидеть(1sg, y)увидеть(1sg, n)λQ.[|∂(подарить(2sg, f l, m))]; Q[|∂(подарить(2sg, f l, m)), увидеть(1sg, n)]λx.λy.[|∂(подарить(2sg, f l, x)), увидеть(1sg, y)]→I,1,2λP.λx.λy.P (x)(y); [|x ∈ A(y)]λP.[x1 |∂(студент(x1 )),λx.λy.[|∂(подарить(2sg, f l, x)), увидеть(1sg, y), x ∈ A(y)]λx.[x1 |∂(студент(x1 )), ant(x1 ), ∂(подарить(2sg, f l, x)), увидеть(1sg, x1 ), x ∈ A(x1 )]ant(x1 )]; P (x1 )skipλP.[x1 | девушка(x1 )]; P (x1 )[x1 x2 | девушка(x1 ), ∂(студент(x2 )), ant(x2 ), ∂(подарить(2sg, f l, x1 )), увидеть(1sg, x2 ), x1 ∈ A(x2 )]Получающаяся в результате DRS имеет в более удобной нотации следующий вид:x1 x2девушка(x1 )(507)∂(студент(x2 ))ant(x2 )∂(дать(2sg, f l, x1 ))увидеть(1sg, x2 )x1 ∈ A(x2 )305.















