Contraction et effacement des croyances pour des fragments propositionnels

International audienceLe changement de croyances dans le cadre de fragments de la logique propositionnelle est l'objet d'un intérêt croissant. Le raffinement d'opérateurs de changement de croyances a été proposé pour adapter des opérateurs connus afin qu'ils opèrent dans des fragments et que leur résultat reste dans le fragment considéré. Alors que la notion de raffinement permet de définir des opérateurs concrets de révision et de mise à jour adaptés aux fragments propositionnels cette notion nécessite d'être adaptée pour la contraction et l'effacement. Nous proposons une notion plus spécifique de raffinement pour ces opérations, appelée raffinement raisonnable. Celle-ci nous permet de définir des opérateurs de contraction et d'effacement raffinés qui satisfont les postulats de base. Nous étudions les propriétés logiques de deux opérateurs concrets pour la contraction et pour l'effacement. Notre approche ne se limite pas au fragment de Horn mais s'applique à de nombreux fragments propositionnels

Belief Contraction and Erasure in Fragments of Propositional Logic

International audienceRecently, belief change within the framework of fragments of propositionallogic has gained attention. In the context of revision it has been proposed to refineexisting operators so that they operate within propositional fragments, and that theresult of revision remains in the fragment under consideration. Later this notionof refinement was generalized to belief change operators. Whereas refinement al-lowed one to define concrete rational operators adapted to propositional fragmentsin the context of revision and update, it has to be specified for contraction anderasure. We propose a specific notion of refinement for contraction and erasureoperators, called reasonable refinement. This allows us to provide refined contrac-tion and erasure operators that satisfy the basic postulates. We study the logicalproperties of reasonable refinement of two model-based contraction operators andtwo model-based erasure operators. Our approach is not limited to the Horn frag-ment but applicable to many fragments of propositional logic, like Krom and affinefragment