Belief Update within Propositional Fragments release_in5gox3novhntoxfs4uhqu3e6e

by Nadia Creignou, Odile Papini

Released as a article-journal .

2018   Volume 61

Abstract

Belief change within the framework of fragments of propositional 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.
In text/plain format

Archived Files and Locations

application/pdf  396.3 kB
file_brftxnf3jbhrzlt4j2fdyd3i2e
web.archive.org (webarchive)
www.jair.org (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   unknown
Year   2018
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: c6480a0e-abba-42fb-81f1-170462da18ac
API URL: JSON