A PROPOSITIONAL KNOWLEDGE BASE REVISION ALGORITHM

This paper gives an outline of knowledge base revision and some recently presented complexity results about propositional knowledge base revision. Different methods for revising propositional knowledge base have been proposed recently. Some ofthem are formula-based and the others are model-based,but they are all intractable inthe general case. A method and its corresponding polynomial algorithm in a special caseare presented for practical application.