自然语言处理常用模型方法总结

本文格式为Word版，下载可任意编辑——自然语言处理常用模型方法总结

N元模型、马尔可夫模型以及隐马尔可夫模型、最大熵模型、支持向量机、条件随机场

自然语言处理常用模型使用方法总结

一、N元模型

思想：

假使用变量W代表一个文本中顺序排列的n个词，即W=W1W2…Wn，则统计语言模型的任务是给出任意词序列W在文本中出现的概率P(W)。利用概率的乘积公式，P(W)可展开为：P(W)=P(w1)P(w2|w1)P(w3|w1w2)…P(wn|w1w2…wn-1)，不难看出，为了预计词Wn的出现概率，必需已知它前面所有词的出现概率。从计算上来看，这太繁杂了。假使任意一个词Wi的出现概率只同它前面的N-1个词有关，问题就可以得到很大的简化。这时的语言模型叫做N元模型(N-gram)，即P(W)=P(w1)P(w2|w1)P(w3|w1w2)…P(wi|wi-N+1…wi-1)…实际使用的寻常是N=2或N=3的二元模型(bi-gram)或三元模型(tri-gram)。以三元模型为例，近似认为任意词Wi的出现概率只同它紧接的前面的两个词有关。重要的是这些概率参数都是可以通过大规模语料库来估值的。譬如三元概率有P(wi|wi-2wi-1)≈count(wi-2wi-1…wi)/count(wi-2wi-1)式中count(…)表示一个特定词序列在整个语料库中出现的累计次数。统计语言模型有点像天气预报的方法。用来估计概率参数的大规模语料库好比是一个地区历年积累起来的气象纪录，而用三元模型来做天气预报，就像是根据前两天的天气状况来预计今天的天气。天气预报当然不可能百分之百正确。这也算是概率统计方法的一个特点吧。(摘自黄昌宁论文《中文信息处理的主流技术是什么?》)

条件:

该模型基于这样一种假设，第n个词的出现只与前面N-1个词相关，而与其它任何词都不相关，整句的概率就是各个词出现概率的乘积。这些概率可以通过直接从语料中统计N个词同时出现的次数得到。常用的是二元的Bi-Gram和三元的Tri-Gram。

问题：

虽然我们知道元模型中,n越大约束力越强,但由于计算机容量和速度的限制及数据的稀疏,很难进行大n的统计。

N元模型、马尔可夫模型以及隐马尔可夫模型、最大熵模型、支持向量机、条件随机场

二、马尔可夫模型以及隐马尔可夫模型

思想：

马尔可夫模型实际上是个有限状态机，两两状态间有转移概率；隐马尔可夫模型中状态不可见，我们只能看到输出序列，也就是每次状态转移会抛出个观测值；当我们观测到观测序列后，要找到最正确的状态序列。隐马尔科夫模型是一种用参数表示的用于描述随机过程统计特性的概率模型，是一个双重随机过程，由两个部分组成：马尔科夫链和一般随机过程。其中马尔科夫链用来描述状态的转移，用转移概率描述。一般随机过程用来描述状态与观测序列之间的关系，用观测值概率描述。因此，隐马尔可夫模型可以看成是能够随机进行状态转移并输出符号的有限状态自动机，它通过定义观测序列和状态序列的联合概率对随机生成过程进行建模。每一个观测序列可以看成是由一个状态转移序列生成，状态转移过程是依据初始状态概率分布随机选择一个初始状态开始，输出一个观测值后再根据状态转移概率矩阵随机转移到下一状态，直到到达某一预先指定的终止状态为止，在每一个状态将根据输出概率矩阵随机输出一个观测序列的元素。

