DocumentCode
352689
Title
A graph-based truth maintenance system
Author
Xu, Yue
Author_Institution
Sch. of Comput., Tasmania Univ., Launceston, Tas., Australia
Volume
1
fYear
2000
fDate
2000
Firstpage
285
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Control and Automation, 2000. Proceedings of the 3rd World Congress on
Conference_Location
Hefei
Print_ISBN
0-7803-5995-X
Type
conf
DOI
10.1109/WCICA.2000.859967
Filename
859967
Link To Document