Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Logik (http://www.informatikerboard.de/board/board.php?boardid=16)
----- Findet man in Resolution die leere Klausel? (http://www.informatikerboard.de/board/thread.php?threadid=3526)
Geschrieben von Haevelin am 08.04.2017 um 16:49:
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.
Geschrieben von Haevelin am 08.04.2017 um 17:15:
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!
Forensoftware: Burning Board, entwickelt von WoltLab GmbH