Revision Rules in the Theory of Evidence

Combination rules proposed so far in the Dempster-Shafer theory of evidence, especially Dempster rule, rely on a basic assumption, that is, pieces of evidence being combined are considered to be on a par, i.e. play the same role. When a source of evidence is less reliable than another, it is possible to discount it and then a symmetric combination operation is still used. In the case of revision, the idea is to let prior knowledge of an agent be altered by some input information. The change problem is thus intrinsically asymmetric. Assuming the input information is reliable, it should be retained whilst the prior information should be changed minimally to that effect. Although belief revision is already an important subfield of artificial intelligence, so far, it has been little addressed in evidence theory. In this paper, we define the notion of revision for the theory of evidence and propose several different revision rules, called the inner and outer revisions, and a modified adaptive outer revision, which better corresponds to the idea of revision. Properties of these revision rules are also investigated.

[1]  Judea Pearl,et al.  On the Logic of Iterated Belief Revision , 1994, Artif. Intell..

[2]  D. Dubois,et al.  A set-theoretic view of belief functions: Logical operations and approximations by fuzzy sets , 1986 .

[3]  Lian-zeng Zhang,et al.  Representation, independence, and combination of evidence in the Dempster-Shafer theory , 1994 .

[4]  Henri Prade,et al.  Representation and combination of uncertainty with belief functions and possibility measures , 1988, Comput. Intell..

[5]  Ronald R. Yager,et al.  Classic Works of the Dempster-Shafer Theory of Belief Functions , 2010, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[6]  Joseph Y. Halpern.  Reasoning about uncertainty , 2003 .

[7]  Philippe Smets,et al.  The Transferable Belief Model , 1991, Artif. Intell..

[8]  D. Dubois,et al.  Belief Change Rules in Ordinal and Numerical Uncertainty Theories , 1998 .

[9]  R. Jeffrey.  The Logic of Decision , 1984 .

[10]  Thierry Denoeux,et al.  Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence , 2008, Artif. Intell..

[11]  Arthur P. Dempster,et al.  Upper and Lower Probabilities Induced by a Multivalued Mapping , 1967, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[12]  Philippe Smets,et al.  Jeffrey's rule of conditioning generalized to belief functions , 1993, UAI.

[13]  G. Shafer.  Jeffrey's Rule of Conditioning , 1981, Philosophy of Science.

[14]  Hidetomo Ichihashi,et al.  Jeffrey-like rules of conditioning for the Dempster-Shafer theory of evidence , 1989, Int. J. Approx. Reason..

[15]  Ronald R. Yager,et al.  Classic Works of the Dempster-Shafer Theory of Belief Functions: An Introduction , 2008, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[16]  Didier Dubois,et al.  Focusing vs. Belief Revision: A Fundamental Distinction When Dealing with Generic Knowledge , 1997, ECSQARU-FAPR.

[17]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[18]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[19]  Didier Dubois,et al.  On the unicity of dempster rule of combination , 1986, Int. J. Intell. Syst..

[20]  Jean Dezert,et al.  An Introduction to the DSm Theory for the Combination of Paradoxical, Uncertain, and Imprecise Sources of Information , 2006, ArXiv.

[21]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[22]  Didier Dubois,et al.  Cautious Conjunctive Merging of Belief Functions , 2007, ECSQARU.

[23]  Koichi Yamada,et al.  A new combination of evidence based on compromise , 2008, Fuzzy Sets Syst..

[24]  T. Denœux.  Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence , 2008 .

[25]  Didier Dubois,et al.  New Semantics for Quantitative Possibility Theory , 2001, ECSQARU.

[26]  R. Yager.  Hedging in the Combination of Evidence , 1983 .

[27]  Audun Jøsang,et al.  The consensus operator for combining beliefs , 2002, Artif. Intell..