Unifikační gramatiky a popis jazyka I

Unifikační formalismy (též constraint-based formalisms) se staly velmi rozšířeným prostředkem pro popis jazyka v rámci různých lingvistických teorií a počítačových implementací. Účastníci tohoto kursu se seznámí se základními pojmy, vývojem unifikačních formalismů a s přehledem lingvistických teorií vycházejících z unifikace, seznámení s Lexical Functional Grammar - LFG. Zájemci budou mít možnost si vytvořit a otestovat jednoduchý systém analýzy pro jazyk dle vlastního výběru, případně modifikovat systém již existující. Kurs může být přitažlivý pro lingvisty se zájmem o formální metody i pro lingvisticky poučené informatiky.

Osnova:

1.
Úvod: vysvětlení základních pojmů (sestavy rysů, unifikace, subsumpce, sdílení rysů, koindexace), čím jsou přitažlivé pro lingvisty, jak ovlivňují podobu gramatiky a slovníku

2.
Rozšíření základních možností: makra, disjunkce, negace, typy, relace, kvantifikace, dědičnost s implicitními hodnotami, lexikální pravidla

3.
Využití implementovaných unifikačních formalismů pro psaní gramatik: DCG, PATR-II, Xerox LFG Grammar Writer's Workbench

4.
Ukázky řešení některých lingvistických jevů z oblasti syntaxe, slovníku, morfologie a transferu (ve strojovém překladu)