Database Reference
In-Depth Information
Default-Theorien konnen also eine einzige, gar keine oder mehrere Extensionen
besitzen. Gibt es genau eine Extension, so gibt sie die moglichen, nichtmonotonen
Folgerungen aus der Default-Theorie in kompakter Weise an. Existiert uberhaupt
keine Extension, so ist die Theorie auch im nichtmonotonen Sinn widerspruchlich.
Mehrere Extensionen entsprechen mehreren moglichen Weltansichten, von denen
jede sich durch die Default-Theorie begrunden lasst, die aber echte Alternativen
darstellen - innerhalb des bisherigen Rahmens kann nicht entschieden werden, wel-
che von ihnen
die beste
ist.
Selbsttestaufgabe 8.23 (Prozessbaum, Extensionen)
Sei T
=(W, Δ) die
Default-Theorie mit W =
{¬
p, q
}
und
q :
¬
r
Δ=
{
}
p
Bestimmen Sie mit Hilfe eines Prozessbaumes die vorhandenen Extensionen.
Selbsttestaufgabe 8.24 (Default-Theorie, Prozessbaum, Extensionen)
Formulieren Sie das folgende Wissen als Default-Theorie:
Mitglieder von Automobilklubs mogen normalerweise Autos.
Umweltschutzer mogen normalerweise keine Autos.
Als Fakten sind bekannt, dass Hans Umweltschutzer und Mitglied eines
Automobilklubs ist.
Bestimmen Sie mit Hilfe eines Prozessbaumes die Extensionen dieser Default-
Theorie. Wie lasst sich das Ergebnis interpretieren?
Selbsttestaufgabe 8.25 (Fernstudium)
Gegeben sei die folgende kleine Be-
trachtung uber das Fernstudium der Informatik:
•
Wer Informatik an der FernUni studiert (S), interessiert sich normalerweise auch
fur sein Studienfach (I).
•
Wer sich nicht fur sein Fach interessiert, wird kaum erfolgreich studieren konnen
(E).
•
Wer sich fur sein Fach interessiert und genugend Zeit investiert (Z), wird erfolg-
reich sein, wenn er nicht gerade vollig unbegabt (U) ist.
•
Wer Interesse aufbringt, nimmt sich normalerweise auch die Zeit zu studieren,
und
•
wer kein Interesse hat, findet die Zeit zum Studium auch nicht.
•
Interesse kann aber nur gedeihen, wenn man sich Zeit nimmt.
Wer einen Job in der IT-Branche hat (J), macht normalerweise auch Uberstun-
den (UE).
•
Wer Uberstunden macht, hat keine Zeit zum Studieren -
•
wer jedoch feste Zeiten fur das Studium eingeplant hat, lehnt Uberstunden von
vorne herein ab.
Karla studiert Informatik an der FernUni und hat einen Job in der IT-Branche.
•
