Unifikační gramatiky a popis jazyka I

0/2 Z, 0/2 Z (Kv)
RNDr. Hana Skoumalová, Ing. Alexandr Rosen
Ústav teoretické a komputační lingvistiky FF UK,
Celetná 13, Praha 1, tel. 21900617
e-mail:

KDY A KDE:

Kdy: Středa 17.30 hod.
Kde: Celetná 13, místnost č. 21 (1. patro).

Anotace:

unifikace, (komplexní, typované) sestavy rysů - feature structures, subsumpce, koindexace, vývoj unifikačních formalismů (Definite Clause Grammar (DCG), Functional Unification Grammar (FUG), PATR-II, Attribute-Logic Engine (ALE), ConTroll, LKB), unifikace v morfologii a slovníku, lingvistické teorie založené na unifikaci (Generalized Phrase Structure Grammar (GPSG), Lexical Functional Grammar (LFG), Categorial (Unification) Grammar (CUG, CG), Head-Driven Phrase Structure Grammar (HPSG)), problémy unifikačních přístupů

Unifikační formalismy 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 lingvistickými teoriemi vycházejícími z unifikace. 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 bude orientován spíše lingvisticky než informaticky.

Předpoklady:
základní orientace v metodách teoretické a formální lingvistiky

Osnova:

1.

Úvod: využití unifikace v lingvistice, základní pojmy (sestavy rysů, unifikace, subsumpce, koindexace), pravidla gramatiky

2.

Rozšíření základních možností: makra, disjunkce, negace, typy, relace, nemonotónní nástroje

3.

Unifikační formalismy: DCG, FUG, PATR-II, ALE, ...

4.

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

5.

Lingvistické teorie založené na unifikaci: GPSG, LFG, CUG, HPSG

6.

Problémy unifikačních přístupů, aktuální stav a perspektivy

Učební texty:

• handouts (soubory vytvořené pod Unixem ve formátu Postscript, komprimované programem gzip)
• gramatiky a řešení některých úloh

Software používaný při výuce a další volně dostupné možnosti:

• QPATR - zazipovaný soubor 282 kB, volně šiřitelná implementace formalismu PATR pro MS-DOS, funguje téměř na každém PC
• SICStus Prolog - pro účastníky kursu je k dispozici prezenčně nebo k práci po síti, manuál najdete zde
  
• SWI Prolog - zdarma pro školství a výzkum, pro Unix a MS Windows 95/98/NT
• Attribute-Logic Engine (ALE) - vyžaduje SICStus Prolog, funguje i s SWI Prologem; pro účastníky kursu je k dispozici prezenčně nebo k práci po síti, dokumentaci k práci s ALE pomocí ALE-Emacs Interface najdete zde
  POZOR! Toho času ALE-Emacs Interface nelze používat, práci s ALEm v řádkovém režimu si však můžete alespoň trochu usnadnit příkazovými makry, která jsou k dispozici zde
  
• ConTroll - pro účastníky kursu je k dispozici prezenčně nebo k práci po síti
• LKB - beta verze, dodává se s gramatikou podle učebnice Sag a Wasow 1998; tento software byl vytvořen v rámci projektu LinGO

Implementace unifikačních gramatik, které si můžete vyzkoušet interaktivně po síti:

• Systém BABEL pro němčinu podle HPSG, Stefan Müller, DFKI, Saarbrücken: Ich habe Babel getestet.
• Parser pro angličtinu podle HPSG, vyvinutý v rámci projektu LinGO (Linguistic Grammars Online) v CSLI, Stanford, USA

Základní literatura:

Shieber, S.M. (1986) An Introduction to Unification-Based Approaches to Grammar. CSLI Lecture Notes 4. Center for the Study of Language and Information, Stanford, CA, USA.

Ivan A. Sag and Thomas Wasow (1998) Syntactic Theory: A Formal Introduction, http://hpsg.stanford.edu/hpsg/sw-tb.html.

Nissim Francez and Shuly Wintner (1998) Feature Structure Based Linguistic Formalisms, partial draft in the course reader Unification-Based Linguistic Formalisms, given at 10th European Summer School in Logic, Language and Information, 17-28 August, Saarbrücken, Germany, also available on the ESSLLI 98 Compact Disk as a pdf file.

Stručné pojednání o teorii HPSG a její srovnání s Chomského teorií najdete v poznámkách k Lectures on the Foundations of HPSG od Carla Pollarda (soubor v postscriptu). Viz též The Nature of Constraint-Based Grammar a HPSG: An Overview and Some Work in Progress, dvě Pollardovy úvodní přednášky z prosince 1996 (textové soubory).

Doplňující literatura (výběr):

Peter Sells (1985) Lectures on Contemporary Syntactic Theories. CSLI Lecture Notes. Center for the Study of Language and Information, Stanford, CA, USA.

Gazdar, G. a kol. (1985) Generalized Phrase Structure Grammar. Harvard University Press.

Shieber, S.M. (1992) Constraint-Based Grammar Formalisms. MIT Press.

Pollard, Carl and Ivan A. Sag. (1994) Head-Driven Phrase Structure Grammar. Chicago: University of Chicago Press and Stanford: CSLI Publications.

Dalrymple, M. a kol. (1995) Formal Issues in Lexical-Functional Grammar. CSLI Lecture Notes 47. Center for the Study of Language and Information, Stanford, CA, USA.

Ronald A. Cole et al. (1996) Survey of the State of the Art in Human Language Technology, http://www.cse.ogi.edu/CSLU/HLTsurvey.

Leonard Bolc et al. (1996) A Survey of Systems for Implementing HPSG grammars, http://www.sf s.nphil.uni-tuebingen.de/~adamp/Papers/1996-survey/index.html

Alexandr Rosen - výuka
Ústav teoretické a komputační lingvistiky FF UK - výuka