A probabilistic approach to truth maintenance is presented, specifically geared for automated problem solvers based on Bayesian belief network (BN) technology. Nodes and links in a BN capture semantic relationships among various domain related concepts. In the absence of firmer knowledge, default assumptions provide the beliefs for some nodes in the BN. Before posting incoming evidence into a BN node, a truth maintenance procedure is invoked to check for information consistency between the node's current expected state and the new observed state. In case of inconsistency, the truth maintenance procedure revises some default assumptions, by isolating those nodes causing inconsistency, via a sensitivity analysis procedure that exploits the strengths of BN causal dependency. The approach is specifically targeted for trustworthy situation assessment in the context of a military stability and support operation (SASO) scenario.
[1]
Michael Reinfrank,et al.
Truth Maintenance Systems
,
1990,
Lecture Notes in Computer Science.
[2]
Finn Verner Jensen,et al.
Introduction to Bayesian Networks
,
2008,
Innovations in Bayesian Networks.
[3]
Johan de Kleer,et al.
An Assumption-Based TMS
,
1987,
Artif. Intell..
[4]
Judea Pearl,et al.
Probabilistic reasoning in intelligent systems - networks of plausible inference
,
1991,
Morgan Kaufmann series in representation and reasoning.
[5]
Raymond Reiter,et al.
A Logic for Default Reasoning
,
1987,
Artif. Intell..
[6]
Kenneth D. Forbus,et al.
Building Problem Solvers
,
1993
.
[7]
Jon Doyle,et al.
A Truth Maintenance System
,
1979,
Artif. Intell..