A programmable approach to revising knowledge bases  

作　　者：LUAN Shangmin DAI Guozhong LI Wei 

机构地区：[1]Institute of Software, Chinese Academy of Sciences, Beijing 100080, China [2]Department of Computer Science and Technology, Beijing-University of Aeronautics and Astronautics, Beijing 100083, China

出　　处：《Science in China(Series F)》2005年第6期681-692,共12页中国科学（F辑英文版）

基　　金：This work was supposed by the National Fundamental Research 973 Program of China(Grand No．2002CB312103)； the National Natural Science Foundation of China(Grant Nos．60033020，70371052)．

摘　　要：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.

关 键 词：knowledge base knowledge base revision RULES predicate logic propositional logic 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]