条件随机场简介

一篇英文博客的翻译版本，详情请戳原文。
欢迎留言讨论及转载、分享，但请注明出处并附上英文原文链接。

假如你可以得到Justin Bieber日常一天的连续快照，然后你想根据Justin Bieber正在进行的活动（吃饭、睡觉、开车等）对这些照片进行分类，那么你该怎么做呢？

一种方法就是，忽略照片之间的关系，建立并训练一个接收单一照片的分类器。比如说，在对一个月的标记好的连续快照进行学习后，给定一张较黑暗的、在早晨6点拍摄的照片，那么分类器认为这很可能是睡觉的照片；给定一张有着明亮的、五颜六色的灯光的照片，则认为是在舞会；如果照片里有车，则认为是在开车等。

因为忽略了照片之间的关系，所以这种方法丢失了很多重要的信息。比如说，给一张嘴巴特写的照片，那么分类器该怎么判断呢？是在吃饭，还是在唱歌？此时，如果你知道在前一张照片中Justin Bieber在做饭，那么当前这一张很可能就是在吃饭；如果前一张是在跳舞，那么当前很可能是在唱歌。

因此，为了提高分类器的准确率，我们应该综合利用附近照片的标签信息。利用条件随机场，我们就可以做到这些。

词性标注

接下来利用词性标注中的例子，来探讨一些更加深入的细节。

在词性标注中，根本目标是对一个句子（更准确的是对句子分词后的元素）进行贴标签操作。标签包括：形容词，名词，介词，动词，副词，冠词等。

举例来说，给定一个句子“Bob drank coffee at Starbucks”，那么词性标注后的结果为：“Bob(n,名词) drank(v,动词) coffee(n,名词) at(prep,介词) Starbucks(n,名词)”。

注：在对中文进行词性标注时，应该先进行分词。这也是为什么上文说是对“分词后的元素”进行贴标签，因为中文中最小的语义单位是词而不是字。——译者注

所以，我们可以建立一个条件随机场来对句子进行词性标注。与其他任何分类器一样，首先我们需要建立一个特征函数$f_i$的集合。

CRF中的特征函数

在CRF中，每一个特征函数都接收如下形式的参数作为输入：

• 句子$s$
• 某个词在句子中的位置$i$
• 当前词的标签$l_i$
• 前一个词的标签$l_{i-1}$

输出是为0或者1。

注：通过限制特征函数仅与当前字和前一个字的标签有关，而不是和句子中的任一标签有关，我们实际上得到的线性链条件随机场的一种特殊情形。为简单起见，将不对一般的CRF进行展开说明。

例如，一个可能的特征函数可以衡量在给定前一个词是“very”时，我们多大程度上认为当前词应该标为形容词。

由特征到概率

下一步，给每一个特征函数$f_i$赋一个权重${\lambda }_i$（下面会讲如何从数据中学习得到这些权重）。给定一个句子$s$，通过对所有加权的特征函数求和，我们可以得到当给$s$贴上某个标签序列$l$时的分值：
$$score(l|s)=\sum _{j=1}^m\sum _{i=1}^n{\lambda }_j{f}_j(s,i,l_i,l_{i-1})$$

其中，$m$是特征函数的个数，$n$是句子中词的个数。

最后，通过求幂和归一化的操作，我们可以把所有的评分转化为概率$p(l|s)$：
$$p(l|s)=\frac{exp[score(l|s)]}{{\sum }_{l’}exp[score(l’|s)]}=\frac{exp[{\sum }_{j=1}^m{\sum }_{i=1}^n{\lambda }_j{f}_j(s,i,l_i,l_{i-1})]}{{\sum }_{l^{’}}exp[{\sum }_{j=1}^m{\sum }_{i=1}^n{\lambda }_j{f}_j(s,i,l{’}_i,l{’}_{i-1})]}$$

分母中对$l^{\prime }$求和表示考虑对句子$s$所有可能的标注。

特征函数举例

在理解特征函数时，我陷入了一个误区，以为是“特征的函数”，而其实是“抽取特征的函数”，即“特征”应该是函数的因变量而不是自变量。——译者注

具体的特征函数长什么样子呢？词性标注中的一些例子如下：

