隐马尔科夫模型HMM（三）鲍姆-韦尔奇算法求解HMM参数

HMM模型参数求解概述

HMM模型参数求解根据已知的条件可以分为两种情况。

第一种情况较为简单，就是我们已知D个长度为T的观测序列和对应的隐藏状态序列，即 { ( O 1 , I 1 ) , ( O 2 , I 2 ) , . . . ( O D , I D ) } \{(O_1, I_1), (O_2, I_2), ...(O_D, I_D)\} {(O1​,I1​),(O2​,I2​),...(OD​,ID​)}是已知的，此时我们可以很容易的用最大似然来求解模型参数。

假设样本从隐藏状态qi转移到qj的频率计数是Aij,那么状态转移矩阵求得为：
$$A=\left[a_{ij}\right],其中a_{ij}=\frac{A_{ij}}{\sum _{s=1}^N{A}_{is}}$$　　　
假设样本隐藏状态为qj且观测状态为vk的频率计数是Bjk,那么观测状态概率矩阵为：
$$B=[b_j(k)],其中b_j(k)=\frac{B_{jk}}{\sum _{s=1}^M{B}_{js}}$$
　　　　假设所有样本中初始隐藏状态为qi的频率计数为C(i),那么初始概率分布为：
$$\Pi =\pi (i)=\frac{C(i)}{\sum _{s=1}^{N}C(s)}$$
可见第一种情况下求解模型还是很简单的。但是在很多时候，我们无法得到HMM样本观察序列对应的隐藏序列，只有D个长度为T的观测序列，即 { ( O 1 ) , ( O 2 ) , . . . ( O D ) } \{(O_1), (O_2), ...(O_D)\} {(O1​),(O2​),...(OD​)}是已知的，此时我们能不能求出合适的HMM模型参数呢？这就是我们的第二种情况，也是我们本文要讨论的重点。它的解法最常用的是鲍姆-韦尔奇算法，其实就是基于EM算法的求解，只不过鲍姆-韦尔奇算法出现的时代，EM算法还没有被抽象出来，所以我们本文还是说鲍姆-韦尔奇算法。

鲍姆-韦尔奇算法的推导

