As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
Recently, belief change within the framework of fragments of propositional logic has gained attention. In the context of revision it has been proposed to refine existing operators so that they operate within propositional fragments, and that the result of revision remains in the fragment under consideration. In this paper we generalize this notion of refinement to belief change operators. Whereas the notion of refinement allowed one to define concrete rational operators adapted to propositional fragments in the context of revision and update, it has to be specified for contraction. We propose a specific notion of refinement for contraction operators, called reasonable refinement. This allows us to provide refined contraction operators that satisfy the basic postulates for contraction. We study the logical properties of reasonable refinements of two well-known model-based contraction operators. Our approach is not limited to the Horn fragment but applicable to many fragments of propositional logic, like Horn, Krom and affine fragments.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.