Lösung einer Unifikation mit disjunktiven Merkmalstrukturen
Gesucht ist die Lösung der folgenden Unifikation zweier Merkmalstrukturen mit disjunktiven Verknüpfungen.
<![CDATA[
_ _ _ _
| f a | | f (a OR b) |
| g (a OR b) | & | g a (c OR d) | = ?
| h (c OR d) | | j (a OR c) |
- - - -]]>1. Schritt: Auflösung der Disjunktionen
<![CDATA[
1 1.1 1.2 1.3 1.4
_ _ _ _ _ _ _ _ _ _
| f a | | f a | | f a | | f a | | f a |
| g (a OR b) | = | g a | OR | g b | OR | g a | OR | g b |
| h (c OR d) | | h c | | h c | | h d | | h d |
- - - - - - - - - -]]><![CDATA[
2 2.1 2.2 2.3 2.4
_ _ _ _ _ _ _ _ _ _
| f a | | f a | | f a | | f a | | f a |
| g a (c OR d)| = | g ac| OR | g ad| OR | g ac| OR | g ad|
| j (a OR c) | | j a | | j a | | j c | | j c |
- - - - - - - - - -]]>2. Schritt: Paarweises Unifizieren der Merkmalstrukturen
Man beachte, dass die Unifikation von (1.3) und (1.4) keine Resultate liefert.
<![CDATA[
1.1&2.1 1.1&2.2 1.1&2.3 1.1&2.4
_ _ _ _ _ _ _ _
| f a | | f a | | f a | | f a |
| g ac| OR | g ad| OR | g ac| OR | g ad| OR
| h c | | h c | | h c | | h c |
| j a | | j a | | j c | | j c |
- - - - - - - - ]]><![CDATA[
1.3&2.1 1.3&2.2 1.3&2.3 1.3&2.4
_ _ _ _ _ _ _ _
| f a | | f a | | f a | | f a |
| g ac| OR | g ad| OR | g ac| OR | g ad|
| h d | | h d | | h d | | h d |
| j a | | j a | | j c | | j c |
- - - - - - - - ]]>3. Schritt: Zusammenfassung der Einzelergebnisse
<![CDATA[
_ _
| f a |
| g a (c OR d) |
| h (c OR d) |
| j (a OR c) |
- -]]>
Autor: Martin Volk
Date of last modification: