A graph-based truth maintenance system
Yue Xu · 2002
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.