TU Wien:Einführung in wissensbasierte Systeme VU (Egly)/Übungen SS12/Blatt 3 - Beispiel 1
Zur Navigation springen
Zur Suche springen
Consider the following propositional theory (, , and are atoms):
Determine . Is consistent? Justify your answer.
Lösungsvorschläge[Bearbeiten | Quelltext bearbeiten]
Lösungsvorschlag Thrau[Bearbeiten | Quelltext bearbeiten]
Folgende Atome sind noch zu untersuchen:
mit einem tableau (oder auch ohne) sehen wir relativ schnell dass
daher
ist die CWA konsistent?
nein, denn laut Theorem gilt:
CWA consistency theorem[Bearbeiten | Quelltext bearbeiten]
Let be a consistent theory. Then:
is inconsistent iff there are ground atoms such that
- but , for all .
denn mit Beweis durch hinschaun können wir zeigen, dass gilt:
bzw. reicht es zu argumentieren, dass es in der CWA zu Widersprüchen kommt.