[Back]

N. Creignou, O. Papini, R. Pichler, S. Woltran:
"Belief Revision within Fragments of Propositional Logic";
Talk: Principles of Knowledge Representation and Reasoning (KR), Rome, Italy; 06-10-2012 - 06-13-2012; in: "Proceedings of 13^th int. conf. on Principles of Knowledge Representation and Reasoning", G. Brewka, T. Eiter, S. McIlraith (ed.); AAAI Press, (2012), ISBN: 978-1-57735-561-8; 11 pages.

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. In this work, we present a general approach to define new revision operators derived from known 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.

Project Head Reinhard Pichler:
Theoretisch Effiziente Lösbarkeit vs. Praktische Berechnung