条件随机场(Conditional Random Field,CRF)是一个比较重要的概率模型,在详细介绍CRF之前,首先简单介绍一下概率图(Probabilistic Graphical Model,PGM),有时候简称图模型(Graphical Model, GM).
概率图模型用图的形式表示一组随机变量。图中的节点表示一个或一组随机变量,图中的边代表随机变量间的依赖关系。
概率图模型分为有向图模型和无向图模型,如下:
下面将依次介绍
有向图模型
有向图模型中,我们主要考虑贝叶斯网络,它满足下面特征的模型:
对于一个无向图G以及它表示的一组随机变量X=x1,x2,...,xN,xi的所有父节点组成的集合我们记作Xπi,如果X的联合概率分布可以表示为:
p(X)=i=1∏Np(xixπi)
那么G被称为一个贝叶斯网络
常见的贝叶斯网络有:sigmoid信念网络(SBN),朴素贝叶斯模型,以及上篇的隐马尔科夫模型。
模型的局部条件概率表示为:
p(xkXπk,W)=σ(w0+xi∈Xπk∑wixi)
模型的局部条件表示为:
P(xkXπk)=P(Xπk)P(Xπkxk)P(xk)
∝P(Xπkxk)P(xk)
=P(xk)xi∈Xπk∏P(xixk)
上一篇详细介绍了此模型,它的联合分布概率表示为:
P(Q,V)=qt∈Q,vt∈V∏P(vtvt1)P(qtvt)
其中P(vtvt1)是转移概率,P(qtvt)为输出概率。
对于无向图模型,我们主要考虑马尔科夫随机场(Markov Random Field,MRF),也称为马尔科夫网络(Markov Network).
无向图G,图中的节点表示随机变量,边表示随机变量间的依赖关系。如果图中随机变量的联合概率分布P(X)满足成对、局部或全局马尔可夫性,则G被称为马尔科夫随机场
那么我们分别来解释下成对、局部、全局马尔科夫性分别是什么性质。
成对马尔科夫性
无向图中的任意不直接相连的两个节点xi,xj,以及除它们之外的所有节点组成的集合,记作XO.
如果给定XO的情况下,xi,xj条件独立,则称无向图满足成对马尔科夫性质,即:
P(xi,xjXO)=P(xiXO)P(xjXO)
无向图中的任意一个节点xk, 与之直接向量的节点组成的集合,记作XN(k),xk之外的所以其他节点组成的集合,记作Xk.
如果:
P(xkXN(k))=P(xkXk)
则称无向图满足局部马尔科夫性。
无向图中不直接相邻节点集合XA,XB,已经连接他们的节点组成的集合XC。
如果:
P(XA,XBXC)=P(XAXC)P(XBXC)
则称无向图满足全局马尔科夫性。
有向图中联合概率分布可以分解为局部条件概率的乘积形式,无向图中的联合概率分布如果计算呢?
无向图中的边不表示因果依赖关系,所以不能运用链式法则分解为条件概率的乘积形式。在介绍无向图联合概率分解方法之前,先引入团的概念。
无向图中的全联通子图,有称为团,如果一个团加入任何一个节点后不能构成团,则称之为最大团
无向图满足成对、局部或全局马尔科夫性,当且仅当联合分布概率可以表示一系列定义在最大团上的非负函数的乘积形式,即:
P(X)=Z1Xc∈C∏(Xc)
其中,
Z=Xc∈C∑(Xc)
称为配平函数(partition function),(Xc)≥0称为势能函数,Xc为一个最大团,C为最大团组成的集合。
由于势能函数必须是非负的,所以经常采用势能函数:
(Xc)=exp(E(Xc))
其中E(Xc)被称为能量函数。如此,联合概率分布可表示为:
P(X)=Z1Xc∈C∏(Xc)
=Z1Xc∈C∏exp(E(Xc))
=Z1exp(Xc∈C∑E(XC))
条件随机场就是常见的无向图模型之一,另外常见的无向图模型还有对数线性模型、玻尔兹曼机和受限玻尔兹曼机。介绍条件随机场之前,先简单介绍一下对数线性模型,玻尔兹曼机与受限玻尔兹曼机在之前的文章里已有介绍,不再赘述。
势能函数采用:
c(Xcθc)=exp(θcTfc(Xc))
所以联合分布概率表示为:
P(Xθ)=z(θ)1Xc∈C∏exp(θCTfc(Xc))
log(P(Xθ))=log(Xc∈C∏exp(θcTfc(Xc)