Axioms for probability and belief-function propagation

Prakash P. Shenoy, Glenn Shafer

Research output: Chapter in Book/Report/Conference proceedingChapter

19 Scopus citations


In this paper, we describe an abstract framework and axioms under which exact local computation of marginals is possible. The primitive objects of the framework are variables and valuations. The primitive operators of the framework are combination and marginalization. These operate on valuations. We state three axioms for these operators and we derive the possibility of local computation from the axioms. Next, we describe a propagation scheme for computing marginals of a valuation when we have a factorization of the valuation on a hypertree. Finally we show how the problem of computing marginals of joint probability distributions and joint belief functions fits the general framework.

Original languageEnglish (US)
Title of host publicationClassic Works of the Dempster-Shafer Theory of Belief Functions
EditorsRoland R. Yager, Liping Liu
Number of pages30
StatePublished - 2008
Externally publishedYes

Publication series

NameStudies in Fuzziness and Soft Computing
ISSN (Print)1434-9922

All Science Journal Classification (ASJC) codes

  • Computer Science (miscellaneous)
  • Computational Mathematics


Dive into the research topics of 'Axioms for probability and belief-function propagation'. Together they form a unique fingerprint.

Cite this