A practical 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 by several researchers, but all methods are intractable in the general case. For practical application, this paper presents a revision method for special case, and gives its corresponding polynomial algorithm.

DOI: 10.1007/BF02951334

Cite this paper

@article{Tao1997APP, title={A practical propositional knowledge base revision algorithm}, author={Xuehong Tao and Wei Sun and Shaohan Ma}, journal={Journal of Computer Science and Technology}, year={1997}, volume={12}, pages={154-159} }