Title :
A graph-based truth maintenance system
Author_Institution :
Sch. of Comput., Tasmania Univ., Launceston, Tas., Australia
Abstract :
The assumption-based truth maintenance system proposed by de Kleer (1986) is the most popular scheme for performing belief revision. The ATMS is a logic-based scheme, which performs its reasoning on the knowledge represented by a propositional theory. In this paper, we propose a causal network called augmented causal network and a graph-based truth maintenance method based on the causal network. We prove that the graph-based truth maintenance method provides correct implementations of the ATMS
Keywords :
belief maintenance; formal logic; graph theory; truth maintenance; assumption-based truth maintenance system; augmented causal network; belief revision; graph-based truth maintenance system; knowledge representation; logic-based scheme; propositional theory; Australia; Engines; Logic;
Conference_Titel :
Intelligent Control and Automation, 2000. Proceedings of the 3rd World Congress on
Conference_Location :
Hefei
Print_ISBN :
0-7803-5995-X
DOI :
10.1109/WCICA.2000.859967
