TU Wien:Einführung in wissensbasierte Systeme VU (Egly)/Übungen SS12/Blatt 3 - Beispiel 1

Aus VoWi
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
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.

Links[Bearbeiten | Quelltext bearbeiten]

f.thread:93830