Findet man in Resolution die leere Klausel?

Neue Frage »

Auf diesen Beitrag antworten »
Haevelin Findet man in Resolution die leere Klausel?

Hinsichtlich der aussagenlogischen Resolution soll ich folgendes Problem lösen: Erhält man die Vollständigkeit der Resolution, d.h. findet man die leere Klausel, wenn sie ableitbar ist, auch mit den gegebenen Einschränkungen?
1) Lineare Resolutioin
2) Input-Resolution
3) Unit-Resolution


Bisher habe ich nur gegoogelt, dass die lineare Resolution vollständig ist. Warum, weiß ich nicht.
 
Auf diesen Beitrag antworten »
Haevelin RE: Findet man in Resolution die leere Klausel?

Jetzt habe ich gefunden, dass Unit- und Input-Resolution beide nicht vollständig sind. Beispiele wären willkommen!
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »