05128648

j

05128648 Luan, Shangmin Dai, Guozhong Li, Wei A programmable approach to revising knowledge bases. Sci. China, Ser. F. 48, No. 6, 681-692 (2005). 2005 Science in China Press, Beijing; Springer, Heidelberg EN

doi:10.1360/03yf0327

This paper presents a programmable approach to revising knowledge bases consisting of clauses. Some theorems and lemmas are shown in order to give procedures for generating maximally consistent subsets. Then a complete procedure and an incomplete procedure for generating the maximal consistent subsets are presented, and the correctness of the procedures is also shown. Furthermore, a way to implement knowledge base revision is presented, and a prototype system is introduced. Compared with related works, the main characteristic of our approach is that the approach can be implemented by a computer program.