Moin!
Angenommen ich habe eine Formelmenge, die ich unifizieren will. f sei ein Funktionssymbol, a eine Konstante und x, y Variablen.
Darf ich [f(x,y) / f(a)] substituieren?

Und was ist mit Funktionssymbolen, die mit verschiedener Stelligkeit auftreten. Gehe ich recht in der Annahme, dass { f(z, y, x), f(u, v, w, x) } nicht unifizierbar ist?

Darf ich [f(x,y) / f(a)] substituieren?

Nein, Du darfst nur Variablen substituieren, keine ganzen Funktionen.

Und was ist mit Funktionssymbolen, die mit verschiedener Stelligkeit auftreten. Gehe ich recht in der Annahme, dass { f(z, y, x), f(u, v, w, x) } nicht unifizierbar ist?

Richtig.

Kann es sein, dass sich keine der Literalmengen (8.1) unifizieren lassen ?

Antwort unter Vorbehalt: [img]http://www.fb18.de/gfx/28.gif[/img]
Das habe ich auch raus. Ich kann mir nicht vorstellen, dass man uns bei einer Aufgabe zur Unifizierung Formelmengen vorgibt, von denen keine unifizierbar ist. Ich meine, wo bleibt da das Erfolgserlebnis [img]http://www.fb18.de/gfx/15.gif[/img]

puh, mit dieses problem habe ich auch.

kann man eine funktion mit 2 verschiedenen variabel nacheinander unifizieren?

Wenn ich das richtig sehe, dann kommt man bei allen 4 Aufgaben zum Ergebnis, dass sie nicht unifizierbar sind.
Bei den ersten beiden braucht man sich nur die Literale angucken - bei der dritten beim zweiten Schritt des Algorithmus - bei der vierten beim dritten Schritt.

bei der dritten beim zweiten Schritt des Algorithmus

x und y sind Variablen

Erster Schritt:
P(x,f(x))
P(y,y)
sub=[y,x]

Zweiter Schritt:
P(x,f(x))
P(x,y)
sub=[f(x),y]

Ende:
P(x,y)
P(x,y)
sub=[y,x][f(x),y]

Somit unifizierbar?!

Zweiter Schritt:
P(x,f(x))
P(x,y)
sub=[f(x),y]

Du hast ja y durch x substituiert - also müssen auch alle Vorkommen von y ersetzt werden - oder irre ich da?

oder irre ich da?

Nein, Du hast Recht.