Unifikation < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) reagiert/warte auf Reaktion  | | Datum: | 16:56 So 11.07.2010 | | Autor: | Daniel1985 |
| Aufgabe | Sind die folgenden Termpaare unifizierbar? Bestimmen Sie falls möglich den mgu oder geben Sie einen Grund für die Nichtunifizierbarkeit an. (a, b seien Konstanten, w, x, y, z seien Variablen)
a) f(g(x, w), g(w, h(a)), g(w, x)) und f(y, z, z) |
Kann mir vielleicht irgend jemand an diesem Beispiel zeigen, wie das mit dem unifizieren geht? Ich stehe irgendwie auf dem Schlauch und weis nicht, wie ich da ran gehen soll..
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 12:12 Mo 26.07.2010 | | Autor: | wieschoo |
Zu aller erst. Ich habe soetwas noch nie gemacht. Aber da die Frage noch nicht beantwortet wurde und mich der Begriff interessiert hat und auf wikipedia ein Algorithmus angegeben ist versuche ich es:
> f(g(x, w), g(w, h(a)), g(w, x)) und f(y, z, z)
> (a, b seien Konstanten, w, x, y, z seien Variablen)
f(g(X,W),g(W,h(a)),g(W,X)) und
f(Y,Z,Z)
Ich mache den Algo von wikipedia.
g(X,W) und Y unterscheiden sich.
Y ist eine Variable
Y kommt nicht bei g(X,W) vor
vertausche Y mit g(X,W)
f(g(X,W),Z,Z)
mgu: Y wird zu g(X,W)
g(W,h(a)) und Z unterscheiden sich
Z ist eine Variable
Z kommt nicht im Ausdruck g(W,h(a)) vor
vertausche
f(g(X,W),g(W,h(a)),Z)
mgu: Z wird zu g(W,h(a))
g(W,X) und Z unterscheiden sich
Z ist eine Variable
Z kommt nicht im Ausdruck g(W,h(a)) vor
vertausche
f(g(X,W),g(W,h(a)),g(W,X))
mgu: Z wird zu g(W,X)
Ich komme zu der Erkenntnis, da X eine Variable und h(a) ein Ausdruck ist,
dass die Termpaare unifizierbar sind:
f(g(X,W),g(W,h(a)),g(W,X))
|
|
|
|
