在贝叶斯网络中举例证明两个变量是否独立

小辣机学数学系列

---

在可信的贝叶斯网络中，一个节点的马尔可夫毯包括它的父节点、子节点和子节点的父节点。

例子：$A$和$B$是否关于$F$独立?

$$\begin{array}{rl}P(A,B|F)& =\sum _E\sum _{C}P(A,B,C,E|F)\\ & =\sum _E\sum _{C}P(A)\cdot P(E|A,F)\cdot P(B|F)\cdot P(C|E)\\ & =P(A)\cdot P(B|F)\sum _E\sum _C\left[P(E|A,F)\cdot P(C|E)\right]\\ & =P(A)\cdot P(B|F)\sum _E\left[P(E|A,F)\sum _{C}P(C|E)\right]\\ & =P(A)\cdot P(B|F)\sum _E\left[P(E|A,F)\right]\\ & =P(A)\cdot P(B|F)\\ & =P(A|F)\cdot P(B|F)\end{array}$$

所以$A$和$B$关于条件$F$独立。

定理：

1. 给定变量X的父节点，则X独立于非X后代的所有节点
2. 给定变量X的马尔科夫毯，则X独立于其它变量