Title :
R-calculus: a logical approach for knowledge base maintenance
Author :
Li, Wei ; Shen, Ningchuan ; Wang, Ju
Author_Institution :
Dept. of Comput. Sci., Beijing Univ. of Aeronaut. & Astronaut., China
Abstract :
The concepts of maintenance sequence of a knowledge base and their limits are introduced. Some concepts used in maintenance of knowledge bases, such as new laws, user´s rejections, and reconstructions of a base are defined; the related theorems are proposed. Some computational aspects of reconstructions are studied; an R-calculus is given to deduce a reconstruction when a base meets a rejection. Especially, an R-calculus for logic programming is provided and implemented to do it. Finally, the theory is compared with AGM´s theory of belief revision
Keywords :
belief maintenance; logic programming; refinement calculus; R-calculus; belief revision; computational aspects; knowledge base maintenance; logic programming; maintenance sequence; Computer science; Formal languages; History; Logic; Software maintenance;
Conference_Titel :
Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
0-8186-6785-0
DOI :
10.1109/TAI.1994.346387
