概率有向图模型（一）

前言

经过前面的复习，我们把李航老师的《统计学习方法》中的监督学习部分回顾了一遍，接下来我们在此基础上，开始学习邱锡鹏老师的《神经网络与深度学习》，其中内容略有拔高，不过好在邱锡鹏老师讲解很细致，阴阳互补，循序渐进。

概率有向图模型

概率有向图模型就是用有向图来表示联合概率分布。概率无向图使用无向图来表示联合概率分布。他们惟一的区别就在于条件概率的计算公式不同。因为概率无向图的条件概率的化简公式使用了马尔可夫性相关关系+贝耶斯公式，而概率有向图中条件概率的化简公式使用了因果关系条件独立性+贝耶斯公式。可以简单理解为在马尔可夫相关性的基础上加上了方向，把条件概率局限在了单方向，比如说：如果$x$与$y$只是相关关系，那么$P(x|y)$与$P(y|x)$都存在，现在限制为因果关系：$x\to y$，$x$为因，$y$为果，所以现在只存在$P(y|x)$。

验证

我们还是直接画个图进行验证。注意概率有向图必须要是有向无环图。

注意为了确保其中每个条件概率都是存在的，我们需要从起点开始，然后逐层的相乘。从图中可以看出：$(A,E)\to (B)\to (D)\to (C)$的层级结构，至于如何看出这样的层次结构我想应该是《图论》中的相关知识吧。
$$\begin{array}{rl}P(A,B,C,D,E)=& P(A)P(E|A)P(B|E,A)P(D|A,E,B)P(C|A,B,D,E)\\ =& P(A)P(E|A)P(B|E,A)P(D|B,E)P(C|B,D)\end{array}$$

在有向概率图模型中我们可以总结出条件概率的化简公式：

• 条件中有相邻原因点集的可以化简到只剩相邻原因点
• 所有起点应该作为联合概率分布分解公式中的一个团来计算，就比如上面的$P(A,E)$

这样的话从结果上来说就是亲父子才会被化为一个团来作为分解中的一个因子。
他跟概率无向图中联合概率的计算公式不同之处在于，概率有向图分解必须严格按照层级，而概率无向图可以不按照顺序。

回到书中

上述规律就跟书中局部马尔可夫性质对应起来了：“每个 随机变量在给定父节点的情况下，条件独立于它的非后代节点”。

隐马尔可夫模型

根据隐马尔可夫模型的定义，我们可以给出以下示例：

其中状态序列为$S_1,S_2,S_3,S_4$，观测序列为$V_1,V_2,V_3,V_4$，从中可以看出这是一个有方向的因果关系概率有向图。首先分析层级图：$(S_1)\to (V_1,S_2)\to (V_2,S_3)\to (V_3,S_4)\to (V_4)$它的联合概率分布为：
$$\begin{array}{rl}P(S_1,\cdots ,S_4,V_1,\cdots ,V_4)=& P(S_1)P(V_1|S_1)P(S_2|S_1,V_1)P(V_2|S_1,V_1,S_2)P(S_3|S_1,V_1,S_2,V_2)P(V_3|S_1,V_1,S_2,V_2,S_3)P(S_4|S_1,V_1,S_2,V_2,S_3,V_3)P(V_4|S_1,V_1,S_2,V_2,S_3,V_3,S_4)\\ =& P(S_1)P(V_1,S_2|S_1)P(V_2,S_3|S_1,V_1,S_2)P(V_3,S_4|S_1,V_1,S_2,V_2,S_3)P(V_4|S_1,V_1,S_2,V_2,S_3,V_3,S_4)\\ =& P(S_1)P(V_1,S_2|S_1)P(V_2,S_3|S_2)P(V_3,S_4|S_3)P(V_4|S_4)\end{array}$$
根据上面分析的父子关系，其实也就是隐马尔可夫模型中说到的后一个状态只依赖于前一个状态，当前观测只依赖与当前状态的另一种等价表达。

这也从另一个角度解开了我心中的疑惑，为什么当时隐马尔可夫模型的联合概率分布的分解要满足那样的要求，其实是从条件独立出发所得来的。孰途同归。

仔细观察上式也是父子团，我们还可以进一步分解为《统计学习方法》中所示的联合概率分布的计算公式。
$$P=P(S_1)P(V_1|S_1)P(S_2|S_1)P(V_2|S_2)P(S_3|S_2)P(V_3|S_3)P(S_4|S_3)P(V_4|S_4)$$
其中$P(S_1)$就是初始状态概率，$P(V_1|S_1)$就是观测概率,$P(S_2|S_1)$就是状态转移概率，又相互印证了。

