Aspekte der morphologischen Analyse des Deutschen - Universität ...

2 Merkmalsstrukturen
Kapitel 2: Merkmalsstrukturen
Merkmalsstrukturen – auch Attribut-Wert-Strukturen genannt – haben sich nach einem Entwicklungsprozeß
als lingua franca der heutigen Computerlinguistik herauskristallisiert. Sie
bieten eine Reihe von Vorteilen (vgl. auch Shieber (1985)):
• Deklarativität
• Unabhängigkeit des Ergebnisses von der Berechnungsreihenfolge
• Mathematische Erschlossenheit
• Mächtigkeit
Nicht zuletzt gibt es eine Reihe von hochentwickelten Werkzeugen – beispielsweise CUF
(Dörre et al. (1996)) – die zur Entwicklung von Sprachverarbeitungsanwendungen zur Verfügung
stehen.
Diese Vorteile gaben den Ausschlag, das hier vorgestellte Modell ebenfalls auf der Grundlage
von Merkmalsstrukturen – genauer typisierten Merkmalsstrukturen – zu entwerfen. Der
nachfolgende Abriß der Theorie typisierter Merkmalsstrukturen orientiert sich an Carpenter
(1992), ist jedoch nicht vollkommen voraussetzungslos gehalten. Shieber (1986) führt alle
zum Verständnis notwendigen Begriffe ein, die hier aus Platzgründen nicht definiert werden
können.
2.1 Typisierte Merkmalsstrukturen
Typisierte Merkmalsstrukturen stellen eine Verbesserung gegenüber untypisierten Merkmalsstrukturen
(vgl. Shieber (1986)) dar:
• In Verbindung mit festgelegten Typisierungs- und Appropriateness-Bedingungen (s.u.)
kann für jede Merkmalsstruktur festgestellt werden, ob sie in einem wohldefinierten Sinn
korrekt und vollständig ist.
• Typisierung erlaubt, unzulässige Merkmale und Merkmalswerte zu erkennen.
Aber auch aus implementatorischer Perspektive ergeben sich einige Vorteile:
• Durch die Typisierung kann für jede Merkmalsstruktur während einer Kompilationsphase
der von ihr beanspruchte Speicherplatz berechnet und beim Zugriff auf bestimmte
Attribute von effizienten Record-Offset-Adressierungsverfahren Gebrauch gemacht
werden.
• Die wichtigste, jedoch aufwendige Operation in Zusammenhang mit Merkmalstrukturen,
die der Unifikation (s.u.), kann in vielen Fällen vermieden werden, wenn die zu unifizierenden
Strukturen typeninkompatibel sind, was sich durch eine einfache Tabellenoperation
feststellen läßt.
• Nicht zuletzt erleichtert Typisierung, analog zur Festlegung von Datentypen in imperativen
Programmiersprachen wie Pascal, die Feststellung von semantischen Fehlern etc.
während der Implementierungsphase eines Grammatikmodells.
(Typisierte) Merkmalsstrukturen werden üblicherweise als endliche Automaten formalisiert.
Eine typisierte Merkmalsstruktur über einer Menge von Typen Type und einer endlichen
Menge von Merkmalen Feat ist dabei ein 4-Tupel F = , wobei gilt: 1
1 Zur Notation: Typen werden immer fett und kursiv wiedergegeben, MERKMALE in Kapitälchen.
24