Beruflich Dokumente
Kultur Dokumente
Prasenzaufgabe 11.1: Wenden Sie den Unifikationsalgorithmus aus der Vorlesung einmal auf
die folgende Literalmenge L1 und einmal auf die Literalmenge L2 an. Bilden Sie damit, wenn
moglich, einen Unifikator bzw. , so dass | L1 |= 1 bzw. | L2 |= 1 ist. Sind die Literale nicht
unifizierbar, so erlautern Sie das Problem, d.h. nennen Sie den Grund, warum der Algorithmus
abbricht.
Ubungsaufgabe 11.4: Zeigen Sie jeweils mittels pradikatenlogischer Resolution, dass die drei
Formeln F1 , F2 und F3 unerfullbar sind. von
9
1. F1 = xyuz((P (x, f (a)) Q(y, x)) P (x, y) R(x, y) R(x, x) (R(z, f (z))
Q(u, f (a))))
2. F2 = xz((P (a, x) P (b, x)) P (z, z) (P (a, b) P (b, a)))
3. F3 = xyz((P (y) Q(z, b) Q(f (a), x)) (P (x) Q(b, z)) (P (f (x)) Q(f (x), z))
Q(a, y) (P (x) Q(z, f (b))))