Combination calculi for uncertainty reasoning: representing uncertainty using distributions

There are many different methods for incorporating notions of uncertainty in evidential reasoning. A common component to these methods is the use of additional values, other than conditional probabilities, to assert current degrees of belief and certainties in propositions. Beginning with the viewpoint that these values can be associated with statistics of multiple opinions in an evidential reasoning system, we categorize the choices that are available in updating and tracking these multiple opinions. In this way, we develop a matrix of different uncertainty calculi, some of which are standard, and others are new. The main contribution is to formalize a framework under which different methods for reasoning with uncertainty can be evaluated. As examples, we see that both the “Kalman filtering” approach and the “Dempster–Shafer” approach to reasoning with uncertainty can be interpreted within this framework of representing uncertainty by the statistics of multiple opinions.

[1]  Henry E. Kyburg,et al.  Bayesian and Non-Bayesian Evidential Updating , 1987, Artificial Intelligence.

[2]  Richard E. Neapolitan,et al.  Probabilistic reasoning in expert systems - theory and algorithms , 2012 .

[3]  Judea Pearl,et al.  Fusion, Propagation, and Structuring in Belief Networks , 1986, Artif. Intell..

[4]  Drew McDermott,et al.  Introduction to artificial intelligence , 1986, Addison-Wesley series in computer science.

[5]  J. Ross Quinlan,et al.  Inferno: A Cautious Approach To Uncertain Inference , 1986, Comput. J..

[6]  David J. Spiegelhalter,et al.  Local computations with probabilities on graphical structures and their application to expert systems , 1990 .

[7]  Steen Andreassen,et al.  MUNIN - A Causal Probabilistic Network for Interpretation of Electromyographic Findings , 1987, IJCAI.

[8]  Prakash P. Shenoy,et al.  A valuation-based language for expert systems , 1989, Int. J. Approx. Reason..

[9]  T. Soong,et al.  Mathematics of Kalman-Bucy filtering , 1985 .

[10]  Steven L. Tanimoto The Elements of Artificial Intelligence Using Common Lisp , 1995 .

[11]  R. Szeliski,et al.  Incremental estimation of dense depth maps from image sequences , 1988, Proceedings CVPR '88: The Computer Society Conference on Computer Vision and Pattern Recognition.

[12]  John Yen,et al.  GERTIS: a Dempster-Shafer approach to diagnosing hierarchical hypotheses , 1989, CACM.

[13]  Robert A. Hummel,et al.  Combining Bodies of Dependent Information , 1987, IJCAI.

[14]  P. M. Williams ON A NEW THEORY OF EPISTEMIC PROBABILITY* , 1978, The British Journal for the Philosophy of Science.

[15]  Richard E. Neapolitan,et al.  Probabilistic reasoning in expert systems - theory and algorithms , 2012 .

[16]  Chun-Hung Tzeng A mathematical formulation of uncertain information , 2005, Annals of Mathematics and Artificial Intelligence.

[17]  Abraham Kandel,et al.  Fuzzy techniques in pattern recognition , 1982 .

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

[19]  Irving John Good,et al.  Subjective Probability as the Measure of a Non-measurable Set , 1962 .

[20]  Michael S. Landy,et al.  A Statistical Viewpoint on the Theory of Evidence , 1986, IEEE Trans. Pattern Anal. Mach. Intell..

[21]  L. N. Kanal,et al.  Uncertainty in Artificial Intelligence 5 , 1990 .

[22]  Olivier D. Faugeras,et al.  Building, Registrating, and Fusing Noisy Visual Maps , 1988, Int. J. Robotics Res..

[23]  Elizabeth C. Hirschman,et al.  Judgment under Uncertainty: Heuristics and Biases , 1974, Science.

[24]  Judea Pearl,et al.  Reasoning with belief functions: An analysis of compatibility , 1990, Int. J. Approx. Reason..

[25]  Richard O. Duda,et al.  Subjective bayesian methods for rule-based inference systems , 1976, AFIPS '76.

[26]  Edward H. Shortliffe,et al.  A Method for Managing Evidential Reasoning in a Hierarchical Hypothesis Space , 1985, Artif. Intell..

[27]  Andrew P. Sage,et al.  Uncertainty in Artificial Intelligence , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[28]  Edward H. Shortliffe,et al.  The Dempster-Shafer theory of evidence , 1990 .

[29]  H. E. Pople,et al.  Internist-1, an experimental computer-based diagnostic consultant for general internal medicine. , 1982, The New England journal of medicine.

[30]  G. Reynolds,et al.  Plausible Reasoning and the Theory of Evidence , 1986 .

[31]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[32]  Judea Pearl Rejoinder to comments on "reasoning with belief functions: An analysis of compatibility" , 1992, Int. J. Approx. Reason..

[33]  Steven L. Tanimoto The elements of artificial intelligence , 1800 .

[34]  David J. Spiegelhalter,et al.  Bayesian analysis in expert systems , 1993 .

[35]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[36]  H. E. Pople,et al.  Internist-I, an Experimental Computer-Based Diagnostic Consultant for General Internal Medicine , 1982 .