Hallo!
Die Aufgabe lautet:
Gegeben ist die Klauselmenge $$ K\quad =\quad \left\{ \left\{ A,B,C \right\} ,\left\{ \neg A,B,\neg C \right\} ,\left\{ \neg A,B,D \right\} ,\left\{ \neg A,\neg C,D \right\} ,\left\{ \neg B,C \right\} \right\} $$ Bestimmen Sie, ob $$ K\quad \models \quad \neg A $$ gilt, unter Verwendung des Davis-Putnam-Verfahrens.
Leider weiß ich überhaupt nicht, wie ich bei dieser Aufgabe vorgehen soll. Wie funktioniert das Davis-Putnam-Verfahren bezüglich dieser Aufgabe? Im Internet finde ich leider keine guten ausführlichen Erklärungen oder Beispiele. So weit ich das verstehe, kann man mit dem Verfahren Formelmengen reduzieren und damit entscheiden, ob sie erfüllbar oder unerfüllbar sind. (Wie genau?)
Funktioniert das Verfahren ähnlich wie das Resolutionsverfahren? Nehme ich {A} einfach mit zu der Klauselmenge und schaue, ob das unerfüllbar ist? Muss ich dann nach diesem A reduzieren? Oder ist das beliebig?
Das wäre ja dann $$ K\quad =\quad \left\{ \left\{ A,B,C \right\} ,\left\{ \neg A,B,\neg C \right\} ,\left\{ \neg A,B,D \right\} ,\left\{ \neg A,\neg C,D \right\} ,\left\{ \neg B,C \right\} ,\left\{ A \right\} \right\} $$ (nach meinem Verständnis) reduziert um A: $$ K\quad =\quad \left\{ \left\{ B,\neg C \right\} ,\left\{ B,D \right\} ,\left\{ \neg C,D \right\} ,\left\{ \neg B,C \right\} \right\} $$
Dann bleibt ja aber was übrig, was mache ich dann damit? Nochmals reduzieren?
Ich weiß leider wirklich überhaupt nicht, ob das der richtige Weg ist. :(
Ich wäre sehr dankbar über jede Hilfe!
