A Programmable Approach to Maintenance of a FiniteKnowledge Base

In this paper, we present a programmable method of revising a nite clauseset. We rst present a procedure whose formal parameters are a consistent clause set Tand a clause A and whose output is a set of minimal subsets of T which are inconsistent with A. The maximal consistent subsets can be generated from all minimal inconsistent subsets. We develop a prototype system based on the above procedure, and discuss the implementation of knowledge base maintenance. At last, we compare the approach presented in this paper with other related approaches. The main characteristic of the approach is that it can be implemented by a computer program.