• 如果$l_i$=副词且第$i$个词以“-ly”结尾，则$f_1(s,i,l_i,l_{i-1})=1$；否则该函数为0。此时如果该函数的权重${\lambda }_1$为正数且很大，那么这个特征说明我们倾向于认为将以“-ly”结尾的词标为副词。
• 如果$i$=1，$l_i$=动词且句子以问号结尾，则$f_2(s,i,l_i,l_{i-1})=1$；否则该函数为0。此时如果该函数的权重${\lambda }_2$为正数且很大，那么这个特征说明我们倾向于认为动词开头的句子通常是疑问句。
• 如果$l_i$=名词且$l_{i-1}$=形容词，则$f_3(s,i,l_i,l_{i-1})=1$；否则该函数为0。同样的，较大的正数权重意味着我们倾向于认为形容词后面跟着名词。
• 如果$l_i$=介词且$l_{i-1}$=介词，则$f_4(s,i,l_i,l_{i-1})=1$；否则该函数为0。此时，绝对值较大的负数权重说明我们倾向于认为不可能出现两个介词连用的情况。

这就是特征函数了！总结一下：要建立一个条件随机场，你只需要定义一组特征函数（这些函数依赖句子$s$，当前词在句子中的位置以及附近词的标签），然后对这些函数赋权，再将它们相加求和，最后转化成概率形式。

现在，让我们回过头来比较一下条件随机场和其他的一些常见的机器学习技术。

我认为作者举得这几个例子并不是十分恰当。例如对$f_2$而言，“句子以问号结尾”这一现象通过四个输入的参数怎么表达呢？显然$i$，$l_i$和$l_{i-1}$是无法表达的，那么只能理解为$s$表达了这层意思。有人可能认为，$s$代表的是整个句子，当然含有“句子以问号结尾的信息”。但是按照这个逻辑，那么只需要一个输入$s$就可以了，它显然能表示其他三个参数的信息。 所以，作者的例子并不止于线性链条件随机场。整个特征函数的输入可以理解为一种“现象”，当函数的权重越大时，则认为这种现象出现的可能性越大，也即这种现象越合理。 ——译者注

逻辑回归与CRF

对于上面的$p(l|s)$有的读者可能感觉很熟悉，可以去这里看看。

很像对吧？这是因为CRF实际上就是逻辑回归的序列化后的形式：逻辑回归是一种用于分类的对数线性模型，而CRF是一个给序列进行标注的对数线性模型。

其实并不是很理解，有待后续学习。——译者注

隐马尔科夫模型

HMMs是另一类词性标注（序列标注）模型。与CRF将任意特征函数进行组合求标注评分的方式不同，HMM利用了一种生成方式来贴标签。作如下定义：
$$p(l,s)=p(l_0)\prod _{i}p(l_i|l_{i-1})p(w_i|l_i)$$
这里，

• $p(l_i|l_{i-1})$为转移概率（由词性$l_{i-1}$转移到$l_i$的概率）
• $p(w_i|l_i)$为输出概率（由词性$l_i$输出词$w_i$的概率）

关于HMM以及CRF，可以参考吴军博士的《数学之美》（第二版）一书，非常详细且易于理解。——译者注

那么HMM与CRF相比如何呢？结论是CRF更加强大——它可以完成HMM能完成的工作，并且可以解决HMM无法解决的问题。

对上面的$p(l,s)$的HMM概率取对数，可以得到$$\log p(l,s)=\log p(l_0)+\sum _i\log p(l_i|l_{i-1})+\sum _i\log p(w_i|l_i)$$

把这个式子与上文的$score(l|s)$比较，注意到$f_j$的取值非0即1。若将上式中的每一个$log$项看成是一个特征函数的权重（即一共有$2n+1$个特征函数，$m=2n+1$），那么$score(l|s)$与$\log p(l,s)$就统一起来了。

具体操作如下：

