Belief Networks and Local Computations

This paper is one of many attempts to introduce graphical Markov models within Dempster-Shafer theory of evidence. Here we take full advan- tage of the notion of factorization, which in probability theory (almost) coin- cides with the notion of conditional independence. In Dempster-Shafer theory this notion can be quite easily introduced with the help of the operator of composition. Nevertheless, the main goal of this paper goes even further. We show that if a belief network (a D-S counterpart of a Bayesian network) is to be used to support decision, one can apply all the ideas of Lauritzen and Spiegelhalter's local computations.

[1]  Radim Jirousek,et al.  Composition of Probability Measures on Finite Spaces , 1997, UAI.

[2]  Pau Klein,et al.  San Francisco, California , 2007 .

[3]  Ronald R. Yager,et al.  Advances in Intelligent Computing — IPMU '94 , 1994, Lecture Notes in Computer Science.

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

[5]  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.

[6]  Finn V. Jensen,et al.  Bayesian Networks and Decision Graphs , 2001, Statistics for Engineering and Information Science.

[7]  Radim Jirou A Note on Local Computations in Dempster-Shafer Theory of Evidence , 2011 .

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

[9]  Compositional Models of Belief Functions , 2007 .

[10]  Radim Jirousek,et al.  Compositional models and conditional independence in evidence theory , 2011, Int. J. Approx. Reason..

[11]  Serafín Moral,et al.  Heuristic Algorithms for the Triangulation of Graphs , 1994, IPMU.

[12]  Prakash P. Shenoy,et al.  Axioms for probability and belief-function proagation , 1990, UAI.

[13]  Augustine Kong,et al.  Uncertain evidence and artificial analysis , 1990 .

[14]  Michael I. Jordan Graphical Models , 2003 .

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