可以略过的前言
朴素贝叶斯
朴素贝叶斯是一个分类模型。
朴素贝叶斯基于一个假设:条件独立性假设。这个假设在说,在类别确定的条件下,用于分类的特征是相互独立的.换言之,假设每个特征独立地对分类结果发生影响。
假设,数据中,某个样本特征由表示,该样本被分成第C类的概率由贝叶斯公式:来估算。
其中:
是类"先验"(prior) 概率;是样本相对于类标记 的类条件概率(class-conditional probability) ,或称为"似然" (likelihood); 用于归一化的"证据" (evidence) 因子,对给定样本 ,证据因子 与类标 记无关,因此估计的问题就转化为如何基于训练数据来估计先验 和似然 ;
可以由当前数据中第C类的数量占比来估计(大数定律)。即: = 第C类的样本数量/总样本数量。
因为条件独立的前提,即为后者通过简单统计即可求得。
总之,我们利用朴素贝叶斯求解的模型一般形式为:
马尔可夫模型
HMM是可用于序列到序列的生成模型。常用于分词、机器翻译、语音识别、生物工程方面。
一个分词的应用场景是:比如,我要对文本进行分词,采用'sbme'标注(即对于该句子中的每一个字,其应该被标注成单独的词-s, 还是一个词的开始-b,中间-m,或结尾-e)。如果我们通过数据集D训练得到一个HMM模型H,则对于输入序列,模型H能根据输出最优标注序列,如(['s','b',...,'e'])。
HMM基于两个假设:
1、观测独立性假设
2、齐次马尔科夫假设
这种性质决定了HMM中所有变量的联合概率分布为:
推导:
对于估计的问题,由贝叶斯公式:,
则原问题转化为
由观测独立性假设,有
而由马尔可夫假设:
于是,原问题最终化为:
称为发射概率,为转移概率。
所以HMM是利用状态转移概率和发射概率计算最优解答,这是一个生成模型。
当然穷举是不可能穷举的,试想假设我们有|S| 个可能的状态,而状态序列的长度为 L., 那么我们显然有 个可能的序列 我们需要Viterbi 算法,一个可以降低复杂度至 的算法。
具体应用:
来模拟一个HMM分词器。我们可以根据统计词典D来统计出各个字的发射概率和各字之间转移概率。
词典D 的形式可参考:词典文件
则HMM分词器的代码为(参考【中文分词系列】 3. 字标注法与HMM模型 - 科学空间|Scientific Spaces):
from collections import Counter
from math import log
hmm_model = {i:Counter() for i in 'sbme'}
# 通过字典估计发射概率
with open('dict.txt', encoding="utf8") as f:
for line in f.readlines():
lines = line.split(' ')
if len(lines[0]) == 1:
hmm_model['s'][lines[0]] += int(lines[1])
else:
hmm_model['b'][lines[0][0]] += int(lines[1])
hmm_model['e'][lines[0][-1]] += int(lines[1])
for m in lines[0][1:-1]:
hmm_model['m'][m] += int(lines[1])
# 使用了对数概率,防止溢出
# s,b,m,e 分别对应的总对数概率
log_total = {i:log(sum(hmm_model[i].values())) for i in 'sbme'}
# 直觉估计或通过词典数据统计出转移概率
# 构建转移矩阵
trans_t = {'ss':0.1,
'sb':0.7,
'bm':0.6,
'be':0.7,
'mm':0.3,
'me':0.7,
'es':0.2,
'eb':0.7
}
import numpy as np
trans = np.zeros((4,4))
for k, v in trans_t.items():
idx1, idx2 = 'sbme'.index(k[0]),'sbme'.index(k[1])
trans[idx1][idx2] = log(v)
def viterbi_decode(nodes, trans):
"""
Viterbi算法求最优路径
其中 nodes.shape=[seq_len, num_labels],
trans.shape=[num_labels, num_labels].
"""
seq_len, num_labels = len(nodes), len(trans)
scores = nodes[0].reshape((-1, 1))
paths = []
# # 递推求解上一时刻t-1到当前时刻t的最优
for t in range(1, seq_len):
observe = nodes[t].reshape((1, -1))
M = scores + trans + observe
scores = np.max(M, axis=0).reshape((-1, 1))
idxs = np.argmax(M, axis=0)
paths.append(idxs.tolist())
best_path = [0] * seq_len
best_path[-1] = np.argmax(scores)
# 最优路径回溯
for i in range(seq_len-2, -1, -1):
idx = best_path[i+1]
best_path[i] = paths[i][idx]
return best_path
def hmm_cut(s):
# 计算每个字的发射概率
nodes = [{i:(log(j[t]+1)-log_total[i]) for i,j in hmm_model.items()} for t in s]
nodes = np.array([list(d.values()) for d in nodes])
# 通过发射概率和转移概率矩阵,计算最优路径
tags = viterbi_decode(nodes, trans)
words = [s[0]]
for i in range(1, len(s)):
if 'sbme'[tags[i]] in ['b', 's']:
words.append(s[i])
else:
words[-1] += s[i]
return words
HMM的不足
HMM只依赖于每一个状态和它对应的观察对象但是序列标注问题不仅和单个词相关,而且和观察序列的长度,单词的上下文,等等相关。
最大熵马尔可夫模型
MEMM是一种判别式有向图模型。相较于HMM由隐藏状态产生输入(观测),MEMM基于输入(观测)产生隐藏状态(condition on observations)。相比于HMM,MEMM更直观,因为目标是预测出隐藏状态,而不是基于隐藏状态来预测观测。
他打破了HMM的观测独立性假设,直接对条件概率建模,用 来代替HMM中的两个条件概率,它表示在先前状态 ,观测值 下得到当前状态 的概率,即根据前一状态和当前观测。预测当前状态。可以在长距离上得到features。
相比与HMM,MEMM的依旧前一时刻的有关。但他考虑了 的共同作用。
具体建模公式如下:
每个这样的分布函数 都是一个服从最大熵的指数模型。
这个指数模型让MEMM在 每个状态 都做了局部归一化,因而可能会产生标注偏置的问题。
举两个例子:
如图所示,“因为”原本应该是介词词性p,而 MEMM却错误标注其词性为连词c。产生该情况的原因正是一种偏置问题。
原因:“是”存在两个词性,动词v和代词r,包含在状态集合中;“因为”包括两个词性,介词p与连词c,包含在状态集合中;“事”只有一个词性,名词n,包含在状态集合S3中。由于MEMM对每个状态均定义一个指数模型,因此有:P(n|p)=1, P(n|c)=1, P(p|S1)+P(c|S1)=1; 基于马尔科夫假设,, 同理,。因此S2选择p节点还是c节点只取决于P(p|S1)、P(c|S1),即只与“是”的上下文有关,与“因为”的上下文无关,这即使MEMM产生偏置的一种情况。引自《基于条件随机域的词性标注模型》
条件随机场
若 为观测序列,为对应的标记序列,则条件随机场的目标是对 建模。通常情况下我们讨论的都是链式条件随机场(CRF)。
设为线性条件随机场,则在随机变量X取值为 的条件下,随机变量Y取值为的条件概率具有如下形式:
其中,。
是特征函数,是权重。
可以看到,相较于MEMM,CRF是无向图模型,全局性的归一化(最大团上的归一化)比于MEMM的局部归一化更优,因而解决了MEMM存在的标注偏置问题。
同时CRF的特征函数定义非常灵活,可以自定义。CRF中的发射概率和HMM的不一样,是,(HMM中是).CRF中整个隐藏序列依赖于整个观察序列。
同样跟着李宏毅老师理解CRF,认识CRF的目标函数:
CRF假设观测序列和状态序列 的概率满足 :, 将从训练数据中学习得到。
根据联合概率与边缘概率分布之间的关系,我们有,而,那么:
。这样,我们就建立了conditional model。 就是全局规范化因子。
为什么:?他与HMM的函数有多少区别?
我们看HMM的函数:
取log:
在序列标注中,可以有如下的等价关系:
为什么可以这样子转换,可以看下图的示例:
同理:
那么:
所以:
这里直接引用李宏毅老师的课件转述特征函数的一个计算示例:
|S|*|S|+2|S|是因为有start 和 end tag。
关于参数的训练:
CRF比HMM更进一步的,在基于统计的基础上,CRF会调整参数W的值,使之更能fit 数据。
关于bilstmCRF在做序列标注,尤其是NER时,对于CRF的描述,知乎上的回答很中肯:
简单说就是条件随机场可以把label的上下文学出来。lstm加softmax分类的时候只能把特征的上下文关系学出来,label的没学出来。
作者:火华
我理解B-LSTM+CRF模型,所谓在LSTM上面套CRF其实是不严谨的说法,假如这样说,那实际上是两层sequence model了吗。我认为其实是说把LSTM和CRF融合起来。比如LSTM的产出只有发射概率,尽管这个发射概率考虑到了上下文,因为LSTM有门机制,可以记忆或者遗忘前面内容,然后双向,有前有后这样,但是毕竟没有转移概率,像CRF HMM这种,都是结合发射概率和转移概率的。比如在词性标注,最简单BIO这样,有显而易见的规则,就是B-X后面不会有I-Y。所以干脆搞出B-LSTM+CRF,结合发射概率和转移概率这样。实际上后面接的CRF并不是真的CRF,比如它又没有特征模板,它又不接受离散特征,他只是一次Viterbi推导而已。
参考
- 《机器学习》 周志华
- 《统计学习方法》李航
- HMM MEMM CRF 区别 联系
- hmm-memm-crf