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.

Adversarially-Robust Inference on Trees via Belief Propagation

Ising Model on Locally Tree-like Graphs: Uniqueness of Solutions to Cavity Equations

Propagation of Belief Functions: A Distributed Approach

Robust Estimation of Tree Structured Ising Models

Low Degree Hardness for Broadcasting on Trees

Distributed Inference in Tree Networks using Coding Theory

Time Complexity of Broadcast and Consensus for Randomized Oblivious Message Adversaries

Modeling and Mitigating Errors in Belief Propagation for Distributed Detection

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

Adversarial robustness of amortized Bayesian inference

Identifiability in robust estimation of tree structured models

Learning General Latent-Variable Graphical Models with Predictive Belief Propagation

Robustness of Information Diffusion Algorithms to Locally Bounded Adversaries

Robust Decision Trees Against Adversarial Examples

Stochastic rumors on random trees

Learning a tree-structured Ising model in order to make predictions

Rooting out the Rumor Culprit from Suspects

A Computational Method for Bounding the Probability of Reconstruction on Trees

Broadcasting with Random Matrices

Distributionally Robust Removal of Malicious Nodes from Networks

Evolutionary Trees and the Ising Model on the Bethe Lattice: a Proof of Steel's Conjecture