Klausurtext im PDF-Format - Fachgebiet Theoretische Informatik ...
Klausurtext im PDF-Format - Fachgebiet Theoretische Informatik ...
Klausurtext im PDF-Format - Fachgebiet Theoretische Informatik ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
AUFGABE 4.<br />
Gegeben ist die Klauselmenge K:<br />
K := { {¬R(b, f(x, y))}, {¬P (f(x, a), x), R(g(x), y)}, {Q(g(f(x, b)), y)},<br />
{P (f(x, a), f(y, z))}, {¬R(x, f(y, z)), P (x, x)}, {¬Q(y, x), ¬P (x, y)} }<br />
Zeigen Sie mittels prädikatenlogischer Resolution, dass K unerfüllbar ist. Geben Sie in<br />
jedem Schritt die Variablenumbenennungen und den Unifikator an!<br />
7