Minimalistická gramatika - Minimalist grammar - Wikipedia

Minimalistické gramatiky jsou třídou formální gramatiky které mají za cíl poskytnout přísnější, obvykle teoreticko-teoretickou formalizaci Chomskyanu Minimalistický program než je běžně poskytováno v běžné minimalistické literatuře. Existuje celá řada konkrétních formalizací, z nichž většina byla vyvinuta Edward Stabler, Alain Lecomte, Christian Retoré nebo jejich kombinace.

Lecomte a Retoré rozšíření Lambekova kalkulu

Lecomte and Retoré (2001) ^[1] zavést formalizmus, který upravuje toto jádro Lambekova kalkulu, aby bylo možné popsat procesy podobné pohybu, aniž by se uchýlil ke kombinatorice Kombinovaná kategoriální gramatika. Formalismus je prezentován v teoreticko-teoretických podmínkách. Lišíme se jen nepatrně notací od Lecomte a Retoré (2001), můžeme definovat minimalistickou gramatiku jako trojici ${ displaystyle G = (C, F, L)}$, kde ${ displaystyle C}$ je sada „kategoriálních“ funkcí, ${ displaystyle F}$ je sada „funkčních“ funkcí (které mají dvě příchutě, „slabá“, jednoduše označené ${ displaystyle f}$„a“, označeno ${ displaystyle f *}$), a ${ displaystyle L}$ je sada lexikálních atomů, označená jako páry ${ displaystyle w: t}$, kde ${ displaystyle w}$ je nějaký fonologický / ortografický obsah a ${ displaystyle t}$ je syntaktický typ definovaný rekurzivně takto:

všechny funkce v ${ displaystyle C}$ a ${ displaystyle F}$ jsou (atomové) typy a

-li ${ displaystyle X}$ a ${ displaystyle Y}$ jsou typy, tak jsou ${ displaystyle X / Y}$, ${ displaystyle X zpětné lomítko Y}$, a ${ Displaystyle X Cir Y}$.

Nyní můžeme definovat 6 odvozovacích pravidel:

${ displaystyle vdash w: X}$, pro všechny ${ displaystyle w: X v L}$

${ displaystyle w: X vdash w: X}$, pro všechny ${ displaystyle w: X notin L}$

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

${ displaystyle { frac { Gamma ' vdash b: Y qquad Gamma vdash a: X zpětné lomítko Y} { Gamma'; Gamma vdash ba: X}} [ zpětné lomítko E]}$

${ displaystyle { frac { Gamma; Gamma ' vdash alpha} { Gamma, Gamma' vdash alpha}} entropie}$

${ 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]}$

První pravidlo pouze umožňuje používat lexikální položky bez dalších předpokladů. Druhé pravidlo je pouze prostředkem k zavedení předpokladů do derivace. Třetí a čtvrté pravidlo pouze provádí kontrolu směrových funkcí a kombinuje předpoklady potřebné k vytvoření dílčích částí, které jsou kombinovány. Pravidlo entropie pravděpodobně umožňuje rozdělit uspořádané sekvence na neuspořádané sekvence. A konečně poslední pravidlo implementuje „pohyb“ pomocí eliminace předpokladů.

Poslednímu pravidlu lze poskytnout řadu různých interpretací, aby bylo možné plně napodobit pohyb normálního druhu, který se nachází v Minimalistickém programu. Zpráva, kterou uvedli Lecomte a Retoré (2001), je, že pokud je jeden z typů produktů silným funkčním znakem, je fonologický / pravopisný obsah spojený s tímto typem vpravo nahrazen obsahem Aa druhý je nahrazen prázdným řetězcem; vzhledem k tomu, že pokud ani jeden není silný, pak se za prvek kategorie nahradí fonologický / ortografický obsah a za slabý funkční prvek se použije prázdný řetězec. To znamená, že můžeme pravidlo přeformulovat jako dvě dílčí pravidla takto:

${ displaystyle { frac { Gamma vdash a: X circ Y ^ {*} qquad Delta, b: X, c: Y ^ {*}, Delta ' vdash d: Z} { Delta , Gamma, Delta ' vdash d [b: = epsilon, c: = a]: Z}} [ circ E_ {strong}]}$ kde ${ displaystyle X v C, Y ^ {*} v F}$

${ 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_ {slabý}]}$ kde ${ displaystyle X v C, Y v F}$

Další alternativou by byla konstrukce párů v /E a E kroky a použijte ${ displaystyle circ E}$ pravidlo, jak je uvedeno, nahrazující fonologický / pravopisný obsah A do nejvyšší ze substitučních pozic a prázdný řetězec ve zbývajících pozicích. To by více odpovídalo minimalistickému programu, vzhledem k tomu, že je možný více pohybů položky, kde je „vysvětlena pouze nejvyšší pozice“.

Příklad

Jako jednoduchý příklad tohoto systému můžeme ukázat, jak generovat větu koho John viděl s následující gramatikou hračky:

Nechat ${ displaystyle G = ( {N, S }, {W }, L)}$, kde L obsahuje následující slova:

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

${ displaystyle { text {viz}} :( S zpětné lomítko N) / N}$

${ displaystyle { text {did}} :( S zpětné lomítko W) / S}$

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

Důkaz pro rozsudek koho John viděl je tedy:

${ displaystyle { dfrac { vdash { text {kdo}}: N circ W quad { dfrac {{ text {x}}: W vdash { text {x}}: W quad { dfrac { vdash { text {did}} :( S zpětné lomítko W) / S quad { dfrac { vdash { text {John}}: N quad { dfrac {{ text {y} }: N vdash { text {y}}: N quad vdash { text {viz}} :( S zpětné lomítko N) / N} {{ text {y}}: N vdash { text {see y}}: S backslash N}} [/ E]} {{ text {y}}: N vdash { text {John see y}}: S}} [ backslash E]} {{ text {y}}: N vdash { text {viděl vás John}}: S zpětné lomítko W}} [/ E]} {{ text {x}}: W, { text {y}} : N vdash { text {x viděl John y}}: S}} [ zpětné lomítko E]} { vdash { text {kdo viděl Johna}}: S}} [ circ E]}$

Reference

Další čtení

• Harkema, H., 2001. „A Characterization of minimalist languages“, 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). „After Government and Binding Theory“. V Johan F.A.K. van Benthem; Alice ter Meulen (eds.). Příručka logiky a jazyka (2. vyd.). Elsevier. 395–414. ISBN  978-0-444-53727-0.