Conditioning and updating evidence

Abstract A new interpretation of Dempster–Shafer conditional notions based directly upon the mass assignments is provided. The masses of those propositions that may imply the complement of the conditioning proposition are shown to be completely annulled by the conditioning operation; conditioning may then be construed as a re-distribution of the masses of some of these propositions to those that definitely imply the conditioning proposition. A complete characterization of the propositions whose masses are annulled without re-distribution, annulled with re-distribution and enhanced by the re-distribution of masses is provided. A new evidence updating strategy that is composed of a linear combination of the available evidence and the conditional evidence is also proposed. It enables one to account for the ‘integrity’ and ‘inertia’ of the available evidence and its ‘flexibility’ to updating by appropriate selection of the linear combination weights. Several such strategies, including one that has a probabilistic interpretation, are also provided.

[1]  Joseph Y. Halpern,et al.  Modeling Belief in Dynamic Systems, Part I: Foundations , 1997, Artif. Intell..

[2]  Simon Parsons,et al.  A review of uncertainty handling formalisms , 1998, Applications of Uncertainty Formalisms.

[3]  Catherine K. Murphy.  Combining belief functions when evidence conflicts , 2000, Decis. Support Syst..

[4]  Shashi Shekhar,et al.  An Evidential Reasoning Approach to Attribute Value Conflict Resolution in Database Integration , 1996, IEEE Trans. Knowl. Data Eng..

[5]  Noboru Ohnishi,et al.  Object shape and camera motion recovery using sensor fusion of a video camera and a gyro sensor , 2000, Inf. Fusion.

[6]  Marcus Spies.  Evidential reasoning with conditional events , 1994 .

[7]  P. Walley.  Statistical Reasoning with Imprecise Probabilities , 1990 .

[8]  Mounia Lalmas,et al.  Representing and retrieving structured documents using the Dempster-Shafer theory of evidence: modelling and evaluation , 1998, J. Documentation.

[9]  Jf Baldwin.  Advances in the Dempster-Shafer theory of evidence , 1994 .

[10]  Prabir Bhattacharya.  On the Dempster-Shafer evidence theory and non-hierarchical aggregation of belief structures , 2000, IEEE Trans. Syst. Man Cybern. Part A.

[11]  Weiru Liu,et al.  Reinvestigating Dempster's Idea on Evidence Combination , 2000, Knowledge and Information Systems.

[12]  Luis M. de Campos,et al.  The concept of conditional fuzzy measure , 1990, Int. J. Intell. Syst..

[13]  P. Smets.  Decision Making in a Context where Uncertainty is Represented by Belief Functions , 2002 .

[14]  Mani Srivastava,et al.  Energy-aware wireless microsensor networks , 2002, IEEE Signal Process. Mag..

[15]  James Llinas,et al.  Handbook of Multisensor Data Fusion , 2001 .

[16]  Hong Xu,et al.  Reasoning in evidential networks with conditional belief functions , 1996, Int. J. Approx. Reason..

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

[18]  Alan Bundy,et al.  Assignment methods for incidence calculus , 1995, Int. J. Approx. Reason..

[19]  Andrea Sgarro,et al.  Open-Frame Dempster Conditioning for Incomplete Interval Probabilities , 2000, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[20]  Mongi A. Abidi,et al.  Data fusion in robotics and machine intelligence , 1992 .

[21]  Henry Leung,et al.  Bayesian and Dempster-Shafer target identification for radar surveillance , 2000, IEEE Trans. Aerosp. Electron. Syst..

[22]  Philippe Smets,et al.  Practical Uses of Belief Functions , 1999, UAI.

[23]  Kamal Premaratne,et al.  Evidence updating in a heterogeneous sensor environment , 2003, Proceedings of the 2003 International Symposium on Circuits and Systems, 2003. ISCAS '03..

[24]  P. H. Bauer,et al.  ASSOCIATION RULE MINING WITH SUBJECTIVE KNOWLEDGE , 2002 .

[25]  Sally I. McClean,et al.  Knowledge discovery in distributed databases using evidence theory , 2000, Int. J. Intell. Syst..

[26]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[27]  E. C. Kulasekere.  Representation of evidence from bodies with access to partial knowledge , 2001 .

[28]  Fabrice Janez,et al.  Theory of evidence and non-exhaustive frames of discernment: Plausibilities correction methods , 1998, Int. J. Approx. Reason..

[29]  Thierry Denoeux,et al.  A k-nearest neighbor classification rule based on Dempster-Shafer theory , 1995, IEEE Trans. Syst. Man Cybern..

[30]  Arthur Filippidis.  Fuzzy and Dempster-Shafer evidential reasoning fusion methods for deriving action from surveillance observations , 1999, 1999 Third International Conference on Knowledge-Based Intelligent Information Engineering Systems. Proceedings (Cat. No.99TH8410).

[31]  Ronald Fagin,et al.  A new approach to updating beliefs , 1990, UAI.

[32]  Andreas Herzig,et al.  Propositional Belief Base Update and Minimal Change , 1999, Artif. Intell..

[33]  B. Moshiri,et al.  Sensor fusion for ultrasonic and laser arrays in mobile robotics: a comparative study of fuzzy, Dempster and Bayesian approaches , 2002, Proceedings of IEEE Sensors.

[34]  Philippe Smets.  About Updating , 1991, UAI.

[35]  J. Baldwin.  A calculus for mass assignments in evidential reasoning , 1994 .

[36]  Lonnie Chrisman,et al.  Incremental conditioning of lower and upper probabilities , 1995, Int. J. Approx. Reason..

[37]  Alexander Bochman,et al.  A Foundational Theory of Belief and Belief Change , 1999, Artif. Intell..

[38]  Tan Min,et al.  Multi-robot cooperation and data fusion in map-building , 2000, Proceedings of the 3rd World Congress on Intelligent Control and Automation (Cat. No.00EX393).

[39]  Ronald R. Yager,et al.  Hierarchical aggregation functions generated from belief structures , 2000, IEEE Trans. Fuzzy Syst..

[40]  Thierry Denux.  Reasoning with imprecise belief structures , 1999 .

[41]  Didier Dubois,et al.  Focusing versus updating in belief function theory , 1994 .

[42]  Bernd Neumann,et al.  Lectures Notes in Artificial Intelligence , 2003 .

[43]  Thierry Denoeux,et al.  Reasoning with imprecise belief structures , 1999, Int. J. Approx. Reason..

[44]  Simon Parsons,et al.  Addendum to "Current Approaches to Handling Imperfect Information in Data and Knowledge Bases" , 1996, IEEE Trans. Knowl. Data Eng..

[45]  Lenhart K. Schubert,et al.  A computational model of belief , 2000, Artif. Intell..

[46]  Robin R. Murphy,et al.  Handling Sensing Failures in Autonomous Mobile Robots , 1999, Int. J. Robotics Res..