我们的训练数据为 { ( O 1 , I 1 ) , ( O 2 , I 2 ) , . . . ( O D , I D ) } \{(O_1, I_1), (O_2, I_2), ...(O_D, I_D)\} {(O1​,I1​),(O2​,I2​),...(OD​,ID​)}，其中任意一个观测序列 O d = { o 1 ( d ) , o 2 ( d ) , . . . o T ( d ) } O_d = \{o_1^{(d)}, o_2^{(d)}, ... o_T^{(d)}\} Od​={o1(d)​,o2(d)​,...oT(d)​},其对应的未知的隐藏状态序列表示为： I d = { i 1 ( d ) , i 2 ( d ) , . . . i T ( d ) } I_d = \{i_1^{(d)}, i_2^{(d)}, ... i_T^{(d)}\} Id​={i1(d)​,i2(d)​,...iT(d)​}
　　　　首先看鲍姆-韦尔奇算法的E步，我们需要先计算联合分布P(O,I|λ)的表达式如下：
　　　　$$P(O,I|\lambda )=\prod _{d=1}^D{\pi }_{i_1^{(d)}}{b}_{i_1^{(d)}}(o_1^{(d)})a_{i_1^{(d)}{i}_2^{(d)}}{b}_{i_2^{(d)}}(o_2^{(d)})...a_{i_{T-1}^{(d)}{i}_T^{(d)}}{b}_{i_T^{(d)}}(o_T^{(d)})$$
　　　　我们的E步得到的期望表达式为：
$$L(\lambda ,\overline{\lambda })=\sum _{I}P(I|O,\overline{\lambda })logP(O,I|\lambda )$$
　　　　在M步我们要极大化上式。由于$P(I|O,\overline{\lambda })=P(I,O|\overline{\lambda })/P(O|\overline{\lambda })$,而$P(O|\overline{\lambda })$是常数，因此我们要极大化的式子等价于：
$$\overline{\lambda }=arg\underset{\lambda }{\max }\sum _{I}P(O,I|\overline{\lambda })logP(O,I|\lambda )$$
　　　　我们将上面P(O,I|λ)的表达式带入我们的极大化式子，得到的表达式如下：
$$\overline{\lambda }=arg\underset{\lambda }{\max }\sum _{d=1}^D\sum _{I}P(O,I|\overline{\lambda })(log{\pi }_{i_1}+\sum _{t=1}^{T-1}log{a}_{i_t,i_{t+1}}+\sum _{t=1}^T{b}_{i_t}(o_t))$$
　　　　我们的隐藏模型参数λ=(A,B,Π),因此下面我们只需要对上式分别对A,B,Π求导即可得到我们更新的模型参数$\overline{\lambda }$　
　　　　首先我们看看对模型参数Π的求导。由于Π只在上式中括号里的第一部分出现，因此我们对于Π的极大化式子为：
$$\overline{{\pi }_i}=arg\underset{{\pi }_{i_1}}{\max }\sum _{d=1}^D\sum _{I}P(O,I|\overline{\lambda })log{\pi }_{i_1}=arg\underset{{\pi }_i}{\max }\sum _{d=1}^D\sum _{i=1}^{N}P(O,i_1^{(d)}=i|\overline{\lambda })log{\pi }_i$$
　　　　由于πi还满足$\sum _{i=1}^N{\pi }_i=1$，因此根据拉格朗日子乘法，我们得到πi要极大化的拉格朗日函数为：
$$arg\underset{{\pi }_i}{\max }\sum _{d=1}^D\sum _{i=1}^{N}P(O,i_1^{(d)}=i|\overline{\lambda })log{\pi }_i+\gamma (\sum _{i=1}^N{\pi }_i-1)$$
　　　　其中，γ为拉格朗日系数。上式对πi求偏导数并令结果为0， 我们得到：
$$\sum _{d=1}^{D}P(O,i_1^{(d)}=i|\overline{\lambda })+\gamma {\pi }_i=0$$
　　　　令i分别等于从1到N，从上式可以得到N个式子，对这N个式子求和可得：
$$\sum _{d=1}^{D}P(O|\overline{\lambda })+\gamma =0$$
　从上两式消去γ,得到πi的表达式为：
$${\pi }_i=\frac{\sum _{d=1}^{D}P(O,i_1^{(d)}=i|\overline{\lambda })}{\sum _{d=1}^{D}P(O|\overline{\lambda })}=\frac{\sum _{d=1}^{D}P(O,i_1^{(d)}=i|\overline{\lambda })}{DP(O|\overline{\lambda })}=\frac{\sum _{d=1}^{D}P(i_1^{(d)}=i|O,\overline{\lambda })}{D}=\frac{\sum _{d=1}^{D}P(i_1^{(d)}=i|O^{(d)},\overline{\lambda })}{D}$$
　　　　利用我们在隐马尔科夫模型HMM（二）前向后向算法评估观察序列概率里第二节中前向概率的定义可得：
$$P(i_1^{(d)}=i|O^{(d)},\overline{\lambda })={\gamma }_1^{(d)}(i)$$
　　　　因此最终我们在M步πi的迭代公式为：
　　　　$${\pi }_i=\frac{\sum _{d=1}^D{\gamma }_1^{(d)}(i)}{D}$$