• 对于HMM中的每一个转移概率$p(l_i=y|l_{i-1}=x)$，定义一类CRF的转移特征函数满足：$f_{x,y}(s,i,l_i,l_{i-1})=1$如果$l_i=y$且$l_{i-1}=x$。给每个函数赋权重${\lambda }_{x,y}=\log p(l_i=y|l_{i-1}=x)$。
• 对于HMM中的每一个生成概率$p(w_i=z|l_i=x)$，定义一类CRF的状态特征函数满足：$g_{x,y}(s,i,l_i,l_{i-1})=1$如果$w_i=z$且$l_i=x$。给每个函数赋权重${\lambda }_{x,z}=\log p(w_i=z|l_i=x)$。

这样，利用这些特征函数的CRF所计算的$p(l|s)$与根据相关的HMM计算得到的分值成正比，也就是说，每一个HMM都可以对应到某一个CRF。

另一方面，CRF可以标注更加丰富的标签分布集，主要由于以下两个原因：

• CRFs可以定义更加庞大的特征集合。HMMs模型实质上刻画的是局部特征（因为它限定为二元的转移特征函数与输出特征函数，并且假设每个单词只依赖于当前标签，每个标签只依赖于前一个标签），而CRFs可以利用全局特征。上面给出的特征函数$f_2$就是一个利用全局信息的例子，这利用HMMs是无法做到的。
• CRFs可以有任意的权重。HMMs的权重必须满足某些限制（$0\le p(w_i|l_i)\le 1$，${\sum }_{w}p(w_i=w|l_1)=1$），然而CRFs的权重却是没有限制的。

权重的学习

让我们回到如何学习模型权重的问题上。毫无疑问，我们可以利用梯度下降的方法。

假设我们有一系列训练集（句子和对应的词性标注）。首先初始化模型的参数，然后对每一个样本，我们按照如下的方法更新权重：

• 遍历每一个特征函数$f_i$，计算训练样本的概率对数对权重${\lambda }_i$的梯度：$\frac{\partial }{\partial {\lambda }_j}\log p(l|s)={\sum }_{j=1}^m{f}_i(s,j,l_j,l_{j-1})-{\sum }_{l’}p(l’|s){\sum }_{j=1}^m{f}_i(s,j,l{’}_j,l{’}_{j-1})$
• 在上面的梯度中，第一项是在真实标签下特征$f_i$的贡献量，第二项是在当前模型中特征$f_i$的预期贡献量。这正是你期望梯度增加所采取的形式。
• 在梯度的反方向上移动${\lambda }_i$：${\lambda }_i={\lambda }_i-\alpha \ast \left[{\sum }_{j=1}^m{f}_i(s,j,l_j,l_{j-1})-{\sum }_{l’}p(l’|s){\sum }_{j=1}^m{f}_i(s,j,l{’}_j,l{’}_{j-1})\right]$，$\alpha$为学习率。
• 重复上面的步骤直至满足设定的停止条件。

也就是，每一步训练都得到我们想要的模型和当前状态之间的差异，然后在减小这种差异的方向上移动权重。

寻找最优的标注

假定我们已经训练好了一个CRF模型，现在要对一个新的句子进行标注，该怎么做呢？

一个单纯的想法是，对于每一个标注方法$l$计算$p(l|s)$，然后选择使$p(l|s)$达到最大的那种标注方法。然而，对于一个含有$n$个词的句子，若标签共有$k$种，则一共存在$k^n$中可能的标记，这种方法必须进行指数级的标签计算。

注意到，线性链条件随机场满足最优的子结构性质，因此可以利用动态规划的算法来寻找最优解，正如利用维特比算法求HMMs模型的最优解一样。

一个更加有趣的应用

好了，词性标注可能有些无聊，如今已经有大量的词性标注工具了。那在生活中何时会用到CRF呢？

假如你想根据Twitter上的文本挖掘一下人们都收到了怎样的圣诞礼物：

What people on Twitter wanted for Christmas, and what they got: twitter.com/edchedch/statu…

你怎样区分那个词指代的是礼物呢？

在为上述任务收集到的数据中，我简单地查找具有“I want XXX for Christmas”或者 “I got XXX for Christmas”等形式的句子来提取礼物的内容。然而，一种更加复杂的CRF变体能够将GIFT作为一种“类词性”标签（甚至你可以增加“GIFT_GIVER”和“GIFT_RECEIVER”等类词性标签来得到“谁从谁处得到礼物”等更具体的信息）进而将此转化为一个词性标注问题。