Minimalist dilbilgisi - Minimalist grammar - Wikipedia

Minimalist gramerler bir sınıf resmi gramerler Chomskyan'ın daha titiz, genellikle kanıt-teorik, resmileştirilmesini sağlamayı amaçlayan Minimalist program Normalde ana akım Minimalist literatürde sağlandığından daha fazla. Birçoğu tarafından geliştirilen çeşitli özel biçimlendirmeler mevcuttur. Edward Stabler, Alain Lecomte, Christian Retoré veya bunların kombinasyonları.

Lecomte ve Retoré'nin Lambek Calculus uzantıları

Lecomte ve Retoré (2001) ^[1] Harekete benzer süreçlerin kombinatoriklerine başvurmadan tanımlanmasına izin vermek için Lambek Kalkülüsünün bu özünü değiştiren bir biçimcilik tanıtın. Birleştirici kategori dilbilgisi. Biçimcilik, kanıt-teorik terimlerle sunulmuştur. Notasyon açısından Lecomte ve Retoré'den (2001) biraz farklı olarak, minimalist bir dilbilgisini 3'lü bir demet olarak tanımlayabiliriz. ${ displaystyle G = (C, F, L)}$, nerede ${ displaystyle C}$ bir dizi "kategorisel" özelliktir, ${ displaystyle F}$ bir dizi "işlevsel" özelliktir (basitçe ifade edilen "zayıf" olmak üzere iki farklı tada sahiptir) ${ displaystyle f}$ve "güçlü" olarak gösterilir ${ displaystyle f *}$), ve ${ displaystyle L}$ çiftler olarak gösterilen bir dizi sözcük atomudur ${ displaystyle w: t}$, nerede ${ displaystyle w}$ bazı fonolojik / ortografik içeriktir ve ${ displaystyle t}$ aşağıdaki gibi yinelemeli olarak tanımlanan sözdizimsel bir türdür:

içindeki tüm özellikler ${ displaystyle C}$ ve ${ displaystyle F}$ (atomik) türlerdir ve

Eğer ${ displaystyle X}$ ve ${ displaystyle Y}$ türler, yani ${ displaystyle X / Y}$, ${ displaystyle X ters eğik çizgi Y}$, ve ${ displaystyle X circ Y}$.

Şimdi 6 çıkarım kuralı tanımlayabiliriz:

${ displaystyle vdash w: X}$, hepsi için ${ displaystyle w: X L olarak}$

${ displaystyle w: X vdash w: X}$, hepsi için ${ displaystyle w: X notin L}$

${ displaystyle { frac { Gama vdash a: X / Y qquad Gama ' vdash b: Y} { Gama; Gama' vdash ab: X}} [/ E]}$

${ displaystyle { frac { Gama ' vdash b: Y qquad Gama vdash a: X ters eğik çizgi Y} { Gama'; Gama vdash ba: X}} [ ters eğik çizgi E]}$

${ displaystyle { frac { Gama; Gama ' vdash alpha} { Gama, Gama' vdash alfa}} entropi}$

${ displaystyle { frac { Gamma vdash a: X circ Y qquad Delta, b: X, c: Y, Delta ' vdash d: Z} { Delta, Gamma, Delta' vdash d [b: = a, c: = a]: Z}} [ circ E]}$

İlk kural, yalnızca sözcük ögelerinin fazladan varsayımlar olmaksızın kullanılmasını mümkün kılar. İkinci kural, türetmeye varsayımları eklemenin bir yoludur. Üçüncü ve dördüncü kurallar, birleştirilen alt bölümleri oluşturmak için gereken varsayımları birleştirerek yalnızca yönlü özellik kontrolü gerçekleştirir. Entropi kuralı muhtemelen sıralı dizilerin sırasız dizilere bölünmesine izin verir. Ve son olarak, son kural, varsayımların ortadan kaldırılması yoluyla "hareketi" uygular.

