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

Aus VoWi
Zur Navigation springen Zur Suche springen

Consider the following arguments:

  1. Watson's grass is wet (W) if it has been raining (R) or the sprinkler was on (S). The grass is not wet. Therefore, it has not rained and the sprinkler was not on.
  2. If he is king (K), he must either be the son of the previous king (S) or he killed the previous king (M). He neither killed the old king nor is he the son of the previous king. Therefore, he is not the king.

Translate the arguments into propositional logic and show by TC0 that the argument is either correct or else extract an interpretation from the tableau showing that the argument is not correct.

Lösungsvorschlag[Bearbeiten | Quelltext bearbeiten]

Watson's wet grass[Bearbeiten | Quelltext bearbeiten]

Die Information "The grass is not wet" kann man verschieden anschreiben. Entweder in die linke Formelmenge, oder rechts als Implikation. Übersetzung:

oder halt (vgl. Deduktionstheorem)


Notieren wir die Seiten wie üblich mit .


Wozu die da noch ein Tableau brauchen versteh ich nicht, nachdem beide Seiten äquivalent sind. Wenns auf der Tafel lustig sein wollts dann zeigts halt dass gilt ;-)

King nothing[Bearbeiten | Quelltext bearbeiten]

Das is genau (der selbe Blödsinn) wie oben.



Die Seiten sind äquivalent, da brauchen wir kein Tableau

Links[Bearbeiten | Quelltext bearbeiten]

f.thread:93259