The Research on Knowledge Base Revision
知识库更新的研究

This paper gives an outline of knowledge base revision and some recently presented com-plexity results about propositional knowledge base revision. Different methods for revising proposi-tional knowledge base have been proposed recently by several researchers,some are formula-based methods and the others are model-based methods, but all methods are intractable in the general case. For practical application,this paper presents a revision method in special case,and gives its corresponding parallel algorithm by applying the divide-and-conquer strategy.