Minimalist Programda bulunan normal türdeki hareketi tamamen taklit etmek için son kurala bir dizi farklı yorum verilebilir. Lecomte ve Retoré (2001) tarafından verilen açıklama, ürün türlerinden birinin güçlü bir işlevsel özellik olması durumunda, sağda o türle ilişkili fonolojik / ortografik içeriğin, ave diğeri boş dizeyle değiştirilir; bunlardan hiçbiri güçlü değilse, o zaman fonolojik / ortografik içerik kategori özelliği ile değiştirilir ve boş dizgi zayıf fonksiyonel özellik ile değiştirilir. Yani, kuralı aşağıdaki gibi iki alt kural olarak yeniden ifade edebiliriz:

${ displaystyle { frac { Gama vdash a: X circ Y ^ {*} qquad Delta, b: X, c: Y ^ {*}, Delta ' vdash d: Z} { Delta , Gama, Delta ' vdash d [b: = epsilon, c: = a]: Z}} [ circ E_ {güçlü}]}$ nerede ${ displaystyle X C, Y ^ {*} F içinde}$

${ displaystyle { frac { Gamma vdash a: X circ Y qquad Delta, b: X, c: Y, Delta ' vdash d: Z} { Delta, Gamma, Delta' vdash d [b: = a, c: = epsilon]: Z}} [ circ E_ {zayıf}]}$ nerede ${ displaystyle X C, Y F içinde}$

Diğer bir alternatif, içinde çiftler oluşturmaktır. / E ve E adımları kullanın ve ${ displaystyle circ E}$ verilen kural, fonolojik / ortografik içeriğin ikame edilmesi a ikame pozisyonlarının en yükseğine ve pozisyonların geri kalanında boş diziye. Bu, bir öğenin birden fazla hareketinin mümkün olduğu ve yalnızca en yüksek konumun "açıklandığı" durumda Minimalist Program ile daha uyumlu olacaktır.

Misal

Bu sistemin basit bir örneği olarak cümlenin nasıl oluşturulacağını gösterebiliriz. John kimi gördü aşağıdaki oyuncak grameri ile:

İzin Vermek ${ displaystyle G = ( {N, S }, {W }, L)}$, nerede L aşağıdaki kelimeleri içerir:

${ displaystyle { text {John}}: N }$

${ displaystyle { text {bkz.}} :( S ters eğik çizgi N) / N}$

${ displaystyle { text {did}} :( S ters eğik çizgi W) / S}$

${ displaystyle { text {kim}}: N circ W}$

Cümlenin kanıtı John kimi gördü bu nedenle:

${ displaystyle { dfrac { vdash { text {who}}: N circ W quad { dfrac {{ text {x}}: W vdash { text {x}}: W quad { dfrac { vdash { text {did}} :( S ters eğik çizgi W) / S quad { dfrac { vdash { text {John}}: N quad { dfrac {{ text {y} }: N vdash { text {y}}: N quad vdash { text {see}} :( S ters eğik çizgi N) / N} {{ text {y}}: N vdash { text {bkz. y}}: S ters eğik çizgi N}} [/ E]} {{ text {y}}: N vdash { text {John bkz. y}}: S}} [ ters eğik çizgi E]} {{ text {y}}: N vdash { text {John gördü y}}: S ters eğik çizgi W}} [/ E]} {{ text {x}}: W, { text {y}} : N vdash { text {x John y'yi gördü}}: S}} [ ters eğik çizgi E]} { vdash { text {John kimi gördü}}: S}} [ circ E]}$

Referanslar

daha fazla okuma

• Harkema, H., 2001. "Minimalist dillerin bir karakterizasyonu", in: de Groote, P., Morrill, G., Retoré, C. (Eds.), Logical Aspects of Computational Linguistics (Lecture Notes in Artificial Intelligence, No . 2099). Springer, New York, s. 193–211, doi:10.1007/3-540-48199-0_12
• Edward P. Stabler (2010). "Hükümet Sonrası ve Bağlayıcı Teori". Johan F.A.K. van Benthem; Alice ter Meulen (editörler). Mantık ve Dil El Kitabı (2. baskı). Elsevier. s. 395–414. ISBN  978-0-444-53727-0.