Attribut-Wert-MatrixEine Attribut-Wert-Matrix (AWM), auch Merkmal-Wert-Struktur, ist eine formale Struktur, die vor allem in der Linguistik, speziell im Bereich der Unifikationsgrammatiken und der Head-driven Phrase Structure Grammar verwendet wird. Mit Attribut-Wert-Matrizen werden in diesem Kontext Merkmalstrukturen modelliert. Zusammen mit den Mechanismen der Subsumtion, der Typisierung und der Unifikation bietet sie eine Möglichkeit, sprachliche Strukturen formal 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 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: 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 Rauhaardackel. Relationen und OperationenSubsumtionDie 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 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 , denn A' enthält zu den Informationen aus A zusätzlich noch die Information zum Fell. Die Subsumtion gilt genau dann, wenn
Umgekehrt ist die Subsumtion ungültig, wenn
Die Attribut-Wert-Matrix subsumiert weil beide im Merkmal „RASSE“ übereinstimmen, die zweite aber zusätzlich das Merkmal „NAME“ enthält, also spezieller ist. Die beiden AWM und subsumieren sich in keiner Richtung, da ihr Merkmal NAME, das zwei verschiedene Werte "waldi" bzw. "fiffi" enthält, nicht vereinbar ist. Die allgemeinste AWM ist die leere Attribut-Wert-Matrix, die alle anderen AWMs subsumiert, weil sie selbst überhaupt keine Information enthält. UnifikationDie 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: ), indem
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 .
Weblinks
|