---
title: Conditional Belief Function
url: https://www.emergentmind.com/topics/conditional-belief-function
type: topic
---

# Conditional Belief Function

A conditional belief function generalizes the concept of conditional probability to belief function theory, enabling the representation and propagation of epistemic uncertainty in complex domains. Unlike classical probability, where conditioning is uniquely and unambiguously defined by Bayes’ rule, conditional belief in the Dempster–Shafer framework admits several mathematically and conceptually distinct constructions, each with rigorous implications for graphical modeling, inference algorithms, and the interpretation of uncertainty.

## 1. Formal Definition of Conditional Belief Functions

Let $U$ be a finite set of variables, and $A$, $B$ be disjoint subsets of $U$ with Cartesian-product frames $\Omega_A$ and $\Omega_B$. A (possibly unnormalized) basic belief assignment (bba) is a function $m_B: 2^{\Omega_B} \to [0,1]$, with $\sum_{Y \subseteq \Omega_B} m_B(Y) = 1$, $m_B(\varnothing) \ge 0$. The induced belief and plausibility functions are:
\[
\Bel_B(X) = \sum_{Y \subseteq X} m_B(Y)\,,
\qquad
\Pl_B(X) = \sum_{Y \cap X \neq \varnothing} m_B(Y)\,.
\]

A **conditional belief function** on $B$ given $A$ is a family $\{ m_{B|A}(\cdot|a) \}_{a \in \Omega_A}$ of bbas $m_{B|A}(\cdot|a): 2^{\Omega_B} \to [0,1]$ with $\sum_{Y \subseteq \Omega_B} m_{B|A}(Y|a) = 1$ for every $a$. The conditional belief and plausibility are:
\[
\Bel_{B|A}(Y|a) = \sum_{Z \subseteq Y} m_{B|A}(Z|a)\,, \qquad
\Pl_{B|A}(Y|a) = \sum_{Z \cap Y \neq \varnothing} m_{B|A}(Z|a)\,.
\]
This notion admits local (per-$a$) normalization without any global coupling across $a \in \Omega_A$ [1302.6854].

## 2. Joint and Conditional Representations: Conversion and Consistency

Given a joint belief function $m_{A,B}: 2^{\Omega_A \times \Omega_B} \to [0,1]$, a conditional family $\{m_{B|A}(\cdot|a)\}$ can be obtained by marginalization:

\[
m_{B|A}(Y|a) = 
\sum_{\substack{E \subseteq \Omega_A \times \Omega_B :\, \pi_A(E) = \{a\},\, \pi_B(E) = Y}} m_{A,B}(E)\,,
\]
where $\pi_A$, $\pi_B$ denote projections.

Conversely, the **ballooning extension** constructs a unique joint bba $m_{A,B}$ given a family $\{m_{B|A}(\cdot|a)\}$ by:
\[
m_{A,B}(E) =
\prod_{a \in \Omega_A} m_{B|A}\bigl(\{ b : (a,b) \in E \} \,|\, a\bigr)\,,
\]
for $E \subseteq \Omega_A \times \Omega_B$. Not all conditional families admit a globally consistent joint; a necessary consistency requirement is
\[
a_1 \subseteq a_2 \Longrightarrow \Pl_{B|A}(Y|a_1) \le \Pl_{B|A}(Y|a_2),\ \forall Y \subseteq \Omega_B\,.
\]
This conversion is fundamental to evidential network construction and probabilistic graphical model generalizations [1302.6854].

## 3. Conditioning in Belief Functions: Approaches and Properties

### Dempster’s Rule and Generalizations

The standard Dempster–Shafer conditioning formula, for evidence $H \subseteq \Omega$ with $\Bel(H^c) \ne 1$, is
\[
m_H(A) = \frac{\sum_{B \cap H = A} m(B)}{1 - \sum_{B \cap H=\emptyset} m(B)},\qquad m_H(\emptyset) = 0\,,
\]
and
\[
\Bel_H(A) = \sum_{C \subseteq A} m_H(C) = \frac{\Bel(A \cup H^c) - \Bel(H^c)}{1 - \Bel(H^c)}\,.
\]
This operation is a Bayes-style reallocation of mass, not requiring Dempster’s rule of combination for independent evidence—a distinction emphasized in [1512.01249].

Recent developments have advanced alternative conditionings:
- **Geometric Conditioning:** Interprets conditioning as projecting the mass vector onto the face of the simplex corresponding to the conditioning event, minimizing a suitable $\ell^p$ norm (e.g., $L_2$ for equal redistribution, $L_1$ for sparsest shift) [2104.10651].
- **Envelope-based Conditioning:** Defines conditional belief as the lower envelope (infimum) of conditional probabilities compatible with the initial belief function, yielding closed-form expressions such as $\Bel(A|B) = \Bel(A \cap B)/\Pl(B)$ [1304.1119].
- **Jeffrey-like Conditioning:** Generalized to belief functions, yielding "geometric" and "Dempster" Jeffrey rules. The geometric rule preserves proportional allocations within coarse atoms, the Dempster rule redistributes mass after intersection with the event [1303.1514].

