Supported by the National Grand Fundamental Research 973 Program of China (Grant No. 2002CB312103)
One of the important topics in knowledge base revision is to introduce an efficient implementation algorithm. Algebraic approaches have good characteristics and implementation method; they may be a choice to solve the...
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 complet...