Database Reference
In-Depth Information
Die Hierarchie des Umgebungsverbandes ermoglicht es, Labelmengen abgelei-
teter Knoten einfach aus den Labels der Antezedenzknoten in der folgenden Weise
zu bestimmen:
•
Man bildet die Vereinigung aus je einer Labelmenge eines jeden Antezedenz-
knoten und berucksichtigt dabei alle moglichen Kombinationen. Auf diese
Weise sichert man Korrektheit und Vollstandigkeit des neuen Labels. Im obi-
gen Beispiel 7.37 erhalt man fur die Antezedenzknoten n
1
und n
2
die Mengen
{
A, B, C
}
,
{
A, B, D
}
,
{
A, C, D
}
,
{
C, D
}
.
•
Minimalitat und Konsistenz des neuen Labels werden dadurch erreicht, dass
man inkonsistente Umgebungen streicht und nur kleinste Teilmengen uber-
nimmt. Im Beispiel 7.37 ist
{
A, B, C
}
ein nogood, und wegen
{
C, D
}⊆
aus dem Label entfernt. Ubrig bleiben die
beiden im Beispiel genannten Mengen
{
A, C, D
}
wird auch
{
A, C, D
}
{
A, B, D
}
und
{
C, D
}
.
Besitzt ein Knoten mehrere Begrundungen, so entsteht sein Label aus allen
sich aus den einzelnen Begrundungen ergebenden Labelmengen, wobei Obermengen
anderer Labelmengen entfernt werden.
Ein ATMS macht die aufwendige Suche nach (neuen) Modellen wie im JTMS,
insbesondere das
dependency directed backtracking
, unnotig. Aufgrund der vorlie-
genden Information lasst sich an den Labels ablesen, welche Knoten gultig sind und
welche nicht. Wir wollen das Prinzip eines ATMS noch einmal an einem umfang-
reicheren Beispiel erlautern.
Beispiel 7.38 (“Die ublichen Verdachtigen”)
Wir vereinfachen das Beispiel
in Selbsttestaufgabe 4.23, um die Menge der Annahmen ubersichtlich zu halten,
und fassen kurz die wesentlichen Fakten zusammen:
Dieter P., Inhaber einer Baufirma, wurde in seinem Buro tot aufgefunden,
erschossen mit seiner eigenen Pistole. Es konnte Selbstmord gewesen sein, doch
auch Mord kann nicht ausgeschlossen werden. Die Ermittlungen ergeben, dass drei
Personen fur die Tat in Frage kommen: Albert, der ehemalige Prokurist, wurde von
Dieter P. vor kurzem entlassen; Bruno, Dieter P.'s Bruder, ist einziger Erbe des
Toten und in standigen Geldproblemen. Carlos, der Teilhaber der Firma, hatte in
letzter Zeit haufig Auseinandersetzungen mit Dieter P. Alle drei weisen ein - mehr
oder weniger stichhaltiges - Alibi vor: Albert behauptet, zur fraglichen Zeit bei
einem Fußballspiel gewesen zu sein; Bruno hat Freunde besucht und gibt diese als
Zeugen an, und Carlos gibt an, erst kurzlich von einer Flugreise zuruckgekehrt zu
sein. Die
Uberprufung der Passagierliste des entsprechenden Fluges bestatigt seine
Aussage.
Wir betrachten Knoten mit den folgenden Aussagen:
HA,HB,HC
:
Albert, Bruno, Carlos ist Hauptverdachtiger
HA, HB, HC
:
Albert, Bruno, Carlos ist kein Hauptverdachtiger
MA,MB,MC
:
Albert, Bruno, Carlos hat ein Motiv
AA, AB, AC
:
Albert, Bruno, Carlos hat ein Alibi
FB,FR,FL
:
Alibi Fußball, Freunde, Flug ist okay
S, S
:
Es war Selbstmord/kein Selbstmord
H
:
Albert, Bruno und Carlos sind die einzigen Verdachtigen
