Logik - Einheitsresolution < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 22:14 So 26.05.2013 | | Autor: | Eddes8 |
| Aufgabe | Gegeben ist die folgende Horn-Klauselmenge:
{{¬x, ¬y, z}, {¬z}, {x}, {¬z, y}, {¬z, x}, {¬u, ¬x, z}}.
Bestimmen Sie mit Hilfe der Einheits-Resolution, ob obige Klauselmenge erfüllbar ist. |
Hallo zusammen,
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
ich habe eine Frage bezüglich der Resolutions-Aufgabe und wäre für Hilfe sehr dankbar.
Ich hab diese Horn-Klauselmenge gegeben.
Mir ist das Prinzip der Vorgehensweise klar.
1. nach Einheitsklausel schauen, hier: {x} und { [mm] \neg [/mm] z }
2. alle Klauseln entfernen, die x oder NOT z enthalten
-> hier: { [mm] \neg [/mm] z, y } und { [mm] \neg [/mm] z, x }
So, dann habe ich {x} mit { [mm] \neg [/mm] x, [mm] \neg [/mm] y } und { [mm] \neg [/mm] z } mit { [mm] \neg [/mm] u, [mm] \neg [/mm] x, z } resolviert,bleiben folgende Klauseln übrig:
{ [mm] \neg [/mm] y, z } und { [mm] \neg [/mm] u, [mm] \neg [/mm] x }.
Doch hier kann man nichts mehr resolvieren.
Meine Frage nun, ob ich damit fertig bin oder noch etwas fehlt?
Danke im Voraus
Gruß Eddes
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 22:20 Di 28.05.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
