Ziele und Inhalt
Der Kurs "Formale Methoden 3: Unifikation" wendet sich an alle Studierende des BA Linguistik im Hauptfach, die das Profil "Sprache" oder das Profil "Texttechnologie"
wählen. Gegenstand des Kurses ist die Operation der Unifikation, die in der linguistischen Beschreibung natürlicher Sprache in den letzten Jahren stark an Verbreitung gewonnen hat.
Der Kurs beginnt mit mathematischen Grundlagen, zum einen aus der Graphentheorie, zum anderen aus der Verbandstheorie. Bei beiden handelt es sich um Strukturen aus Mengen und Relationen, also aus Konstrukten, die bereits in FM 1 eingeführt worden sind.
Im zweiten Schritt wird die Unifikation definiert. Hierbei stehen Attribut-Wert-Strukturen (AWS) im Zentrum. Dies sind matrixartige Strukturen, die formal als gerichtete azyklische Graphen betrachtet werden können. Relationen (Subsumption) und die Operation der Unifikation zwischen/auf Attribut-Wert-Strukturen werden eingeführt und in Unifikationsgrammatiken eingebunden. In Aufgaben werden kleine Grammatikfragmente beschrieben.
Im dritten Schritt werden kleine Fragmente von Unifikationsgrammatiken vorgestelt und in Aufgaben selbständig definiert. Danach werden einige Grammatiktheorien vorgestellt (lexical functional grammar, HPSG ...) und die Rolle der Unifikation in diesen Rahmen diskutiert.
Die Studierenden bearbeiten Übungsaufgaben. Für einen Leistungsnachweis ist eine Klausur erfolgreich zu bearbeiten. Ein Tutorium wird angeboten. Benötigte Informationen werden im Verlauf des Kurses bereitgestellt unter
Frequency | Weekday | Time | Format / Place | Period |
---|
Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
---|---|---|---|---|---|---|---|
Linguistik / Bachelor | (Enrollment until SoSe 2011) | Kernfach | BaLin2; BaLin2.3 | 2. | 0/3 | ||
Medienwissenschaft, interdisziplinäre / Master | (Enrollment until SoSe 2014) | Einführung | Wahlpflicht | 3 | |||
Texttechnologie / Bachelor | (Enrollment until SoSe 2011) | Nebenfach | BaLin2 | 0/3 |