Haevelin
Tripel-As
Dabei seit: 04.06.2013
Beiträge: 221
|
|
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.
|
|