Local computation with valuations from a commutative semigroup

This paper studies a variant of axioms originally developed by Shafer and Shenoy (Shafer and Shenoy, 1988). It is investigated which extra assumptions are needed to perform the local computations in a HUGIN-like architecture (Jensen et al., 1990) or in the architecture of Lauritzen and Spiegelhalter (Lauritzen and Spiegelhalter, 1988). In particular it is shown that propagation of belief functions can be performed in these architectures.

[1]  E. Hewitt,et al.  The ₁-algebra of a commutative semigroup , 1956 .

[2]  A. Clifford,et al.  The algebraic theory of semigroups , 1964 .

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

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

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

[6]  Kristian G. Olesen,et al.  HUGIN - A Shell for Building Bayesian Belief Universes for Expert Systems , 1989, IJCAI.

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

[8]  Glenn Shafer,et al.  Readings in Uncertain Reasoning , 1990 .

[9]  Steffen L. Lauritzen,et al.  Bayesian updating in causal probabilistic networks by local computations , 1990 .

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

[11]  H. Thoma.  Factorization of belief functions , 1990 .

[12]  R. M. Dudley,et al.  Influence Diagrams, Belief Nets and Decision Analysis. , 1991 .

[13]  Prakash P. Shenoy,et al.  Local Computation in Hypertrees , 1991 .

[14]  R. M. Oliver,et al.  Influence diagrams, belief nets and decision analysis , 1992 .

[15]  A. P. Dawid,et al.  Fast retraction of evidence in a probabilistic expert system , 1992 .

[16]  Petr Hájek,et al.  Uncertain information processing in expert systems , 1992 .

[17]  S. Lauritzen.  Propagation of Probabilities, Means, and Variances in Mixed Graphical Association Models , 1992 .

[18]  Prakash P. Shenoy,et al.  Valuation-Based Systems for Bayesian Decision Analysis , 1992, Oper. Res..

[19]  A. P. Dawid,et al.  Applications of a general propagation algorithm for probabilistic expert systems , 1992 .

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

[21]  Frank Jensen,et al.  From Influence Diagrams to junction Trees , 1994, UAI.

[22]  Russell G. Almond.  Graphical belief modeling , 1995 .

[23]  Glenn Shafer,et al.  Probabilistic expert systems , 1996, CBMS-NSF regional conference series in applied mathematics.