Abstract:In this paper, we describe a scheme for propagating belief functions in certain kinds of trees using only local computations. This scheme generalizes the computational scheme proposed by Shafer and Logan1 for diagnostic trees of the type studied by Gordon and Shortliffe, and the slightly more general scheme given by Shafer for hierarchical evidence. It also generalizes the scheme proposed by Pearl for Bayesian causal trees (see Shenoy and Shafer). Pearl's causal trees and Gordon and Shortliffe's diagnostic trees are both ways of breaking the evidence that bears on a large problem down into smaller items of evidence that bear on smaller parts of the problem so that these smaller problems can be dealt with one at a time. This localization of effort is often essential in order to make the process of probability judgment feasible, both for the person who is making probability judgments and for the machine that is combining them. The basic structure for our scheme is a type of tree that generalizes both Pearl's and Gordon and Shortliffe's trees. Trees of this general type permit localized computation in Pearl's sense. They are based on qualitative judgments of conditional independence. We believe that the scheme we describe here will prove useful in expert systems. It is now clear that the successful propagation of probabilities or certainty factors in expert systems requires much more structure than can be provided in a pure production-system framework. Bayesian schemes, on the other hand, often make unrealistic demands for structure. The propagation of belief functions in trees and more general networks stands on a middle ground where some sensible and useful things can be done. We would like to emphasize that the basic idea of local computation for propagating probabilities is due to Judea Pearl. It is a very innovative idea; we do not believe that it can be found in the Bayesian literature prior to Pearl's work. We see our contribution as extending the usefulness of Pearl's idea by generalizing it from Bayesian probabilities to belief functions. In the next section, we give a brief introduction to belief functions. The notions of qualitative independence for partitions and a qualitative Markov tree are introduced in Section III. Finally, in Section IV, we describe a scheme for propagating belief functions in qualitative Markov trees.

Belief propagation for permutations, rankings, and partial orders

Learning directed acyclic graphs based on sparsest permutations

Belief Propagation, Bethe Approximation and Polynomials

Bayesian Inference for Vertex-Series-Parallel Partial Orders

Understanding belief propagation and its generalizations

Fixing the Bethe approximation: How structural modifications in a graph improve belief propagation

Propagation of Belief Functions: A Distributed Approach

Learning unbelievable probabilities

A new look at survey propagation and its generalizations

Local Max-Entropy and Free Energy Principles, Belief Diffusions and their Singularities

Belief propagation algorithm for computing correlation functions in finite-temperature quantum many-body systems on loopy graphs

An improved Belief Propagation algorithm finds many Bethe states in the random field Ising model on random graphs

A Homological Approach to Belief Propagation and Bethe Approximations

Learning unbelievable marginal probabilities

The Role of Normalization in the Belief Propagation Algorithm

Exact Fractional Inference via Re-Parametrization & Interpolation between Tree-Re-Weighted- and Belief Propagation- Algorithms

Probabilistic Embedding of Knowledge Graphs with Box Lattice Measures

Cavity Method: Message Passing from a Physics Perspective

Approximating the Bethe partition function

Distribution of entanglement in networks of bi-partite full-rank mixed states

Bayesian inferences on uncertain ranks and orderings: Application to ranking players and lineups