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

Kapitel 2: Merkmalsstrukturen
• φ und jeder seiner Subterme enthält ein Konjunkt mit dem Typ des (Sub)terms.
• Einzeln vorkommende Variablen und Variablenbindungen wurden eliminiert.
Aus derartigen Merkmalstermen kann auf einfache Weise eine Merkmalsstruktur M konstruiert
werden: Pfad-Typ-Paare entsprechen den Pfaden von M, Pfad-Variable-Paare und
Pfadgleichungen den Koreferenzen in M, Typen den Typen der Substrukturen.
Definition 2.2: typenmaximaler Merkmalsterm
Ein typenmaximaler Merkmalsterm φ ist ein normalisierter konjunktiver Merkmalsterm, für den
zusätzlich gilt: Jeder in φ vorkommender Typ t ist maximal, d.h. hat selber keine Subtypen
mehr.
Beispiel 2.16:
Vor dem Hintergrund der in Kapitel 5 verwendeten Typenhierarchie ist
φ = SYN: (syntax ∧ HEAD: (noun ∧ CASE: case))
ein normaliserter konjunktiver Merkmalsterm.
φ ist jedoch nicht typenmaximal, da case noch die Subtypen nom, acc, gen und dat aufweist.
Typenmaximalität hat demnach etwas mit vollständiger Spezifikation einer Merkmalsstruktur
zu tun. Dem Merkmalsterm φ in Beispiel 2.15 „fehlt“ noch ein Wert für Kasus.
2.5 Phrasenstrukturregeln
Merkmalsterme können aufgrund des Sortenmechanismus dazu verwendet werden, kontextfreie
Phrasenstrukturregeln zu repräsentieren. Hierbei sind zwei generelle Vorgehensweisen
möglich:
a) Die Nichtterminalsymbole der kontextfreien Grammatik werden als Typen repräsentiert.
b) Die Nichtterminalsymbole werden zu Sorten.
Eine kontextfreie Regel X → Y1 Y2 ... Yk kann nach der ersten Möglichkeit wie folgt ausgedrückt
werden:
category ↔ x | y1 | y2 | ... | yk
cat(append(S 1 , append(S 2 , ... append(S k ) ... )) ←
x ∧
true(cat(S 1 ) ∧ y1 ) ∧
true(cat(S 2 ) ∧ y2 ) ∧
... ∧
true(cat(S k ) ∧ yk )
Lexikalische Einsetzungsregeln X→ w werden zu:
cat([w]) ← x
Die Sorte cat/1 ist eine Funktion cat: list � category, die eine Kette s auf ihre Kategorie C
abbildet, falls C ⇒* s bezüglich der gegebenen Grammatik G gilt.
Die Sorte true/1 ist wie folgt definiert:
true(>) ← >
41