15th European Conference on Artificial Intelligence
  July 21-26 2002     Lyon     France  

ECAI-2002 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

Network-based Truth Maintenance System

Subrata Das, David Lawless

We present a Network-based Truth Maintenance System (NTMS) for problem solvers based on Bayesian belief network (BN) technology. BN technology has been proven to be effective in various domains, e.g. assessing battlefield situations, such as the enemy’s likely point of interdiction. 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 of some nodes in a 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. We have applied our approach for trustworthy situation assessment in the context of a Stability and Support Operation (SASO) scenario.

Keywords: Belief Revision, Nonmonotonic Reasoning, Probabilistic Reasoning

Citation: Subrata Das, David Lawless: Network-based Truth Maintenance System. In F. van Harmelen (ed.): ECAI2002, Proceedings of the 15th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2002, pp.551-555.

[prev] [tofc] [next]

ECAI-2002 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Université Claude Bernard and INSA, Lyon, on behalf of Association Française pour l'Intelligence Artificielle.