Complexity of Model Checking for Cardinality-Based Belief Revision Operators

On the use of evidence theory in belief base revision

“…In this paper, we focus on formula-based (syntactic) revision operators already presented within a unified framework in [9]. Each operator, denoted by * , is a function that takes a belief base B and a formula µ representing new information as input and returns a new belief base B * µ.…”

“…Some of them are based on construction of maximum consistent subbases according to different criteria [3,10,22]. Recently, Creignou and colleagues in [9] focused particularly on two operators, namely RSRG and RSRW, that are respectively similar to Ginsberg's one [17] and Widtio [34], using set cardinality instead of set inclusion as maximality criterion.…”

“…On the one hand, keeping only beliefs that are not questioned (streeming from the intersection of maximal coherent subbases) can be plausible strategy, but not always reliable and can cause, in most the cases, a lot of loss of information since there is no guarantee to not have the empty set as an intersection between maximal consistent subbases. On the other hand, the selection of some maximal consistent subbases according to determined criteria, can be shown also plausible, and the choice of set cardinality like as in [9] seems rather reasonable, because it respects the minimality change criterion of belief revision.…”

“…In the present paper and from another point of view to revision, we shed light on the use of evidence theory in the context of formula-based belief revision through two main contributions. Following the same spirit of the work [9], we propose at first two formula-based operators similar to RSRG and RSRW, namely CSRG and CSRW, based on the selection of the most credible consistent subbases. The computation of credibility is assured using the suitable tools offered by evidence theory.…”

“…It can supersede other strategies in many real applications for the reason that it avoids losing original beliefs as far as possible. A compact representation of all these operators is given within the unified framework already developed in [9].…”