Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » Defaultlogik » Hallo Gast [Anmelden|Registrieren]
Letzter Beitrag | Erster ungelesener Beitrag Druckvorschau | An Freund senden | Thema zu Favoriten hinzufügen
Neues Thema erstellen Antwort erstellen
Zum Ende der Seite springen Defaultlogik
Autor
Beitrag « Vorheriges Thema | Nächstes Thema »
Haevelin
Tripel-As


Dabei seit: 04.06.2013
Beiträge: 221

Defaultlogik Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

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
27.06.2017 18:12 Haevelin ist offline Beiträge von Haevelin suchen Nehmen Sie Haevelin in Ihre Freundesliste auf
Baumstruktur | Brettstruktur
Gehe zu:
Neues Thema erstellen Antwort erstellen
Informatiker Board » Themengebiete » Theoretische Informatik » Logik » Defaultlogik