现在我们来看看A的迭代公式求法。方法和Π的类似。由于A只在最大化函数式中括号里的第二部分出现，而这部分式子可以整理为：
$$\sum _{d=1}^D\sum _I\sum _{t=1}^{T-1}P(O,I|\overline{\lambda })log{a}_{i_t,i_{t+1}}=\sum _{d=1}^D\sum _{i=1}^N\sum _{j=1}^N\sum _{t=1}^{T-1}P(O,i_t^{(d)}=i,i_{t+1}^{(d)}=j|\overline{\lambda })log{a}_{ij}$$
利用隐马尔科夫模型HMM（二）前向后向算法评估观察序列概率里第二节中前向概率的定义和第五节ξt(i,j)的定义可得们在M步aij的迭代公式为：
$$a_{ij}=\frac{\sum _{d=1}^D\sum _{t=1}^{T-1}{\xi }_t^{(d)}(i,j)}{\sum _{d=1}^D\sum _{t=1}^{T-1}{\gamma }_t^{(d)}(i)}$$
现在我们来看看B的迭代公式求法。方法和Π的类似。由于B只在最大化函数式中括号里的第三部分出现，而这部分式子可以整理为：
$$\sum _{d=1}^D\sum _I\sum _{t=1}^{T}P(O,I|\overline{\lambda })log{b}_{i_t}(o_t)=\sum _{d=1}^D\sum _{j=1}^N\sum _{t=1}^{T}P(O,i_t^{(d)}=j|\overline{\lambda })log{b}_j(o_t)$$
　　　　由于bj(ot)还满足$\sum _{k=1}^M{b}_j(o_t=v_k)=1$。和求解πi类似，我们可以用拉格朗日子乘法并对$b_j(k)$求导，并令结果为0，得到$b_j(k)$的迭代表达式为：
$$b_j(k)=\frac{\sum _{d=1}^D\sum _{t=1}^{T}P(O,i_t^{(d)}=j|\overline{\lambda })I(o_t^{(d)}=v_k)}{\sum _{d=1}^D\sum _{t=1}^{T}P(O,i_t^{(d)}=j|\overline{\lambda })}$$
　　　　其中$I(o_t^{(d)}=v_k)$当且仅当$o_t^{(d)}=v_k$时为1，否则为0. 利用隐马尔科夫模型HMM（二）前向后向算法评估观察序列概率里第二节中前向概率的定义可得$b_j(o_t)$的最终表达式为：
$$b_j(k)=\frac{\sum _{d=1}^D\sum _{t=1,o_t^{(d)}=v_k}^T{\gamma }_t^{(d)}(j)}{\sum _{d=1}^D\sum _{t=1}^T{\gamma }_t^{(d)}(j)}$$
有了${\pi }_i,a_{ij},b_j(k)$的迭代公式，我们就可以迭代求解HMM模型参数了

鲍姆-韦尔奇算法流程总结

这里我们概括总结下鲍姆-韦尔奇算法的流程。

输入： D个观测序列样本 { ( O 1 ) , ( O 2 ) , . . . ( O D ) } \{(O_1), (O_2), ...(O_D)\} {(O1​),(O2​),...(OD​)}
　　　　输出：HMM模型参数

1)随机初始化所有的${\pi }_i,a_{ij},b_j(k)$
　　　　2) 对于每个样本d=1,2,…D，用前向后向算法计算${\gamma }_t^{(d)}(i)，{\xi }_t^{(d)}(i,j),t=1,2...T$
　　　　3) 更新模型参数：

$${\pi }_i=\frac{\sum _{d=1}^D{\gamma }_1^{(d)}(i)}{D}$$
$$a_{ij}=\frac{\sum _{d=1}^D\sum _{t=1}^{T-1}{\xi }_t^{(d)}(i,j)}{\sum _{d=1}^D\sum _{t=1}^{T-1}{\gamma }_t^{(d)}(i)}$$
$$b_j(k)=\frac{\sum _{d=1}^D\sum _{t=1,o_t^{(d)}=v_k}^T{\gamma }_t^{(d)}(j)}{\sum _{d=1}^D\sum _{t=1}^T{\gamma }_t^{(d)}(j)}$$
　　　　4) 如果${\pi }_i,a_{ij},b_j(k)$的值已经收敛，则算法结束，否则回到第2）步继续迭代。

以上就是鲍姆-韦尔奇算法的整个过程。