Belief revision within fragments of propositional logic

Nadia Creignou (1) , Odile Papini (2) , Reinhard Pichler (3) , Stefan Woltran (3)

1 LIF - Laboratoire d'informatique Fondamentale de Marseille
2 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
3 Institute of Information Systems

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 has been mainly devoted to the Horn fragment of classical logic. Here we present a general approach to define new revision operators derived from known 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.

Domaines: Complexité [cs.CC]; Intelligence artificielle [cs.AI]

Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran. Belief revision within fragments of propositional logic. Journal of Computer and System Sciences, 2014, 80 (2), pp.427-449. ⟨10.1016/j.jcss.2013.08.002⟩. ⟨hal-01194330⟩