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

Kapitel 2: Merkmalsstrukturen
Das Symbol s ist ein sog. Sortensymbol, welches durch Argumente parametrisiert werden
kann. Sorten werden durch eine Menge von Sortenklauseln
() ←
eingeführt und können als Funktionen (doch s.u.) aufgefaßt werden, die in Abhängigkeit
von ihren Parametern Merkmalsterme zurückgeben. Der eine Sorte s definierende Merkmalsterm
T kann andere Sortensymbole oder auch direkt oder indirekt wiederum s enthalten;
letzterer Typ von Sorte heißt auch rekursiv. Die Argumente einer Sortendefinition werden
auch formale Parameter genannt. Die Verwendung einer Sorte in einem Merkmalsterm
heißt auch Sortenaufruf, dessen Argumente werden aktuelle Parameter genannt.
Zur Vereinfachung der in Abschnitt 2.4.2 beschriebenen Bildung von Normalformen werden
noch folgenden Bedingungen für Sortendefinitionen festgelegt:
a) Die formalen Parameter φ i einer Sortendefinition dürfen keine Disjunktionen enthalten.
Dies ändert nichts an der Ausdrucksfähigkeit des Formalismus, da etwaige Disjunktionen
durch alternative Klauseln einer Sortendefinition repräsentiert werden können.
b) In den formalen Parametern vorkommende Variablen dürfen nicht negiert sein.
c) Die φ i sowie der rechts von ← stehende Merkmalsterm sind selbst konsistent, d.h. denotieren
nicht-leere Mengen (s.u.).
Sorten werden nun in grammatischen Beschreibungen auf zweifache Weise eingesetzt:
a) Nicht-rekursive Sorten spielen die Rolle der Templates von PATR-II (vgl. Shieber (1986a)),
d.h. ein immer wiederkehrender Merkmalsterm T kann durch einen Funktionsaufruf
einer Sorte s ersetzt werden, der genau zu T evaluiert.
Beispiel 2.5:
third_sing ← agr(3,sing)
agr(Person,Number) ← SYN:HEAD:AGR:(PERSON:Person ∧ NUMBER:Number)
lex(“kennt“) ← FORM:“kennt“ ∧ SYN:HEAD:CAT:verb ∧ third_sing
b) Rekursive Sorten können dazu verwendet werden, Beziehungen in rekursiv spezifizierten
Merkmalsstrukturen zu erfassen:
Beispiel 2.6:
append(elist, L) ← L
append(HEAD:H ∧ TAIL:T, L) ← HEAD:H ∧ TAIL:append(T, L)
Die Attribute HEAD und TAIL kodieren den Kopf bzw. Rest einer Liste. Beispielsweise wird
die Liste [a,b,c] als HEAD:a ∧ TAIL:(HEAD:b ∧ TAIL:(HEAD:c ∧ TAIL:elist)) repräsentiert; elist
steht dabei für die leere Liste.
Sorten können darüber hinaus mit einer Typdeklaration der Form
s(t1,...,tn) -> t
versehen werden. Da die aktuellen und formalen Sortenparameter mit diesen Typen kompatibel
sein müssen, können Typisierungsfehler frühzeitig schon während der Überset-
zungsphase
erkannt werden.
31