Database Reference
In-Depth Information
die Begrundung J
2
mit aufzunehmen, modifiziert man das TMN in der Art, dass
zwar immer dann, wenn es keinen Grund gibt, an der Flugfahigkeit eines Vogels zu
zweifeln, dieser auch als fliegender Vogel eingestuft wird, andererseits die Beruck-
sichtigung von Ausnahmen in modularer Weise moglich ist: Statt J
2
wahlt man die
allgemeinere Begrundung
J
2
mit der Bedeutung: Solange ein Vogel nicht explizit als “nicht fliegend” ausgewie-
sen wird, konnen wir annehmen, dass er fliegt. Jede Begrundung der Form J
0
:
V
|
F
→
F
fur
Strauße, Kiwis und ahnliche Exoten unterbindet dann diese Folgerung.
Selbsttestaufgabe 7.23 (Tweety)
1. Vollziehen Sie im Tweety-Beispiel mit Hilfe des JTMS-Algorithmus den Modell-
wechsel von M zu M
bei Hinzunahme von J
5
.
2. Ist es auch moglich, mit dem “abgemagerten” TM-Netzwerk (
{
V, P, F
}
,
{
J
1
,J
2
,J
4
}
) unter Hinzunahme von J
5
den Schluss “Tweety kann nicht flie-
gen” abzuleiten?
JTMS bieten also eine im Wesentlichen regelbasierte Wissensreprasentation,
bei der durch die Einbeziehung nichtmonotoner Regeln (Begrundungen) die strikten
Konsistenzbedingungen klassischer Logiken gelockert werden und ein nichtmonoto-
nes Ableitungsverhalten ermoglicht wird.
Am Ende des Tweety-Beispiels hatten wir auf eine Moglichkeit hingewiesen,
unsichere Regeln in einer allgemeinen und modularen Form zu codieren. Die glei-
che Idee lasst sich auch fur Diagnose-Aufgaben nutzen, denn beim Auftreten von
Fehlern sollten zunachst einfache mogliche Ursachen abgeklart werden, bevor mit
aufwendigeren Untersuchungen begonnen wird.
Beispiel 7.24 (Autodiagnose)
Wenn ein Auto bei drehendem Anlasser nicht
startet, so liegt sicherlich die einfachste denkbare Fehlerursache darin, dass kein
Benzin mehr im Tank ist. Bevor man also die Motorhaube offnet, um nach Defek-
ten zu fahnden, sollte man einen Blick auf die Tankuhr werfen. Erst wenn man sich
uberzeugt hat, dass der Tank nicht leer ist, kann der Verdacht auf einen Defekt
als begrundet angesehen werden. Weitere mogliche Fehlerursachen sind dann z.B.
verschlissene Zundkerzen oder ein defekter Vergaser.
Diese Uberlegungen lassen sich in einem TMN wie folgt formalisieren:
Knoten:
S
:
Auto startet nicht
B
:
zu wenig Benzin im Tank
B
:
genug Benzin im Tank
D
:
Defekt liegt vor
Z
:
undkerzen defekt
V
:
Vergaser defekt
Begrundungen:
J
0
:
S
|
D
→
B
J
1
:
S,B
|∅ →
D
J
2
:
B, B
|∅ →
n
⊥
J
3
:
Z
|∅ →
D
J
4
:
V
|∅ →
D
