Bi-LSTM-CRF算法是目前最为流行的NER算法。
BiLSTM和CRF可以看做NER模型中的两个不同层
假设我们有一个数据集,其中有两种实体类别:Person和Organization。对于每一个类别又分为开始单词和中间单词,所以就有了5种类别。
上图说明BiLSTM的输出是该单词对应每一个类别的scores。举例来说,对于
w0,BiLSTM节点的输出是1.5 (B-Person), 0.9 (I-Person), 0.1 (B-Organization), 0.08 (I-Organization) 以及0.05 (O). 这些score作为CRF layer的输入.
然后所有的BiLSTM blocks预测的score都会被喂到CRF layer. CRF layer中,在所有的label sequence选择预测得分最高的序列作为最佳答案.
你可能会发现,如果没有CRF Layer,也可以只用BiLSTM来训练NER模型
由于每个word的BiLSTM的输出是labe得分情况. 可以选择每个单词中得分最高的label作为结果。
例如,对于单词 ω 0 \omega_0 ω0, “B-Person”得分最高(1.5), 因此可以选择“B-Person” 作为预测label.
尽管这里可以得到正确的预测结果,但是在有些如下面的情况中,
很显然,预测的labels是不对的。“I-Organization I-Person”以及 “B-Organization I-Person”.因为两个不同类别的中间词不可能挨着等等
CRF layer 可以对最终的预测labels添加一些限制来确保结果是有效的. 这些限制可以由CRF layer在训练过程中自动的训练数据集中学到.
这些限制可以是
添加了这些限制之后,预测结果中的无效序列会大幅减少
接下来会分析CRF loss function来解释为什么CRF layer 可以学到训练数据中的这些限制。
在CRF层的损失函数中有两种类型的score,这两种类型的score是CRF layer的关键部分.
第一个是emission score,这些emission score来自于BiLSTM layer. 如下图所示比如 w 0 w_0 w0作为B-Person标签的得分是1.5.
为了方便,给一种label一个index
Label | Index |
---|---|
B-Person | 0 |
I-Person | 1 |
B-Organization | 2 |
I-Organization | 3 |
O | 4 |
使用 x i y j x_{iy_j} xiyj来表示emission score。i是单词的index, y j y_j yj是label的index。例如在上图中, x i = 1 , y j = 2 = x w 1 , B − O r g a n i z a t i o n = 0.1 x_{i=1,y_j=2}=x_{w_1,B−Organization}=0.1 xi=1,yj=2=xw1,B−Organization=0.1表示w1作为B-Organization的得分是 0.1.
使用 t y i y j t_{y_iy_j} tyiyj来表示transition score。举例 t B − P e r s o n , I − P e r s o n = 0.9 t_{B−Person,I−Person}=0.9 tB−Person,I−Person=0.9表示标签转移B-Person -> I-Person的概率是0.9.因此。有了保存所有labels之间score矩阵。
加入START和END来使转移矩阵更加健壮。START表示句子的开始,END表示句子的结束。
这里有一个转移矩阵
那么如何得到 transition matrix呢
实际上 transition matrix是BiLSTM-CRF model的一个参数。在你开始训练模型之前,可以随机初始化。所有的random score会在训练过程中自动更新
说明CRF layer可以自己学习这些约束,不需要手动建立约束。矩阵会随着迭代过程更加合理。
CRF loss function由真实路径得分和和所有可能路径的总分组成. 真实路劲应该具有在可能路径中有最高的分数。
例如数据中有下面的label:
Label | Index |
---|---|
B-Person | 0 |
I-Person | 1 |
B-Organization | 2 |
I-Organization | 3 |
O | 4 |
START | 5 |
END | 6 |
有一个有5个单词的句子,可能的路径可能是
假设每一条路径有一个score P i P_i Pi,一共有 N条路径,所以总得分是 P t o t a l = P 1 + P 2 + … + P N = e S 1 + e S 2 + … + e S N P_{total}=P_1+P_2+…+P_N=e^{S1}+e^{S2}+…+e^{SN} Ptotal=P1+P2+…+PN=eS1+eS2+…+eSN
假设第4条路径是真实路径,那么 P 10 P_{10} P10应该在所有的可能路径中占据最大的比例
下面给出loss function。
L o s s F u n c t i o n = P r e a l p a t h P 1 + P 2 + … + P N LossFunction = \frac{P_{realpath}}{P_1+P_2+…+P_N} LossFunction=P1+P2+…+PNPrealpath
在训练过程中,更新BiLSTM-CRF 的参数,使得真实路径的比重保持不断增加
现在的问题是:
显然在所有可能的路径中有一条真实的路径。
例如真实的路径是“START B-Person I-Person O B-Organization O END”. 其他不正确的路径有“START B-Person B-Organization O I-Person I-Person B-Person”.
e S i e^{Si} eSi是第i条路径的得分.
在训练过程中,crf loss function只需要两个score:真实路径的得分和其他可能路径的总得分.真实路径的得分在所有可能路径得分中的比重会不断增加。
真实路径得分是通过 e S i e^{S_i} eSi计算得到
现在我们关注如何计算 S i S_i Si.
以这条真实路径“START B-Person I-Person O B-Organization O END”来举个例子
E m i s s i o n S c o r e = x 0 , S T A R T + x 1 , B − P e r s o n + x 2 , I − P e r s o n + x 3 , O + x 4 , B − O r g a n i z a t i o n + x 5 , O + x 6 , E n d EmissionScore = x_{0,START}+x_{1,B-Person}+x_{2,I-Person}+x_{3,O}+x_{4,B-Organization}+x_{5,O}+x_{6,End} EmissionScore=x0,START+x1,B−Person+x2,I−Person+x3,O+x4,B−Organization+x5,O+x6,End
T r a n s i t i o n S c o r e = t S T A R T − > B − P e r s o n + t B − P e r s o n − > I − P e r s o n + t I − P e r s o n − > O + t O − > B − O r g a n i z a t i o n + t B − O r g a n i z a t i o n − > O + t O − > E n d TransitionScore=t_{START->B-Person}+t_{B-Person->I-Person}+t_{I-Person->O}+t_{O->B-Organization}+t_{B-Organization->O}+t_{O->End} TransitionScore=tSTART−>B−Person+tB−Person−>I−Person+tI−Person−>O+tO−>B−Organization+tB−Organization−>O+tO−>End
现在我们计算出真实路径的得分 e S i e^{S_i} eSi,下面计算所有可能路径的score。
这一部分是最难的一部分,最好拿出纸和笔跟着推导整个过程。
本节讨论如何计算所有可能路径的score和 P t o t a l = P 1 + P 2 + … + P N = e S 1 + e S 2 + … + e S N P_{total}=P_1+P_2+…+P_N=e^{S1}+e^{S2}+…+e^{SN} Ptotal=P1+P2+…+PN=eS1+eS2+…+eSN。
最简单的方式是枚举所有的类型。但是效率太低,训练时间太长
前面我们提到了CRF Loss function是
L o s s F u n c t i o n = P r e a l p a t h P 1 + P 2 + … + P N LossFunction = \frac{P_{realpath}}{P_1+P_2+…+P_N} LossFunction=P1+P2+…+PNPrealpath
现在对LossFunction取个对数可以得到:
L o g L o s s F u n c t i o n = log P r e a l p a t h P 1 + P 2 + … + P N LogLossFunction = \log\frac{P_{realpath}}{P_1+P_2+…+P_N} LogLossFunction=logP1+P2+…+PNPrealpath
本来的loss function需要越大越好(真实路径比重越高),但是通常是最小化loss,所以加个符号
L o g L o s s F u n c t i o n LogLossFunction LogLossFunction
= − log P r e a l p a t h P 1 + P 2 + … + P N = -\log\frac{P_{realpath}}{P_1+P_2+…+P_N} =−logP1+P2+…+PNPrealpath
= − log e S r e a l p a t h e S 1 + e S 2 + … + e S N =- \log\frac{e^{S_{realpath}}}{e^{S_1}+e^{S_2}+…+e^{S_N}} =−logeS1+eS2+…+eSNeSrealpath
= − ( log ( e S r e a l p a t h ) − log ( e S 1 + e S 2 + … + e S N ) ) =- (\log({e^{S_{realpath}}})-\log(e^{S_1}+e^{S_2}+…+e^{S_N})) =−(log(eSrealpath)−log(eS1+eS2+…+eSN))
= − ( S r e a l p a t h − log ( e S 1 + e S 2 + … + e S N ) ) = -(S_{realpath}-\log(e^{S_1}+e^{S_2}+…+e^{S_N})) =−(Srealpath−log(eS1+eS2+…+eSN))
= − ( ∑ i = 1 N x i y i + ∑ i = 1 N − 1 t y i y i + 1 − log ( e S 1 + e S 2 + … + e S N ) ) =-(\sum_{i=1}^Nx_{iy_i}+\sum_{i=1}^{N-1}t_{y_iy_{i+1}}-\log(e^{S_1}+e^{S_2}+…+e^{S_N})) =−(∑i=1Nxiyi+∑i=1N−1tyiyi+1−log(eS1+eS2+…+eSN))
之前我们已经知道了如何计算真实路径score(前两项),现在我们需要找到计算 log ( e S 1 + e S 2 + … + e S N ) \log(e^{S_1}+e^{S_2}+…+e^{S_N}) log(eS1+eS2+…+eSN)的有效方法
为了简化,假设训练的模型中的句子只有3个长度,并且label只有两个
x = [ w 0 , w 1 , w 2 ] x=[w_0,w_1,w_2] x=[w0,w1,w2]
L a b e l S e t = { l 1 , l 2 } LabelSet=\{l_1,l_2\} LabelSet={l1,l2}
可以知道对应的Emission和Transition分数
x i j x_{ij} xij表示单词 w i w_i wi属于 l j l_j lj标签的score
此外CRF层中的transition score可以表示为
t i j t_{ij} tij表示从label i 到 label j的转移score
记住我们的目标是求
log ( e S 1 + e S 2 + … + e S N ) \log(e^{S_1}+e^{S_2}+…+e^{S_N}) log(eS1+eS2+…+eSN)
推导的过程是scores累加的过程。这种思想类似于动态规划。
简而言之,首先计算包含 w 0 w_0 w0的所有单词的路径的总得分,然后用这个总得分来计算 w 0 − > w 1 w_0->w_1 w0−>w1。最后用最新的总得分来计算 w 0 − > w 1 − > w 2 w_0->w_1->w_2 w0−>w1−>w2。最后的score就是我们需要的。
接下来说明两个变量:obs previous
previous存储之前所有步的总得分,obs表示当前单词的信息
w 0 w_0 w0
o b s = [ x 01 , x 02 ] obs = [x_{01},x_{02}] obs=[x01,x02]
p r e v i o u s = N o n e previous=None previous=None
如果只有单词 w 0 w_0 w0,没有之前的结果。只有当前词的emission score [ x 01 , x 02 ] [x_{01},x_{02}] [x01,x02]
那么单词 w 0 w_0 w0所有路径的得分可以表示为
T o t o l S c o r e ( w 0 ) = log ( e x 01 + e x 02 ) TotolScore(w_0)=\log(e^{x_{01}}+e^{x_{02}}) TotolScore(w0)=log(ex01+ex02)
w 0 − > w 1 w_0->w_1 w0−>w1
o b s = [ x 11 , x 12 ] obs = [x_{11},x_{12}] obs=[x11,x12]
p r e v i o u s = [ x 01 , x 02 ] previous=[x_{01},x_{02}] previous=[x01,x02]
w 0 − > w 1 − > w 2 w_0->w_1->w_2 w0−>w1−>w2
这里的迭代与上面的迭代相似
o b s = [ x 21 , x 22 ] obs = [x_{21},x_{22}] obs=[x21,x22]