一个HMM有5个组成部分，寻常记为一个五元组{S,K,π,A,B}，有时简写为一个三元组{π,A,B}，其中：①S是模型的状态集，模型共有N个状态，记为S={s1,s2,,sN}；②K是模型中状态输出符号的集合，符号数为M，符号集记为K={k1,k2,,kM}；③是初始状态概率分布，记为={1,2,,N}，其中i是状态Si作为初始状态的概率；④A是状态转移概率矩阵，记为A={aij},1≤i≤N,1≤j≤N。其中aij是从状态Si转移到状态Sj的概率；⑤B是符号输出概率矩阵，记为B={bik},1≤i≤N,1≤k≤M。其中bik是状态Si输出Vk的概率。要用HMM解决实际问题，首先需要解决如下3个基本问题：①给定一个观测序列O=O1O2OT和模型{π,A,B}，如何高效率地计算概率P(O|λ)，也就是在给定模型的状况下观测序列O的概率；②给定一个观测序列O=O1O2OT和模型{π,A,B}，如何快速地选择在一定意义下“最优〞的状态序列Q=q1q2qT，使得该状态序列“最好地解释〞观测序列；③给定一个观测序列O=O1O2OT，以及可能的模型空间，如何来估计模型参数，也就是说，如何调理模型{π,A,B}的参数，使得P(O|λ)最大。

问题：

隐马模型中存在两个假设：输出独立性假设和马尔可夫性假设。其中，输出独立性假设要求序列数据严格相互独立才能保证推导的正确性，而事实上大多数序列数据不能被表示

N元模型、马尔可夫模型以及隐马尔可夫模型、最大熵模型、支持向量机、条件随机场

成一系列独立事件。

三、最大熵模型

最大熵原理原本是热力学中一个十分重要的原理，后来被广泛应用于自然语言处理方面。其基本原理很简单：对所有的已知事实建模，对未知不做任何假设。也就是建模时选择这样一个统计概率模型，在满足约束的模型中选择熵最大的概率模型。若将词性标注或者其他自然语言处理任务看作一个随机过程，最大熵模型就是从所有符合条件的分布中，选择最均匀的分布，此时熵值最大。

求解最大熵模型，可以采用拉格朗日乘数法，其计算公式为：

pyx1expifi(x,y)Z(x)i

Z(x)expifi(x,y)yi为归一化因子,i是对应特征的权重，fi表示其中,

一个特征。每个特征对词性选择的影响大小由特征权重

学习算法自动得到。i决定，而这些权值可由GIS或IIS

四、支持向量机

原理：

支持向量机的主要思想可以概括为两点:(1)它是针对线性可分状况进行分析,对于线性不可分的状况,通过使用非线性映射算法将低维输入空间线性不可分的样本转化为高维特征空间使其线性可分,从而使得高维特征空间采用线性算法对样本的非线性特征进行线性分析成为可能;(2)它基于结构风险最小化理论之上在特征空间中建构最优分割超平面,使得学习器得到全局最优化,并且在整个样本空间的期望风险以某个概率满足一定上界。

支持向量机的目标就是要根据结构风险最小化原理,构造一个目标函数将两类模式尽可能地区分开来,寻常分为两类状况来探讨,：(1)线性可分；(2)线性不可分。

线性可分状况

在线性可分的状况下,就会存在一个超平面使得训练样本完全分开,该超平面可描述为:wx+b=0(1)其中,“〞是点积,w是n维向量,b为偏移量。

最优超平面是使得每一类数据与超平面距离最近的向量与超平面之间的距离最大的这样的平面.

N元模型、马尔可夫模型以及隐马尔可夫模型、最大熵模型、支持向量机、条件随机场

最优超平面可以通过解下面的二次优化问题来获得：

满足约束条件：

,i=1,2,3,,n.(3)在特征数目特别大的状况,可以将此二次规划问题转化为其对偶问题：

(4)

