Das Kefk Network Wiki befindet sich im Testbetrieb.

Attribut-Wert-Matrix

Aus Kefk.

Wechseln zu: Navigation, Suche

Eine Attribut-Wert-Matrix (kurz AWM) ist eine Struktur, die vor allem in der Linguistik, speziell im Bereich der Unifikationsgrammatiken und der Head-driven Phrase Structure Grammar verwendet wird. Sie ist in der Lage, Merkmalstrukturen zu modellieren. Zusammen mit den Mechanismen der Subsumtion, der Typisierung und der Unifikation bietet sie einen machtvollen Weg, sprachliche Strukturen zu beschreiben.


Eine AWM ist eine zweispaltige Matrix. Jede Zeile dieser Matrix stellt ein Merkmal dar. Dieses teilt sich auf in den Namen des Merkmals, der in der linken Spalte zu finden ist, und den Wert des Merkmals in der rechten Spalte. Die Reihenfolge der Merkmale ist nicht von Bedeutung, allerdings darf es keine Merkmale mit gleichen Namen und verschiedenen Werten geben. Eine einfache AWM, die einen Hund (speziell einen vierjährigen Dackel namens Waldi) modelliert, wäre also

A = \begin{bmatrix} \mathrm{NAME} & waldi \\ \mathrm{RASSE} & dackel \\ \mathrm{ALTER} & 4 \end{bmatrix}

In diesem Fall sind alle zugeordneten Werte atomar, das bedeutet, sie sind nicht weiter zerlegbar. Es ist aber auch möglich, komplexe Werte einzutragen. Diese werden als neue Attribut-Wert-Matrizen als Wert innerhalb der Matrix abgelegt. Wenn man also weitere Informationen über die Farbe und Beschaffenheit des Fells hinzufügen wollte, könnte man die Matrix so erweitern:

A' = \begin{bmatrix} \mathrm{NAME} & waldi \\ \mathrm{RASSE} & dackel \\ \mathrm{ALTER} & 4 \\ \mathrm{FELL} & \begin{bmatrix} \mathrm{FARBE} & braun \\ \mathrm{ART} & rauh \end{bmatrix} \end{bmatrix}

Das Merkmal FELL verweist hier auf einen Wert, der selbst wieder eine AWM ist. Diese AWM gibt nun die einzelnen Eigenschaften des Fells an: FARBE und ART. Waldi ist also ein brauner Rauhhaardackel.

Relationen und Operationen

Subsumtion

Die Subsumtion ist eine Relation, die zwei Attribut-Wert-Matrizen auf ihren Informationsgehalt vergleicht. Wenn eine AWM B mindestens so informativ ist wie eine AWM A, dann gilt: A \sqsubseteq B (A subsumiert B). B muss also mindestens alle Informationen enthalten, die A enthält, kann darüber hinaus aber noch weitere Angaben machen. Für die beiden oben aufgeführten AWM gilt A \sqsubseteq A', denn A' enthält zu den Informationen aus A zusätzlich noch die Information zum Fell.

Die Subsumtion A \sqsubseteq B gilt genau dann wenn

  • Alle atomaren Merkmale aus A mit jeweils demselben Wert in B enthalten sind
  • Alle komplexen Merkmale aus A von den entsprechenden komplexen Merkmalen aus B subsumiert werden.

Umgekehrt ist die Subsumtion A \sqsubseteq B ungültig, wenn

  • Ein atomares Merkmal aus A einen anderen Wert hat als ein atomares Merkmal aus B
  • Ein atomares Merkmal in A enthalten ist, aber nicht in B
  • Ein komplexes Merkmal aus A nicht das entsprechende komplexe Merkmal aus B subsumiert.
  • Ein komplexes Merkmal in A enthalten ist, aber nicht in B

Die beiden AWM \begin{bmatrix} \mathrm{NAME} & waldi \\ \mathrm{RASSE} & dackel \\ \end{bmatrix} und \begin{bmatrix} \mathrm{NAME} & fiffi \\ \mathrm{RASSE} & dackel \\ \end{bmatrix} subsumieren sich also in keiner Richtung, da ihr Merkmal NAME, das zwei verschiedene Werte "waldi" bzw. "fiffi" enthält. nicht vereinbar ist.

Unifikation

Die Unifikation ist eine binäre Operation, die versucht, zwei Attribut-Wert-Matrizen zu einer Ergebnis-AWM zusammenzuführen. Diese Operation ist vergleichbar mit der Vereinigung von Mengen, muss aber aufgrund der rekursiven Struktur von Attribut-Wert-Matrizen ebenfalls rekursiv durchgeführt werden.

Zwei Attribut-Wert-Matrizen A und B werden zu einer AWM C unifiziert (Schreibweise: A \sqcup B = C), indem

  • die atomaren Merkmale beider Ausgangsmatrizen in C abgelegt werden
  • die korrespondierenden komplexen Werte beider Ausgangsmatrizen unifiziert und in C abgelegt werden

Wenn innerhalb dieses rekursiven Vorgangs der Fall eintritt, dass zwei Merkmale mit demselben Namen, aber unterschiedlichen Werten in der Ergebnismatrix abgelegt werden sollen, dann schlägt die Unifikation fehl. Das Ergebnis der Operation ist in diesem Fall die speziell dafür definierte 'unmögliche' AWM \bot.

Beispiel 1
\begin{bmatrix} \mathrm{NAME} & waldi \\ \mathrm{ALTER} & 4 \\ \mathrm{FELL} & \begin{bmatrix} \mathrm{FARBE} & braun \end{bmatrix} \\ \end{bmatrix} \sqcup \begin{bmatrix} \mathrm{NAME} & waldi \\ \mathrm{RASSE} & dackel \\ \mathrm{FELL} & \begin{bmatrix} \mathrm{ART} & rauh \end{bmatrix} \\ \end{bmatrix} = \begin{bmatrix} \mathrm{NAME} & waldi \\ \mathrm{RASSE} & dackel \\ \mathrm{ALTER} & 4 \\ \mathrm{FELL} & \begin{bmatrix} \mathrm{FARBE} & braun \\ \mathrm{ART} & rauh \end{bmatrix} \\ \end{bmatrix}
Diese Unifikation ist erfolgreich: Jeder atomare Wert kommt entweder nur in einer Ausgangsmatrix vor, oder die Werte sind gleich ("waldi"), und die untergeordnete AWM für FELL ist ebenfalls unifizierbar.
Beispiel 2
\begin{bmatrix} \mathrm{NAME} & waldi \\ \mathrm{RASSE} & dackel \end{bmatrix} \sqcup \begin{bmatrix} \mathrm{NAME} & fiffi \\ \mathrm{RASSE} & dackel \end{bmatrix} = \bot
Hier schlägt die Unifikation fehl, da das Merkmal NAME unterschiedliche Werte ("waldi" bzw. "fiffi") trägt.
Wikipedia
 Dieses Dokument entstammt in seiner ersten oder einer späteren Version der deutschsprachigen Wikipedia. Es ist dort zu finden unter dem Stichwort Attribut-Wert-Matrix, die Liste der bisherigen Autoren befindet sich in der Versionsliste; die Originalfassung kann dort auch bearbeitet werden. Alle Texte der Wikipedia und ihre Derivate stehen unter der GNU-Lizenz für freie Dokumentation.
Von „http://www.kefk.org/wiki/Attribut-Wert-Matrix“
Persönliche Werkzeuge