Uniﬁkation

[ Zurück ] [ Zurück (Seitenende) ] [ Seitenende ] [ Überkapitel ] [ Bitte Skript-Fehler melden ]

14.3. Uniﬁkation

14.3.1. Motivation

Wozu Uniﬁkation von Merkmalstrukturen?

Informationen aus Merkmalstrukturen vereinigen

Uniﬁkation (⊔ “uniﬁziert mit”) vereinigt die Bedingungen aus 2 Merkmalstrukturen in einer einzigen.

Beispiel 14.3.1 (Widerspruchsfreie Uniﬁkation).
[ ]
CAS nom
NUM sg ⊔ [ ]
GEN fem
NUM sg = ⌊ ⌋
CAS nom
|⌈ NUM sg |⌉

GEN fem

Beispiel 14.3.2 (Uniﬁkation von widersprüchlicher Information).
[CAS nom ]

NUM pl ⊔ [GEN fem ]

NUM sg = ⊥

⊥ steht für die “künstliche” Merkmalstruktur, welche bei widerspruchshaltiger Uniﬁkation entsteht, d.h. wenn keine widerspruchsfreie Uniﬁkation möglich ist.

14.3.2. Subsumtion

Subsumtion

Subsumtion informell

Eine Merkmalstruktur M₂ wird subsumiert von einer Merkmalstruktur M₁, falls M₂ mindestens die Information von M₁ enthält. M₂ kann zusätzlich Information enthalten.

M₁ = [ ]
CAS nom
NUM sg subsumiert M₂ = ⌊CAS nom ⌋
| |
⌈NUM sg ⌉
GEN fem

Deﬁnition 14.3.3 (Subsumtion). Eine Merkmalstruktur M₁ subsumiert eine Merkmalstruktur M₂, kurz M₁ ⊑ M₂, falls gilt:

Jeder vollständige Pfad von M₁ ist auch ein vollständiger Pfad von M₂ und hat denselben Wert.
Jedes Paar von koreferenten Pfaden von M₁ ist auch ein koreferentes Paar von M₂.

Entscheidungshilfe für Subsumtion
M1: ⌊ [ ]⌋
NUM sg
||AGR PER 3 ||
|| [ ]||
|⌈ NUM sg |⌉
SUBJ PER 3 M2: ⌊ ⌋
CAT NP
|| --[NUM sg]||
||AGR -1| ||
⌈ PER 3 ⌉
SUBJ -1| Um zu überprüfen, ob M₁ M₂ subsumiert:

Gebe alle vollständigen Pfade von M₁ und M₂ an.
Falls M₁ einen vollständigen Pfad enthält, der nicht in M₂ ist: Nein!
Falls irgend ein vollständiger Pfad von M₁ und M₂ einen unterschiedlichen Wert hat: Nein!
Gebe alle Paare von koreferenten Pfaden an in M₁ und M₂.
Falls M₁ ein Paar enthält, das nicht in M₂ ist: Nein!
Sonst: Ja!

Subsumtionsrelation
Die Subsumtion ist eine binäre Ordnungsrelation über der Menge der Merkmalstrukturen. D.h.

Reﬂexivität : Jede Merkmalstruktur subsumiert sich selbst.
Transitivität : Wenn M₁ ⊑ M₂ und M₂ ⊑ M₃, dann M₁ ⊑ M₃.
Antisymmetrie : Wenn M₁ ⊑ M₂ und M₂ ⊑ M₁, dann gilt M₁ = M₂

14.3.3. Uniﬁkation

Uniﬁkation von Merkmalstrukturen

Deﬁnition 14.3.4 (Graphuniﬁkation). Die Merkmalstruktur M heisst Uniﬁkation von M₁ und M₂, kurz M₁ ⊔ M₂ = M, gdw. gilt:

M₁ subsumiert M
M₂ subsumiert M
M subsumiert alle Merkmalstrukturen M_i, die von M₁ und M₂ subsumiert werden.

Sinn der letzten Klausel

Der Uniﬁkator von zwei Merkmalstrukturen M₁ und M₂ soll immer die allgemeinste Merkmalstruktur sein, welche noch subsumiert wird.

Eigenschaften

Die leere Merkmalstruktur (manchmal mit ⊤ geschrieben) kann mit beliebigen Merkmalstrukturen uniﬁziert werden: [] ⊔ M_i = M_i
Die Uniﬁkation ergibt nicht für alle Paare von Merkmalstrukturen eine informative Merkmalstruktur. Sie scheitert, bzw. ergibt die inkonsistente Merkmalstruktur ⊥, welche von allen Merkmalstrukturen subsumiert wird: ⊥⊔ M_i = ⊥
⊤ bezeichnet irgend ein Objekt, ⊥ bezeichnet nichts.

[ Zurück ] [ Zurück (Seitenende) ] [ Seitenbeginn ] [ Überkapitel ] [ Bitte Skript-Fehler melden ]