Each construction has distinct epistemological and computational implications.

## 4. Conditional Belief Functions in Evidential Networks

Evidential networks with conditional belief functions (ENCs) are directed acyclic graphs $(M,E)$ where each edge $(X \to Y)$ is annotated with a conditional belief function $m_{Y|X}(\cdot|x)$ for all $x \in \Omega_X$. The network encodes
\[
\left\{ m_{X|\operatorname{pa}(X)}(\cdot \mid \operatorname{pa}{-}x) \mid X \in M \right\}
\]
with no explicit joint stored [1302.6854].

**Message Passing:** For marginal $\Bel_X$ of node $X$ in a singly connected network:
\[
\Bel_X = m_X^0 \ocap \left(\mathop{\bigtimes}_{Y \in \Ne(X)} \mu_{Y \to X}\right)
\]
where $\ocap$ is Dempster’s conjunctive combination and $\mu_{Y \to X}$ is computed via back-projection through the relevant conditional:
\[
\mu_{Y \to X}(x) = \sum_{y \in \Omega_Y} m_{X|Y}(x|y)\ \Bel_{Y \backslash X}(y)
\]
[1302.6854]. Complexity in a tree is $O(n r^2)$. For networks with loops, node merging (ballooning) is used to restore polytree structure at exponential cost in merged frame size.

## 5. Conditioning and Inference: Practical and Theoretical Issues

### Loss of Properness and Negative Mass

Standard conditioning operations in DST can yield **non-proper** belief functions: removal (division) operations may produce negative mass assignments, making semantic interpretation and statistical testing problematic.
- Example: For joint belief functions over triple variables $X, Y, Z$ with positive mass, there may exist no non-negative mass functions $m_1, m_2$ such that $\Bel = \Bel_1 \oplus \Bel_2$, with negative masses arising in attempted “conditionally independent” factorizations [1812.06028].

### Workarounds: Frequency-based Factorization

The $F$-measure provides a workaround:
\[
F_{r,s,v}(R \times S \times V) = \sum_{B_v \subseteq \Omega_v : B_v \subseteq V} m(R \times S \times B_v)
\]
This function remains non-negative and supports log-linear and $\chi^2$ statistical tests, enabling empirical detection of (conditional) independence from data despite the non-properness obstacle in standard conditionals [1812.06028].

## 6. Special Constructions and Applications

### Simplification and Pruning in Evidential Networks

Certain conditional belief function structures allow substantial simplifications:
- **Irrelevant Value Pruning:** If $x_j \in \Omega_X$ is irrelevant for $Y$ (i.e., $m_{Y|X}(\Omega_Y | x_j) = 1$), then evidence on $X = x_j$ carries no information for $Y$ and edges can be pruned from computation [1302.6854].
- **Unrelated via Intermediary:** If sets of values of $A$ relevant to $X$ and $Y$ are disjoint, observation of $X$ has no impact on $Y$ given $A$ [1302.6854].

### Canonical Forms: Belief Noisy-OR

BNOR provides a parameter-reduced method to define conditional belief functions in analog to the Noisy-OR gate for Bayesian networks. It encodes both aleatory and epistemic uncertainty and reduces exponential parameterizations to linear scale in the number of parents, yielding conditional bb a's with focal elements reflecting lower, upper, and vacuous knowledge [1606.01116].

### Non-Destructive Sampling

Efficient sample generation from conditional belief networks is feasible for a restricted class of conditional beliefs with non-negative $K$-representation, compatible with Bayesian network-like topologies where no two parents of a node are connected, using value splits and surrogate probability tables [2005.11963].

## 7. Worked Example: Conditional Belief Update

Consider variables $A, X, Z$ with binary frames and conditionals:
- $m_{X|A}(+\mid a)=0.8,\ m_{X|A}(-\mid a)=0.2$
- $m_{Z|A}(+\mid a)=0.9,\ m_{Z|A}(-\mid a)=0.1$
and similar for $\bar a$ [1302.6854]. Given observations $X=+, Z=-$ and a vacuous prior on $A$:
- Compute local messages, e.g., $\mu_{X \to A}(a)=0.8,\ \mu_{X \to A}(\bar a)=0.4$
- Aggregate at $A$ to yield posterior $m_A(a)=0.222,\ m_A(\bar a)=0.778$

All inference is performed via localized computations, without need for the global joint, highlighting the efficiency and modularity of conditional belief representations.

---

Conditional belief functions unify the expressive power of belief function theory with the compositional machinery of graphical models, supporting efficient inference, modular knowledge elicitation, and principled handling of epistemic uncertainty. Their theoretical development, practical propagation algorithms, and emerging workarounds for non-properness and factorization are foundational for applications in expert systems, network reliability, and multi-agent reasoning with partial information [1302.6854][1512.01249][1812.06028][1606.01116][2005.11963][1303.1514][2104.10651][2307.07672][1304.2715][1304.2342][1706.02686][1304.1119].

Source: https://www.emergentmind.com/topics/conditional-belief-function