(5)(6

满足约束条件:

这里

(7)是Lagrange乘子

,是最优超平面的法向量

,是最优超平面的偏移量,在这类优化问题的求解与分析中,KKT条件将起到很重要的作用,在(7)式中,其解必需满足：

从式(5)可知,那些(8)=0的样本对分类没有任何作用,只有那些0的样本才对分类起作用,这些样本称为支持向量,故最终的分类函数为：

根据f(x)的符号来确定X的归属。

线性不可分的状况(9)

对于线性不可分的状况,可以把样本X映射到一个高维特征空间H,并在此空间中运用原空间的函数来实现内积运算,这样将非线性问题转换成另一空间的线性问题来获得一个样本的归属.根据泛函的有关理论,只要一种核函数满足Mercer条件,它就对应某一空间中的内积,因此只要在最优分类面上采用适当的内积函数就可以实现这种线性不可分的分类问题.此时的目标函数为：

0）（1

N元模型、马尔可夫模型以及隐马尔可夫模型、最大熵模型、支持向量机、条件随机场

其分类函数为:

（11）

内积核函数：

目前有三类用的较多的内积核函数：第一类是

（12）

我们所能得到的是p阶多项式分类器，其次类是径向基函数（RBF），也称作高斯核函数：

第三类是Sigmoid函数

特点：

概括地说，支持向量机就是首先通过内积函数定义的非线性变换将输入空间变换到另一个高维空间，在这个空间中求最优分类面。SVM分类函数形式上类似于一个神经网络，输出是中间节点的线性组合，每个中间节点对应一个输入样本与一个支持向量的内积，因此也叫做支持向量网络。

SVM方法的特点：

①非线性映射是SVM方法的理论基础,SVM利用内积核函数代替向高维空间的非线性映射;

②对特征空间划分的最优超平面是SVM的目标,最大化分类边际的思想是SVM方法的核心;

③支持向量是SVM的训练结果,在SVM分类决策中起决定作用的是支持向量。

SVM是一种有坚实理论基础的别致的小样本学习方法。它基本上不涉及概率测度及大数定律等,因此不同于现有的统计方法。从本质上看,它避开了从归纳到演绎的传统过程,实现了高效的从训练样本到预报样本的“转导推理〞,大大简化了寻常的分类和回归等问题。

SVM的最终决策函数只由少数的支持向量所确定,计算的繁杂性取决于支持向量的数目,而不是样本空间的维数,这在某种意义上避免了“维数灾难〞。少数支持向量决定了最终结果,这不但可以帮助我们抓住关键样本、“剔除〞大量冗余样本,而且注定了该方法不但算法简单,而且具有较好的“鲁棒〞性。这种“鲁棒〞性主要表达在:

N元模型、马尔可夫模型以及隐马尔可夫模型、最大熵模型、支持向量机、条件随机场

①增、删非支持向量样本对模型没有影响;

②支持向量样本集具有一定的鲁棒性;

③有些成功的应用中,SVM方法对核的选取不敏感

五、条件随机场

原理：

条件随机场(CRFs)是一种基于统计的序列标记识别模型，由JohnLafferty等人在2023年首次提出。它是一种无向图模型，对于指定的节点输入值，它能够计算指定的节点输出值上的条件概率，其训练目标是使得条件概率最大化。线性链是CRFs中常见的特定图结构之一，它由指定的输出节点顺序链接而成。一个线性链与一个有限状态机相对应，可用于解决序列数据的标注问题。在多数状况下，CRFs均指线性的CRFs。用x=(x1,x2,…,xn)表示要进行标注的数据序列，y=(y1,y2,…,yn)表示对应的结果序列。例如对于中文词性标注任务，x可以表示一个中文句子x=(上海，浦东，开发，与，法制，建设，同步)，y则表示该句子中每个词的词性序列y=(NR,NR,NN,CC,NN,NN,VV)。

对于(X，Y)，C由局部特征向量f和对应的权重向量λ确定。对于输入数据序列x和标注结果序列y，条件随机场C的全局特征表示为

Fy,xfy,x,i

i⑴

其中i遍历输入数据序列的所有位置，f(y,x，i)表示在i位置时各个特征组成的特征向量。于是，CRFs定义的条件概率分布为

p(Y,X)

其中expFY,XZX⑵

ZXexpFy,xy⑶

给定一个输入数据序列X，标注的目标就是找出其对应的最可能的标注结果序列了，即yargmaxpy|xy⑷

由于Zλ(X)不依靠于y，因此有

N元模型、马尔可夫模型以及隐马尔可夫模型、最大熵模型、支持向量机、条件随机场

yargmaxpy|xargmaxFy,xyy⑸

CRFs模型的参数估计寻常采用L—BFGS算法实现，CRFs解码过程，也就是求解未知串标注的过程，需要探寻计算该串上的一个最大联合概率，解码过程采用Viterbi算法来完成。

CRFs具有很强的推理能力，能够充分地利用上下文信息作为特征，还可以任意地添加其他外部特征，使得模型能够获取的信息十分丰富。CRFs通过仅使用一个指数模型作为在给定观测序列条件下整个标记序列的联合概率，使得该模型中不同状态下的不同特征权值可以彼此交替，从而有效地解决了其他非生成有向图模型所产生的标注偏置的问题。这些特点，使得CRFs从理论上讲，十分适合中文词性标注。‘