| Haevelin |
Defaultlogik
Folgende Überlegung:
Wer den Kurstext gründlich studiert hat (K) und die Übungsaufgaben ernsthaft bearbeitet hat (U), sollte, wenn er nicht gerade unter spontanem Gedächtnisverlust leidet (G), die Abschlussprüfung bestehen (P). Man sollte nicht mit einer Denkblockade (B) rechnen. Besteht aber eine solche Blockade, kann dies zu Gedächtnisverlust führen. Bei Gedächtnisverlust muss man, falls der Prüfer oder die Prüferin nichts anderes sagt, damit rechnen nicht zu bestehen.
Folgende Defaults sind gegeben:
Delta_1: K,U: non G / P
Delta_2: 0: non B/ non B
Delta_3: B:G/G
Delta_4: G: non P/ non P
Teil 1: Es seien die Fakten K und U gegeben. Bestimmen Sie die Bestandteile der aus den obigen Defaults und den angegebenen Fakten bestehenden Defaulttheorie. Welche Extensionen gibt es?
Mein Ansatz: in W kommt: 1) K et U ==> P 2) B==> G und 3) G ==> non P
Die Defaults sind die obigen Delta_1 bis Delta_4
Aber welche Extensionen gibt es?
Teil 2: Zusätzlich zu K und U sei nun B bekannt geworden. Bestimmen Sie die Bestandteile der aus den obigen Defaults und der vergrößerten Faktenmenge bestehenden Defaulttheorie. Welche Extensionen gibt es diesmal?
Keine Ahnung |
