Abstract. Belief revision has been extensively studied in the framework of propositional logic, but just recently revision within fragments of propositional logic has gained attention. Hereby it is not only the belief set and the revision formula which are given within a certain language fragment, but also the result of the revision has to be located in the same fragment. So far, research in this direction was mainly devoted to the Horn fragment of classical logic. In this work, we present a general approach to define new revision operators derived from standard operators (as for instance, Satoh's and Dalal's revision operators), such that the result of the revision remains in the fragment under consideration. Our approach is not limited to the Horn case but applicable to any fragment of propositional logic where the models of the formulas are closed under a Boolean function. Thus we are able to uniformly treat cases as dual-Horn, Krom and affine formulas, as well.
More recently, belief revision in other fragments of propositional logic, including Krom and affine formulas, has been addressed in REF .
Belief revision within fragments of propositional logic
Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference
Mathematics Computer Science