Belief Update within Propositional Fragments

Abstract : Belief change within the framework of fragments of propo-sitional logic is one of the main and recent challenges in the knowledge representation research area. While previous research works focused on belief revision, belief merging, and belief contraction, the problem of belief update within fragments of classical logic has not been addressed so far. 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. This approach is not restricted to the Horn fragment but also applicable to other propositional fragments like Krom and affine fragments. We generalize this notion of refinement to any belief change operator. We then focus on a specific belief change operation, namely belief update. We investigate the behavior of the refined update operators with respect to satisfaction of the KM postulates and highlight differences between revision and update in this context.
Complete list of metadatas

Cited literature [47 references]  Display  Hide  Download
Contributor : Nadia Creignou <>
Submitted on : Saturday, March 23, 2019 - 3:16:49 PM
Last modification on : Friday, April 5, 2019 - 1:24:03 AM
Long-term archiving on : Monday, June 24, 2019 - 12:32:29 PM


Files produced by the author(s)




Nadia Creignou, Raïda Ktari, Odile Papini. Belief Update within Propositional Fragments. Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2018, 61, pp.807-834. ⟨10.1613/jair.5541⟩. ⟨hal-02077672⟩



Record views


Files downloads