信念网络

要想分析信念网络我们需要先回顾一下。
借助于隐马尔可夫模型的分析，我们可以发现联合概率分布可以分解为一个个因子团的乘积，而每个因子团的变量其实就是父子变量。比如上面的$P(V_1,S_2|S_1)$我们完全可以使用一个三元函数$f(S_1,V_1,S_2)$来表示，同时为了保持为正数，我们可以取指数函数，$\exp (f(S_1,V_1,S_2))$，换言之，父子团中变量就是函数中的变量。我们现在可以开始分析信念网络了。
书中写道信念网络的父子团条件概率为：
$$P(x_k=1|N_{x_k})=\sigma ({\theta }_0+\sum _{x_i\in N_{x_k}}{\theta }_i{x}_i)$$

我们看到上面是对于$x_k=1$的概率，我们可以套用sigmoid函数的定义，求出$x_k=0$的概率。
$$\begin{array}{rl}P(x_k=0|N_{x_k})=& 1-\sigma ({\theta }_0+\sum _{x_i\in N_{x_k}}{\theta }_i{x}_i)\\ =& 1-\frac{1}{1+\exp (-({\theta }_0+{\sum }_{x_i\in N_{x_k}}{\theta }_i{x}_i))}\\ =& \frac{\exp (-({\theta }_0+{\sum }_{x_i\in N_{x_k}}{\theta }_i{x}_i))}{1+\exp (-({\theta }_0+{\sum }_{x_i\in N_{x_k}}{\theta }_i{x}_i))}\end{array}$$

我们再抽象一下，求$P(x_k|N_{x_k})$：
$$P(x_k|N_{x_k})=\frac{1\ast x_k+\exp (-({\theta }_0+{\sum }_{x_i\in N_{x_k}}{\theta }_i{x}_i))\ast (1-x_k)}{1+\exp (-({\theta }_0+{\sum }_{x_i\in N_{x_k}}{\theta }_i{x}_i))}$$

也就是说，这个条件概率跟$x_k,N_{x_k}$都有关系，也就是跟父子团都有关系，所以他也是是一个概率有向图。我们把这个关系画出来。

回头来分析，其实这个网络并没有具体针对有几个父亲这种因果关系（隐马尔可夫模型说一个人有一个父亲），这个网络的作用是告诉我们可以用所有变量的线性函数来作为$f(x_k,N_{x_k})$，给我们提供了一个示例函数$\exp (f(x_k,N_{x_k}))=\frac{1\ast x_k+\exp (-({\theta }_0+{\sum }_{x_i\in N_{x_k}}{\theta }_i{x}_i))\ast (1-x_k)}{1+\exp (-({\theta }_0+{\sum }_{x_i\in N_{x_k}}{\theta }_i{x}_i))}$。
当然我们也可以不使用他社想的这种，我们可以设想另一种：$\exp (f(x_k,N_{x_k}))=\exp ({\theta }_0{x}_k+b_0+{\sum }_{x_i\in N_{x_k}}{\theta }_i{x}_i)$
当然如果你够狠，你也可以加入核技巧，让里面的$x_k,N_{x_k}$变个形式，$\exp (f(x_k,N_{x_k}))=\exp ({\theta }_0\varphi (x_k)+b_0+{\sum }_{x_i\in N_{x_k}}{\theta }_i\varphi (x_i))$

朴素贝耶斯

万万没想到竟然又回到了朴素贝耶斯，复习路上遇到的第一个拦路虎：贝耶斯估计这里，孰途同归。
朴素贝耶斯模型是基于条件独立性假设的，也就是$P(x_1,x_2,\cdots ,x_n|y)=P(x_1|y)\cdots P(x_n|y)$，书中说也可以看成概率有向图。

总结

上面最后一个朴素贝耶斯又点拨到我了，原来概率有向图的判别方式有三种。第一种是从Gibbs分布的形式出发，满足$P(x_k|N_{x_k})=f(x_k,N_{x_k})$的形式就可以说它的联合概率可以被认为是概率有向图；第二种是从文字表述形式出发，说明变量之间的依赖关系就像是隐马尔可夫模型那样，也是概率有向图；第三种就是从条件概率的条件独立性出发，直接给出条件概率相互独立的公式也是一个概率有向图。
芜湖，邱锡鹏老师真是润物细无声，孰途同归。