Database Reference
In-Depth Information
Dieses Beispiel ist unter dem Namen “Nixon-Raute” (
Nixon diamond
)indieAn-
nalen der nichtmonotonen Logiken eingegangen. Es symbolisiert das Problem wi-
derspruchlicher Default-Informationen, die zu mehrfachen, gleichrangigen Losungen
fuhren, von denen aber nur eine richtig sein kann. (Damit behandelt dieses Beispiel
die gleiche Problematik wie Selbsttestaufgabe 8.24.) Die Bezeichnung “Diamant”
ruhrt von der graphischen Darstellung des Problems her (vgl. Abbildung 8.7).
Nixon
Republikaner
Quaker
Pazifist
Abbildung 8.7
Die Nixon-Raute
Poole sieht in seiner Default-Logik vorrangig eine Moglichkeit zur Realisierung
abduktiven Schließens
: E
1
Pazifist(Nixon)
erklart
. Die Suche nach - irgendeiner - Erklarung konnte den Standpunkt einer
leichtglaubigen Inferenz
rechtfertigen: Ableitbar soll alles sein, was in
einer
mogli-
chen Extension liegt (vgl. Abschnitt 7.4.4). Unter diesem Aspekt waren also sowohl
Pazifist(Nixon)
als auch
erklart Pazifist(Nixon)
,wahrend E
2
¬
Pazifist(Nixon)
ableitbar, was allerdings nicht sonderlich
befriedigend ist. Deshalb bezieht man auch hier meistens den Standpunkt einer
skeptischen Inferenz
: Ableitbar soll nur das sein, was in
allen
moglichen Extensio-
nen liegt. In diesem Fall konnte man uber Nixon nur das sagen, was schon durch
die Fakten belegt ist.
Wir haben hier die Poole'sche Default-Logik nur in einer sehr einfachen Form
behandelt. Daruber hinaus gibt es noch die Moglichkeit, die Anwendung von
Defaults gezielt zu blockieren, und durch die Einfuhrung von “Constraints” kann
die Menge moglicher Szenarien eingeschrankt werden. Wir wollen dies hier nicht
weiter vertiefen und verweisen auf den Artikel von Poole [181].
¬
Selbsttestaufgabe 8.50 (Tierwelt)
Gegeben sei folgendes Wissen aus der Tier-
welt:
Saugetiere leben normalerweise nicht im Meer. Die meisten Delphine leben im
Meer. Zoo-Tiere leben im Allgemeinen nicht im Meer. Alle Delphine gehoren zu den
Saugetieren. Flipper ist ein Delphin. Flipper gehort dem Miami Zoo.
1. Formulieren Sie eine Poole'sche Default-Theorie, die dieses Wissen darstellt.
2. Bestimmen Sie alle Extensionen zu der Default-Theorie.
3. Lassen sich aus der Default-Theorie in Teil 1 Aussagen uber den Lebensraum
des Delphins Flipper erklaren, und wenn ja, in welcher Weise?
