Database Reference
In-Depth Information
Modifikation
Wissens-
basis
Inkonsistenz
Modifikation
Wissensbasis
+
TMS
Konsistenz
Abbildung 7.1
Aufgabe eines Truth Maintenance-Systems
Intuitiv ist klar, worin das Problem liegt und wie es zu beheben ware. Eine
Hinzunahme der neuen Information
¬
k musste zu einer Inaktivierung der ersten,
allgemeineren Regel s
l und zu einer Rucknahme ihrer Folgerung l fuhren, da die
Folgerungen beider Regeln nicht miteinander vertraglich sind. Dies lasst sich aber
mit einem einfachen regelbasierten System nicht bewerkstelligen. Als Alternative
bieten sich hier die
Truth Maintenance-Systeme
(abgekurzt
TMS
, vgl. auch Abbil-
dung 7.1) an, die Arbeiten der geforderten Art erledigen. Sie verwalten Abhangig-
keiten zwischen Aussagen oder Daten und fuhren bei Vorliegen neuer Information
ein maschinelles System von einem Zustand in einen anderen uber, wobei die Kon-
sistenz (“truth”) erhalten bleibt (sofern uberhaupt moglich). Insbesondere veran-
lassen sie die Rucknahme von Aussagen, die in Konflikt mit der neuen Information
stehen.
Man unterscheidet grob zwei verschiedene Arten von Truth Maintenance-
Systemen: die
Justification-based Truth Maintenance-Systeme (JTMS)
und die
Assumption-based Truth Maintenance-Systeme (ATMS)
. Die Arbeitsweise eines
JTMS wird in [54] ausfuhrlich dargestellt. Wie der Name schon sagt, darf hier
ohne eine entsprechende Begrundung (
justification
) nichts geglaubt oder akzeptiert
werden. Das JTMS ermoglicht eine erste Begegnung mit nichtmonotonen Regeln
auf einer recht konkreten und operationalen Ebene. Demgegenuber berechnet und
verwaltet ein ATMS Mengen von Annahmen (
assumptions
), unter denen eine Aus-
sage ableitbar ist. Die Idee des ATMS geht auf de Kleer [48, 49, 50] zuruck. Ein
TMS ist immer mit einer Inferenzkomponente gekoppelt, die klassisch-deduktive
Schlussfolgerungen vollzieht. Die Aufgabe eines TMS besteht primar darin, konsis-
tente Modelle (JTMS) bzw. konsistente Kontexte (ATMS) zur Verfugung zu stellen.
Wir werden beide TMS-Typen vorstellen, wobei wir das JTMS ausfuhrlicher bespre-
chen, da hier die Dynamik eines Zustands- bzw. Modellwechsels transparenter wird.
→
