DocumentCode
2301445
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
fYear
1994
fDate
6-9 Nov 1994
Firstpage
375
Lastpage
381
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on
Conference_Location
New Orleans, LA
Print_ISBN
0-8186-6785-0
Type
conf
DOI
10.1109/TAI.1994.346387
Filename
346387
Link To Document