Findet man in Resolution die leere Klausel? |
08.04.2017, 16:49 | 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. |
|
|
08.04.2017, 17:15 | 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! |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|