Prof. Dr. R. Laue                                                                                                                                  WS0405
                                Künstliche Intelligenz
                                Übungsblatt 3
                                Abgabe: 10.11.04  nach der Vorlesung

URL:         /axel/ai_ws0405_blatt3.html

Aufgabe 3 (7 Punkte)

Finden Sie sofern möglich die allgemeinste Unifikation  folgender Mengen von Ausdrücke:

{P(X), P(a) }
{Q(X,Y,a),Q(x,y,b)}
{R(Z,f(X),Y),R(a,Y,f(X))}
{P(X,Z,Y), P(U,Y,a), P(W,U,a)}
{P(f(X)), P(X)}
{P(f(X),Y,g(Y)), P(f(X),Z,g(X))}
{Q(X,a,Y),Q(a,X,Y)}

Begründen Sie Ihr Ergebnis.