Paths and Properties

Effective Paths

It is possible for some combinations of chance or decision states to be unrealizable. We refer to such subpaths as ineffective. For example, the above tree represents the generation of paths where subpaths $๐_{\{1,2\}}^โฒ=\{(2,2)\}$, $๐_{\{1,2,3\}}^โฒ=\{(1,1,2), (1,2,1)\}$ are ineffective.

Formally, the path $๐ฌ$ is ineffective if and only if $๐ฌ_Aโ๐_A^โฒ$ given ineffective subpaths $๐_A^โฒโ๐_A$ for nodes $AโCโชD.$ Then, effective paths is a subset of all paths without ineffective paths

$$$๐^โ=\{๐ฌโ๐โฃ๐ฌ_{A}โ๐_{A}^โฒ\}โ๐.$$$

The Decision Model size depends on the number of effective paths, rather than the number of paths or size of the influence diagram directly. If effective paths is empty, the influence diagram has no solutions.

Active Paths

If the upper bound of path probability is zero, its probability is zero, and it does not affect the solution. Therefore, we can only consider paths with a positive upper bound of path probability. We refer to these paths as active paths. Formally, we define an active path as a path $๐ฌ$ if all of its chance states are active

\begin{aligned} X(๐ฌ)&โ(p(๐ฌ)>0)\\ &โ โ_{jโC} (โ(X_j=๐ฌ_jโฃX_{I(j)}=๐ฌ_{I(j)})>0). \end{aligned}

Otherwise, it is an inactive path. We denote the set of active paths as

$$$๐(X)=\{๐ฌโ๐ โฃ X(๐ฌ)\}.$$$

The number of active paths is

$$$|๐(X)|โค|๐|.$$$

Effective paths are related to active paths, such that, for all $jโC,$ we have ineffective subpaths

$$$๐_{I(j)โชj}^โฒ=\{๐ฌ_{I(j)โชj}โ๐_{I(j)โชj} โฃ โ(X_j=๐ฌ_jโฃX_{I(j)}=๐ฌ_{I(j)})=0\}.$$$

Generally, we have

$$$๐^โ โ ๐(X).$$$

If there are no other ineffective subpaths, we have

$$$๐^โ = ๐(X).$$$

Compatible Paths

Each decision strategy $Zโโค$ chooses a set of paths from all paths, referred to as compatible paths. Formally, we denote the set of compatible paths as

$$$๐(Z)=\{๐ฌโ๐ โฃ Z(๐ฌ)\}.$$$

Since each local decision strategy $Z_jโZ$ can choose only one of its states, the number of compatible paths is

$$$|๐(Z)|=|๐|/|๐_D|=|๐_C|.$$$

The compatible paths of all distinct pairs of decision strategies are disjoint. Formally, for all $Z,Z^โฒโโค$ where $Zโ Z^โฒ$, we have $Z(๐ฌ)โงZ^โฒ(๐ฌ)โโฅ,$ which gives as

$$$๐(Z)โฉ๐(Z^โฒ)=\{๐ฌโ๐โฃZ(๐ฌ)โงZ^โฒ(๐ฌ)\}=โ .$$$

Symmetry

We define the set of active and compatible paths as

$$$๐(X)โฉ๐(Z)=\{๐ฌโ๐โฃX(๐ฌ)โงZ(๐ฌ)\}.$$$

An influence diagram is symmetric if the number of active and compatible paths is a constant. Formally, if for all $Z,Z^โฒโโค,$ where $Zโ Z^โฒ,$ we have

$$$|๐(X)โฉ๐(Z)|=|๐(X)โฉ๐(Z^โฒ)|.$$$

For example, if all paths are active $X(๐ฌ)โโค,$ we have $|๐(X)โฉ๐(Z)|=|๐(Z)|,$ which is a constant. Otherwise, the influence diagram is asymmetric. The figures below demonstrate symmetric and asymmetric influence diagrams.

Example 1

Consider the influence diagram with two nodes. The first is a decision node with two states, and the second is a chance node with three states.

Example 2

If there are no inactive chance states, all paths are possible. That is, for all $sโS,$ we have $p(s)>0.$ In this case, the influence diagram is symmetric.

However, if there are inactive chance states, such as $โ(s_2=2โฃs_1=2)=0$, we can remove $(2,2)$ from the paths, visualized by a dashed shape. Therefore, there is a varying number of possible paths depending on whether the decision-maker chooses state $s_1=1$ or $s_1=2$ in the first node, and the influence diagram is asymmetric.

Example 3

Let us add one chance node with two states to the influence diagram.

Now, given inactive chance states such that we remove the dashed paths, we have a symmetric influence diagram. Both decisions will have an equal number of possible paths. However, there are only eight possible paths instead of twelve if there were no inactive chance states.

Other Properties

In this section, we define more properties for influence diagrams.

Discrete influence diagram refers to countable state space. Otherwise, the influence diagram is continuous. We can discretize continuous influence diagrams using discrete bins.

Two nodes are sequential if there exists a directed path from one node to the other in the influence diagram. Otherwise, the nodes are parallel. Sequential nodes often model time dimension.

Repeated subdiagram refers to a recurring pattern within an influence diagram. Often, influence diagrams do not have a unique structure, but they consist of a repeated pattern due to the underlying problem's properties.

Limited-memory influence diagram refers to an influence diagram where an upper bound limits the size of the information set for decision nodes. That is, $I(j)โคm$ for all $jโD$ where the limit $m$ is less than $|CโชD|.$ Smaller limits of $m$ are desirable because they reduce the decision model size, as discussed in the Computational Complexity page.

Isolated subdiagrams refer to an influence diagram that consists of multiple unconnected diagrams. That is, there are no undirected connections between the diagrams. Therefore, one isolated subdiagram's decisions affect decisions on the other isolated subdiagrams only through the utility function.

Chance or decision node is redundant if it is a leaf node and not in any value node's information set. Formally, if $jโCโชD$ is a leaf node and there does not exist a value node $iโV$ such that $jโI(i).$