我在写上一篇博客《22下半年》时,有读者在文章下面评论道:“july大神,请问BERT的通俗理解还做吗?”,我当时给他发了张俊林老师的BERT文章,所以没太在意。
直到今天早上,刷到CSDN上一篇讲BERT的文章,号称一文读懂,我读下来之后,假定我是初学者,读不懂。
关于BERT的笔记,其实一两年前就想写了,迟迟没动笔的原因是国内外已经有很多不错的资料,比如国外作者Jay Alammar的一篇图解Word2vec、一篇图解Transformer:The Illustrated Transformer,再比如国内张俊林老师的这篇《说说NLP中的预训练技术发展史:从Word Embedding到Bert模型》。
本文基本上可以认为是对这几篇文章在内的学习笔记(配图也基本上都来自文末的参考文献),但本篇笔记准备面对没有任何NLP模型背景的文科生/初学者来写,不出现任何没有解释的概念。作为初学者的你,读本文之前,很多文章你看不懂看不下去,读本文之后,网上1/3值得看的文章你都看得懂、看得下去,本文的目的之一就达到了,因为我也是这么过来的!
毕竟据我观察,网上关于Transformer/BERT的文章无外乎是以下这几种情况:
我写博客从2010.10.11至今已经超过11年了,这11年还是写过很多通俗易懂的笔记,比如svm xgboost cnn rnn lstm这些,刚好总结一下把文章写通俗的方法,也算是对本文行文的指导思想:
当然 上面都是术,真正战略层面的则一句话:用初学者思维行文每一字每一句。
最近我一直在看哲学相关的书,哲学里有一个很流行的观点是:反思一切司空见惯的事务、现象、常识,类比到大家写文章的话,则是你真的理解你行文的每一字每一句么还是想当然,你真的认为初学者能看懂你写的每一字每一句么还是自以为。
本文篇幅较长,没办法,一者 为了大一统BERT相关的所有概念/模型,篇幅不可能短,二者 不想因为所谓的篇幅有限而抹杀本文的通俗易懂性。另,行文过程中,得到了我司部分讲师的指点,以及杜助教的确认/讨论,有何问题 欢迎不吝指正,thanks。
本文篇幅较长(本页面右侧有目录),为让大一新生都能更好的理解本篇笔记,有必要先强调三点:
我博客内之前写过一篇word2vec笔记,如今再看 写的并不通俗易懂,巧的是,写本文开头那篇图解transformer文章的作者,他也有写一篇图解word2vec,本部分中的核心阐述和大部分配图均来自此文。
为了让每一个初学者可以从头看到尾,不至于因行文过程中的任何一句话而卡壳看不下去,我在原英文的基础上,加了大量自己的学习心得、说明解释(得益于看过很多文学和哲学书,且学过算法,所以文笔尚可、逻辑尚可)。
不知你可曾听说过华为对于求职人员的性格测试? 这个测试会问你一系列的问题,然后在很多维度给你打分,内向/外向就是其中之一,然后用0到100的范围来表示你是多么内向/外向(其中0是最内向的,100是最外向的)
假设一个叫Jay的人,其内向/外向得分为38/100,则可以用下图表示这个得分:
为了更好的表达数据(比如归一化便是为了更好表达数据的例子),我们把范围收缩到-1到1:
考虑到人性复杂,对于一个人的描述只有一条信息显然是不够的,为此,我们添加另一测试的得分作为一个新的第二维度,而这两个维度均可以表现为图上的一个点(或称为从原点到该点的向量)
然后可以说这个向量部分地代表了Jay的人格。当你想要将另外两个人与Jay进行比较时,这种表示法就有用了。假设Jay是一家公司的CEO,某天被公共汽车给撞住院了,住院期间需要一个性格相似的人代行Jay的CEO之责。那在下图中,这两个人中哪一个更像Jay呢,更适合做代理CEO呢?
而计算两个向量之间相似度得分的常用方法是余弦相似度,可曾还记得夹角余弦的计算公式?
通过该计算公式可得
从而可知,person 1在性格上与Jay更相似。其实,从坐标系里也可以看出,person1的向量指向与Jay的向量指向更相近(当然,长度也起作用),即他俩具有更高的余弦相似度。
更进一步,两个维度还不足以捕获有关不同人群的足够信息。可曾听说国内有七重人格,而国外心理学也研究出了五个主要人格特征(以及大量的子特征)。
为从简起见,就不用七个维度了,而用五个维度再度比较Jay与person1 2的相似性:
当使用五个维度时,我们没法在二维平面绘制向量小箭头了(毕竟你我都不曾见过五维坐标系)。而实际生活中,我们经常要在更高维度的空间中做研究(有的人把研究一词表达成思考,实际上,大部分人没法在高纬度空间思考,但科学研究人员经常干这事,故表达成研究更准确),好在余弦相似度仍然有效,它适用于任意维度:
这些得分比上次的得分看起来更准确(对,目前为止,咱只能说看起来更准确,最近学哲学给我最大的感悟是,凡事客观,不要轻易绝对化),毕竟它们是根据被比较事物的更高维度算出的。
小结一下,有两点
1.我们可以将人和事物表示为代数向量
2.我们可以很容易地计算出相似向量之间的相互关系。
行文至此,可能有同学要问了,为何要把词向量化表示呢,其背后的深意在哪?
众所周知,咱们居住在各个国家的人们通过各自的语言进行交流,但机器无法直接理解人类的语言,所以需要先把人类的语言“计算机化”,那如何变成计算机可以理解的语言呢?
对于这个问题,我们考虑一个很简单的问题,比如对于计算机,它是如何判断一个词的词性,是动词还是名词的呢?
假定我们有一系列样本(x,y),对于计算机技术机器学习而言,这里的 x 是词语,y 是它们的词性,我们要构建 f(x)->y 的映射:
这就是所谓的词嵌入了。
再举一个例子,这是一个单词“king”的词嵌入(在维基百科上训练的GloVe向量):
[ 0.50451 , 0.68607 , -0.59517 , -0.022801, 0.60046 , -0.13498 , -0.08813 , 0.47377 , -0.61798 , -0.31012 , -0.076666, 1.493 , -0.034189, -0.98173 , 0.68229 , 0.81722 , -0.51874 , -0.31503 , -0.55809 , 0.66421 , 0.1961 , -0.13495 , -0.11476 , -0.30344 , 0.41177 , -2.223 , -1.0756 , -1.0783 , -0.34354 , 0.33505 , 1.9927 , -0.04234 , -0.64319 , 0.71125 , 0.49159 , 0.16754 , 0.34344 , -0.25663 , -0.8523 , 0.1661 , 0.40102 , 1.1685 , -1.0137 , -0.21585 , -0.15155 , 0.78321 , -0.91241 , -1.6106 , -0.64426 , -0.51042 ]
这是一个包含50个数字的列表。通过观察数值我们看不出什么,但是让我们稍微给它可视化,以便比较其它词向量。故我们把所有这些数字放在一行:
让我们根据它们的值对单元格进行颜色编码(如果它们接近2则为红色,接近0则为白色,接近-2则为蓝色):
我们将忽略数字并仅查看颜色以指示单元格的值。现在让我们将“king”与其它单词进行比较(注意,世间有相似之人,也有相似之词):
你会发现“Man”这个词和“Woman”相比,比与“King”相比更相似,而这些向量图示很好的展现了这些单词的含义与关联。
这是另一个示例列表:
通过垂直扫描列来查找具有相似颜色的列,相信你可以看到以下这几点
现在我们已经看过训练好的词嵌入,接下来让我们更多地了解训练过程。 但在我们开始使用word2vec之前,我们需要看一下词嵌入的父概念:神经语言模型(NNLM)。
我们每天都会用手机或者电脑,比如我们经常会用到智能手机输入法中的下一单词预测功能,或者你在电脑上用Google搜索也会遇到类似的搜索智能提示(详见此文)。
比如当你输入thou shalt时,系统会预测/提示你想输入的下一个单词是不是not?
在上面这个手机截屏中,该模型接收到两个绿色单词(thou shalt)后,推荐了一组单词(当然,“not” 是其中最有可能被选用的一个):
我们可以把这个模型想象为这个黑盒:
但事实上,该模型不会只输出一个单词。实际上,它对所有它知道的单词(模型的词库,可能有几千到几百万个单词)的按可能性打分,输入法程序会选出其中分数最高的推荐给用户,比如not
自然语言模型的输出就是模型所知单词的概率评分,我们通常把概率按百分比表示,但是实际上,40%这样的分数在输出向量组是表示为0.4
自然语言模型(请参考Bengio 2003)在完成训练后,会按下图中所示的三个步骤完成预测:
第一步与我们最相关,因为我们讨论的就是Embedding。模型在经过训练之后会生成一个映射单词表所有单词的矩阵,也称词嵌入矩阵。在进行预测的时候,我们的算法就是在这个映射矩阵(词嵌入矩阵)中查询输入的单词(即Look up embeddings),然后计算出预测值:
现在让我们将重点放到模型训练上,来学习一下如何构建这个映射矩阵(词嵌入矩阵)。
我们通过找常出现在每个单词附近的词,就能获得它们的映射关系。机制如下:
当这个窗口沿着文本滑动时,我们就能(真实地)生成一套用于模型训练的数据集。
不用多久,我们就能得到一个较大的数据集,从数据集中我们能看到在不同的单词组后面会出现的单词:
在实际应用中,模型往往在我们滑动窗口时就被训练的。而怎么训练模型呢?除了使用神经网络建模之外,大家还常用一项名为N-Gram的技术进行模型训练。
举个例子,请你根据下面这句话前面的信息进行填空:
在空白前面,我提供的背景是五个单词(如果事先提及到‘bus’),可以肯定,大多数人都会把bus填入空白中。但是如果我再给你一条信息——比如空白后的一个单词,那答案会有变吗?
这下空白处改填的内容完全变了。这时’red’这个词最有可能适合这个位置的词之一。从这个例子中我们可以看到,一个单词的前后词语其实都带着有价值的信息,而且要尽可能考虑两个方向的单词(目标单词的左侧单词与右侧单词)。
事实上,我们不仅要考虑目标单词的前两个单词,还要考虑其后两个单词。
如果这么做,我们实际上构建并训练的模型就如下所示:
上述的这种『以上下文词汇预测当前词』架构被称为连续词袋(CBOW),在word2vec的原始论文中有阐述。
还有另一种架构,它不根据前后文(前后单词)来猜测目标单词,这种架构就是所谓的Skipgram架构:推测当前单词可能的前后单词。
还是回到这个例子:“Thou shalt not make a machine in the likeness of a human mind”
当我们从现有的文本中获得了Skipgram模型的训练数据集后,接下来让我们看看如何使用它来训练一个能预测相邻词汇的自然语言模型。
如下图所示,左边是输入单词,右边是目标单词,基本可以理解为右边的单词是左边输入单词的前后两个单词,比如在这个例子里
从数据集中的第一个样本开始。我们将特征输入到未经训练的模型,让它预测一个可能的相邻单词。
该模型会执行三个步骤并输入预测向量(对应于单词表中每个单词的概率)。因为模型未经训练,该阶段的预测肯定是错误的。但是没关系,我们知道应该猜出的是哪个单词——这个词就是我训练集数据中的输出标签:
目标单词概率为1,其他所有单词概率为0(这是在数据集中引入的负样本,即不是邻居的单词样本。我们的模型需要为这些样本返回0),这样数值组成的向量就是“目标向量”。
模型的偏差有多少?将两个向量相减,就能得到偏差向量:
现在这一误差向量可以被用于更新模型了,所以在下一轮预测中,如果用not作为输入,我们更有可能得到thou作为输出了。
这其实就是训练的第一步了。我们接下来继续对数据集内下一份样本进行同样的操作,直到我们遍历所有的样本。这就是一轮(epoch)了。我们再多做几轮(epoch),得到训练过的模型,于是就可以从中提取嵌入矩阵来用于其他应用了。
顺带提一句,关于什么是负采样,可以参见网上相关资料,比如参考文献1。
在训练过程开始之前,我们预先处理我们正在训练模型的文本。
在训练阶段的开始,我们创建两个矩阵:词嵌入Embedding矩阵、上下文Context矩阵,这两个矩阵在我们的词汇表中嵌入了每个单词,且两个矩阵都有这两个维度
在训练过程开始时,我们先用随机值初始化这些矩阵,然后我们开始训练过程。在每个训练步骤中,我们采取一个相邻的例子及其相关的非相邻例子。
还是这个例子:“Thou shalt not make a machine in the likeness of a human mind”,我们来看看我们的第一组(对于not 的前后各两个邻居单词分别是:Thou shalt 、make a):
现在我们有四个单词:输入单词not,和输出/上下文单词:thou(实际邻居词),aaron和taco(负面例子)。
我们继续查找它们的嵌入
然后,我们计算输入嵌入与每个上下文嵌入的点积。
还记得什么叫点积吧?所谓点积
两个向量a = [a1, a2,…, an]和b = [b1, b2,…, bn]的点积定义为:a·b=a1b1+a2b2+……+anbn。
而这个点积的结果意味输入和上下文嵌入的相似性程度,结果越大代表越相似。
为了将将这些分数转化为看起来像概率的东西——我们需要它们都是正值,并且处于0到1之间,刚好可以用上sigmoid这一逻辑函数转换下。
从而我们可以将sigmoid操作的输出视为这些示例的模型输出。您可以看到taco得分最高,aaron最低,无论是sigmoid操作之前还是之后。
既然未经训练的模型已做出预测,而且我们确实拥有真实目标标签来作对比,那么让我们计算模型预测中的误差吧。为此我们只需从目标标签中减去sigmoid分数。
error = target - sigmoid_scores
这是“机器学习”的“学习”部分。现在,我们可以利用这个错误分数来调整not、thou、aaron和taco的嵌入,使我们下一次做出这一计算时,结果会更接近目标分数。
训练步骤到此结束。我们从中得到了这一步所使用词语更好一些的嵌入(not,thou,aaron和taco)。我们现在进行下一步(下一个相邻样本及其相关的非相邻样本),并再次执行相同的过程。
当我们循环遍历整个数据集多次时,嵌入会继续得到改进。然后我们就可以停止训练过程,丢弃Context矩阵,并使用Embeddings矩阵作为下一项任务的已被训练好的嵌入。
从上文我们已经接触到编码的概念,有编码则自然有解码,而这种编码、解码的框架可以称之为Encoder-Decoder,中间一个向量C传递信息,且C的长度是固定的。
本节配图大半来源于参考文献2。
没太明白?可以这么理解,在上图中,我们可以根据不同的任务可以选择不同的编码器和解码器,具体化就是可以是一个 RNN
当然 更多通常是其变种LSTM或者GRU
这样你就明白了吧。
而在参考文献3里《如何从RNN起步,一步一步通俗理解LSTM》,我们已经详细了解了RNN和LSTM。
而只要是符合上面的框架,都可以统称为 Encoder-Decoder 模型。说到 Encoder-Decoder 模型就经常提到一个名词—— Seq2Seq。
Seq2Seq(是 Sequence-to-sequence 的缩写),就如字面意思,输入一个序列,输出另一个序列,当然,其中输入序列和输出序列的长度是可变的。
比如我们翻译英国经验派哲学家弗兰西斯・培根的一句名言“知识就是力量”,如下图:
Seq2Seq(强调目的)不特指具体方法,满足「输入序列、输出序列」的目的,都可以统称为 Seq2Seq 模型。
与上面的Encoder-Decoder联系在于:Seq2Seq 属于 Encoder-Decoder 的大范畴,但Seq2Seq 更强调目的,Encoder-Decoder 更强调方法。
上文提到:Encoder(编码器)和 Decoder(解码器)之间只有一个「向量C」来传递信息,且C的长度固定。
这个会导致什么问题呢?比如拿破仑带军打仗时,其军队里炮兵、骑兵、步兵,而队伍的发号施令系统简言之可能是:上层制定、中层传达、下层执行,当从上层往下层发命令时,如果所有的命令甭管是什么命令都只通过一个中间传话人C来传达,那整个集团军的战略执行全系于此一人的觉悟与信息传达的准确性,你想想有多可怕。
所以更好的做法是,根据面向不同兵种的命令,炮兵指挥C1、骑兵指挥C2、步兵指挥C3各自传达对应兵种的命令,如此,分工协作中不同的中层吸收到的各自命令更准确,从而下层在执行各个不同命令时,执行也更准确。
再比如,当我们Google翻译这句话时:Tom chase Jerry,Encoder-Decoder框架逐步生成中文单词:“汤姆”,“追逐”,“杰瑞”。
在把第三个英文单词Jerry翻译成“杰瑞”这个中文单词的时候,模型里面的每个英文单词对于翻译目标单词“杰瑞”贡献或倾向是相同的,很明显这里不太合理,但显然“Jerry”对于翻译成“杰瑞”比把“Jerry”对于翻译成“汤姆”更重要,但是模型是无法体现这一点的。
要翻译的句子短还好,句子一长呢?当输入句子比较长,此时所有语义完全通过一个中间语义向量C来表示,单词自身的信息已经消失,可想而知会丢失很多细节信息。
所以Encoder-Decoder是有缺陷的,其缺陷在于:当输入信息太长时,会丢失掉一些信息。
而为了解决「信息过长,信息丢失」的问题,Attention 机制就应运而生了。
Attention 模型的特点是 Eecoder 不再将整个输入序列编码为固定长度的「中间向量 C」 ,而是编码成一个向量的序列。引入了Attention的Encoder-Decoder 模型如下图:
Attention(注意力)机制如果浅层的理解,跟他的名字非常匹配。他的核心逻辑就是「从关注全部到关注重点」。
Attention 机制很像人类看图片的逻辑,当我们看一张图片的时候,我们并没有看清图片的全部内容,而是将注意力集中在了图片的焦点上,否则便会抓不住重点。
比如当你女朋友给你闪过一张美女图片(假定正在阅读此文的你是男生,若是女生自行脑补),你只先关注了哪几个点:是脸、胸、腿否?你重点先关注的脸/胸/腿就是你的“Attention”所在了。图片闪过之后,你女友突然发难于你:美女袖标上是个什么英文字母?
然后你心里便会很冤屈,毕竟一张图片信息那么多,只能把有限的注意力放在最重点的信息上。恩,你内心明白就行,可千万别和你女友去谈Attention的大道理,^_^。
再次回到这个机器翻译的例子(本猫追老鼠例子的配图和核心阐述均来源于参考文献4),即用Google翻译这句话:Tom chase Jerry
在翻译“杰瑞”的时候,带有注意力机制的模型会体现出英文单词对于翻译当前中文单词不同的影响程度,比如给出类似这样一个概率分布值:(Tom,0.3)(Chase,0.2) (Jerry,0.5),每个英文单词的概率代表了翻译当前单词“杰瑞”时,注意力分配模型分配给不同英文单词的注意力大小。
目标句子中的每个单词都应该学会其对应的源语句子中单词的注意力分配概率信息。这意味着在生成每个单词的时候,原先都是相同的中间语义表示C会被替换成根据当前生成单词而不断变化的(注:这里就是Attention模型的关键,即由固定的中间语义表示C换成了根据当前输出单词来调整成加入注意力模型的变化的)。
生成目标句子单词的过程成了下面的形式:
而每个可能对应着不同的源语句子单词的注意力分配概率分布,比如对于上面的英汉翻译来说,其对应的信息可能如下:
其中,f2函数代表Encoder对输入英文单词的某种变换函数,比如如果Encoder是用的RNN模型的话,这个f2函数的结果往往是某个时刻输入后隐层节点的状态值;g代表Encoder根据单词的中间表示合成整个句子中间语义表示的变换函数(左边这句话太绕,待改),一般的做法中,g函数就是对构成元素加权求和,即下列公式:
其中,代表输入句子Source的长度,代表在Target输出第i个单词时Source输入句子中第j个单词的注意力分配系数,而则是Source输入句子中第j个单词的语义编码。
假设下标i就是上面例子所说的“ 汤姆” ,那么就是3,h1=f(“Tom”)、h2=f(“Chase”)、h3=f(“Jerry”)分别是输入句子每个单词的语义编码,对应的注意力模型权值则分别是0.6,0.2,0.2,所以g函数本质上就是个加权求和函数。如果形象表示的话,翻译中文单词“汤姆”的时候,数学公式对应的中间语义表示的形成过程类似下图。
这里有一个问题:生成目标句子某个单词,比如“汤姆”的时候,如何知道Attention模型所需要的输入句子单词注意力分配概率分布值呢?就是说“汤姆”对应的输入句子Source中各个单词的概率分布:(Tom,0.6)(Chase,0.2) (Jerry,0.2) 是如何得到的呢?为做说明,特引用参考文献4对应的内容,如下
为了便于说明,我们假设对非Attention模型的Encoder-Decoder框架进行细化,Encoder采用RNN模型,Decoder也采用RNN模型,这是比较常见的一种模型配置
那么用下图便可以较为便捷地说明注意力分配概率分布值的通用计算过程。
对于采用RNN的Decoder来说
- 在时刻i,如果要生成单词,我们是可以知道Target在生成之前的时刻i-1时,隐层节点i-1时刻的输出值的
- 而我们的目的是要计算生成时输入句子中的单词“Tom”、“Chase”、“Jerry”对来说的注意力分配概率分布,那么可以用Target输出句子i-1时刻的隐层节点状态去一一和输入句子Source中每个单词对应的RNN隐层节点状态进行对比,即通过函数来获得目标单词和每个输入单词对应的对齐可能性,这个F函数在不同论文里可能会采取不同的方法,然后函数F的输出经过Softmax进行归一化就得到了符合概率分布取值区间的注意力分配概率分布数值
再解释一下,如我司杜助教所言:“ 这里举的例子是由 Tom chase Jerrry 得到 汤姆追逐杰瑞,现在我们假设要预测杰瑞(已经预测出来汤姆追逐),那么这个时候,i 就表示的是杰瑞这个时刻,i-1时刻的hidden就包含了汤姆追逐的信息,就是想计算i-1时刻的hidden和Tom、chase、Jerry的attention数值,进而更好地预测杰瑞这个词 ”
再比如,图书馆(source)里有很多书(value),为了方便查找,我们给书做了编号(key)。当我们想要了解漫威(query)的时候,我们就可以看看那些动漫、电影、甚至二战(美国队长)相关的书籍。
为了提高效率,并不是所有的书都会仔细看,针对漫威来说,动漫,电影相关的会看的仔细一些(权重高),但是二战的就只需要简单扫一下即可(权重低)。
当我们全部看完后就对漫威有一个全面的了解了。
可以看到,将Source中的构成元素想象成是由一系列的
所以本质上Attention机制是对Source中元素的Value值进行加权求和,而Query和Key用来计算对应Value的权重系数。即可以将其本质思想改写为如下公式:
整个过程具体如下图所示:
归纳整理一下,则为
值得一提的是,Attention 并不一定要在 Encoder-Decoder 框架下使用的,他是可以脱离 Encoder-Decoder 框架的。
了解了Attention的本质思想,理解所谓的Self-Attention就容易了,具体下文会详细阐述。这里先简单提一嘴。
在一般任务的Encoder-Decoder框架中,输入Source和输出Target内容是不一样的,比如对于英-中机器翻译来说,Source是英文句子,Target是对应的翻译出的中文句子,Attention机制发生在Target的元素Query和Source中的所有元素之间。
而Self Attention顾名思义,指的不是Target和Source之间的Attention机制,而是Source内部元素之间或者Target内部元素之间发生的Attention机制,也可以理解为Target=Source这种特殊情况下的注意力计算机制。其具体计算过程是一样的,只是计算对象发生了变化而已。
目前我所看到的文章里面,介绍Transformer比较好懂的还是开头所提的这篇《The Illustrated Transformer》,本部分中的核心阐述和大部分配图均来自此文。
接下来,我在此文的基础上加以大量解释、说明,以让之成为全网最通俗易懂的Transformer导论。因为这些解释、说明是你在其他文章中看不到的,而正因为有了这些解释、说明,才足以真正让每一个初学者都能快速理解到底什么是Transformer。
还是考虑上文中已经出现过的机器翻译的模型。当我们从外部现象来看的话,这个机器翻译技术就像是一个黑箱操作:就是输入一种语言,系统输出另一种语言:
当我们拆开这个黑箱后,我们可以看到它是由编码组件、解码组件和它们之间的连接组成。
其中
当我们拆开这个编码器会发现,所有的编码器在结构上都是相同的,但是并不共享参数,每个解码器都可以分解成两个子层。
当我们把编码器和解码器联合起来看待整个流程就是
我们已经了解了模型的主要部分,接下来我们看一下各种向量或张量(译注:张量概念是矢量概念的推广,可以简单理解矢量是一阶张量、矩阵是二阶张量)是怎样在模型的不同部分中,将输入转化为输出的。
像大部分NLP应用一样,我们首先将每个输入单词通过词嵌入算法转换为词向量。
每个单词都被嵌入为512维的向量(512是transformer原作者设定的一个维度,类似编码器/解码器的数量一样,也是我们可以设置的超参数——一般是我们训练集中最长句子的长度),但为方便后续一系列的图示,这里用4个格子代表512维,即虽然你只看到4维,但你要明白实际背后代表着512维。
所有编码器接收一组向量作为输入,论文中的输入向量的维度是512。最底下的那个编码器接收的是嵌入向量,之后的编码器接收的是前一个编码器的输出。
当我们的输入序列经过词嵌入之后得到的向量,会依次通过编码器组件中的两个层。
接下来我们看看Transformer的一个核心特性
然后我们将以一个更短的句子(Thinking Machine)为例,看看编码器的每个子层中发生了什么。
如上述已经提到的,一个编码器接收一组向量作为输入,输入向量先通过一个自注意力层,再经过一个前馈神经网络,最后将其输出给下一个编码器组件。
输入序列的每个单词都经过自编码过程。然后,他们各自通过前向传播神经网络——完全相同的网络,而每个向量都分别通过它。
3.1.3之0/7 什么是自注意力机制:从宏观视角看自注意力机制
咱们通过一个例子了解自注意力机制的工作原理。
例如,下列句子是我们想要翻译的输入句子:
“The animal didn't cross the street because it was too tired”
这个“it”在这个句子是指什么呢?它指的是street 还是这个 animal 呢?对人来说很简单的问题(必然是animal,因为animal才可能cross,才可能tired),但是对算法而言并不简单,算法不一定知道it指的是animal还是street。
那self-attention机制咋做呢?一般的文章会这么解释:
当模型处理单词“it”时,self-attention允许将“it”和“animal”联系起来。当模型处理每个位置的词时,self-attention允许模型看到句子的其他位置信息作辅助线索来更好地编码当前词。
换言之,自注意力的作用就是:看一看输入句子中其他位置的单词,试图寻找一种对当前单词更好的编码方式。
还记得RNN吧?回想一下RNN对隐藏状态的处理:将之前的隐藏状态与当前位置的输入结合起来。在Transformer中,自注意力机制也可以将其他相关单词的“理解”融入到我们当前处理的单词中。
可能上面那段话稍微有点绕,为通俗起见,说的直白点就是,你如果要更好的理解句中某个特定单词的含义,你要把它放到整个语境之中去理解,比如通过对上下文的把握。那上下文哪些词对理解该特定词更重要呢?这个重要程度便用所谓的权重表示,所以才算出每个词对『该词』的权重,权重越大的单词代表对理解『该词』越重要,然后把该词编码为包括该词在内所有词的加权和。
所以,才会出现当我们在编码器#5(栈中最上层编码器)中编码“it”这个单词的时,因为线条颜色的深浅反映了权重的大小,从而可以看到编码“it”时,权重最大的两个词是“The Animal”,便意味着注意力机制的视角/关注度会更集中在“The Animal”,表示 it 跟这两个词关联最大,这就是attention的意义所在,输出跟哪个词关联比较强,就放比较多的注意力在上面,并最终将其考虑进it的编码中。
3.1.3之1/7 计算自注意力第一步:生成查询向量、键向量和值向量向量
首先我们了解一下如何使用向量来计算自注意力,然后来看它是如何以矩阵的方式来计算。
计算自注意力的第一步,就是从每个编码器的输入向量(即每个单词的词向量)一分为三,生成三个向量:查询向量query-vec、一个键向量key-vec和一个值向量value-vec。
至于它们的生成方法是把输入的向量分别乘以三个固定不变的权重矩阵(即所有输入向量都用的相同的权重矩阵Q、K、V),而这些权重矩阵是在模型训练阶段中训练出来的。
这里面有一个细节值得注意下,这些新向量的维度是64,在维度上比词嵌入向量更低,因为词嵌入和编码器的输入/输出向量的维度是512。
这三个向量也不是必须比编码器输入输出的维数小,这样做主要是为了让多头注意力的计算更稳定(在下文你会看到,transformer通过多头注意力机制multiheaded attention,对每个512维的输入向量都设置了8个头,不同的头关注每个输入向量不同的部分,而你发现没有:512/8 = 64,多说一句,也可以设置为2个头,不一定非得设置为8个头)。
对于单词X1、X2分别而言
最终使得输入序列的每个单词各自创建一个查询向量、一个键向量和一个值向量。
可能有的读者有疑问了,设置这三个向量的用意何在或有何深意。实际上
3.1.3之2/7 计算自注意力第二步:计算得分
计算自注意力的第二步是计算得分。现在我们需要针对这个例子中的第一个单词“Thinking”(pos#1)计算attention分值,即计算每个词对“Thinking”的打分,这个分决定着编码“Thinking”时(某个固定位置时),应该对其他位置上的单词各自给予多少关注度。
这个得分通过“Thinking”所对应的查询向量query和所有词的键向量key,依次乘积得出来。所以如果我们是处理位置最靠前的词的attention分值的话,第一个分数是q1和k1的点积,第二个分数是q1和k2的点积。
3.1.3之3/7 计算自注意力第三、四步:分数除以8然后softmax下
第三步和第四步是将分数除以8(8是论文中使用的键向量的维数64的平方根,这会让梯度更稳定。这里也可以使用其它值,8只是默认值),然后通过softmax传递结果。softmax的作用是使所有单词的分数归一化,得到的分数都是正值且和为1。
这个softmax分数决定了在编码当下位置(“Thinking”)时,包括当下位置单词(“Thinking”)在内每个单词的所获得的关注度。显然,已经在这个位置上的单词将获得最高的softmax分数,但有时关注与当前单词相关的其他单词是有用的。别忘了,如前文所述,你在考虑某个特定单词的含义时,需要考虑整个语境、考虑上下文。
3.1.3之4/7 计算自注意力第五、六步:值向量乘以softmax分数后对加权值向量求和
第五步是将softmax分值乘以每个值向量(这是为了准备之后将它们求和)。这样操作的意义在于留下我们想要关注的单词的value,并把其他不相关的单词丢掉(例如,让它们乘以0.001这样的小数)。
第六步是对加权值向量求和,产生该位置的self-attention的输出结果(在我们的例子中是对于第一个单词)。
通过这样一系列的计算,可以看到,现在每个词的输出向量z都包含了其他词的信息,每个词都不再是孤立的了。而且词与词的相关程度,可以通过softmax输出的权重进行分析。
这样自注意力的计算就完成了。得到的向量就可以传给前馈神经网络。然而实际中,这些计算是以矩阵形式完成的,以便算得更快。那我们接下来就看看如何用矩阵实现的。
3.1.3之5/7 通过矩阵运算实现自注意力机制
第一步是计算查询矩阵、键矩阵和值矩阵。为此,我们将输入词向量合并成输入矩阵X(矩阵的每一行代表输入句子中的一个单词,所以整个矩阵就代表整个句子),将其乘以我们训练的权重矩阵(WQ,WK,WV)。
我们再次看到词嵌入向量 (512,或图中的4个格子)和q/k/v向量(64,或图中的3个格子)的大小差异。
最后,由于我们处理的是矩阵,我们可以将步骤2到步骤6合并为一个公式来计算自注意力层的输出,下图是自注意力的矩阵运算形式:
3.1.3之5/7 “multi-headed” attention:“大战多头怪”
通过增加一种叫做“多头”注意力(“multi-headed” attention)的机制,论文进一步完善了自注意力层,并在两方面提高了注意力层的性能:
July注:第一次看到这里的朋友,可能会有疑问,正如知乎上有人问(https://www.zhihu.com/question/341222779?sort=created ):为什么Transformer 需要进行Multi-head Attention,即多头注意力机制?
叫TniL的答道:可以类比CNN中同时使用多个滤波器的作用,直观上讲,多头的注意力有助于网络捕捉到更丰富的特征/信息。
论文中是这么说的:Multi-head attention allows the model to jointly attend to information from different representation subspaces at different positions.
关于different representation subspaces,举一个不一定妥帖的例子:当你浏览网页的时候,你可能在颜色方面更加关注深色的文字,而在字体方面会去注意大的、粗体的文字。这里的颜色和字体就是两个不同的表示子空间。同时关注颜色和字体,可以有效定位到网页中强调的内容。使用多头注意力,也就是综合利用各方面的信息/特征(毕竟,不同的角度有着不同的关注点)。
叫LooperXX的则答道:在Transformer中使用的多头注意力出现前,基于各种层次的各种fancy的注意力计算方式,层出不穷。而Transformer的多头注意力看上去是借鉴了CNN中同一卷积层内使用多个卷积核的思想,原文中使用了 8 个 scaled dot-product attention ,在同一 multi-head attention 层中,输入均为 KQV ,同时进行注意力的计算,彼此之前参数不共享,最终将结果拼接起来,这样可以允许模型在不同的表示子空间里学习到相关的信息,在此之前的 A Structured Self-attentive Sentence Embedding 也有着类似的思想。
简而言之,就是希望每个注意力头,只关注最终输出序列中一个子空间,互相独立。其核心思想在于,抽取到更加丰富的特征信息。不过,Multi-Head 的多个头并不一定就如我们所期望的那样去关注不同方面的信息。在 EMNLP 2018 的 Multi-Head Attention with Disagreement Regularization 一文中采用正则化手段来保证每个头关注不同的子空间。
ok,接下来,我们将看到对于“多头”注意机制,我们有多个查询/键/值权重矩阵集(Transformer使用八个注意力头,因此我们对于每个编码器/解码器有八个矩阵集合)。每一组都是随机初始化,经过训练之后,输入向量可以被映射到不同的子表达空间中。
在“多头”注意机制下,我们为每个头保持独立的查询/键/值权重矩阵,从而产生不同的查询/键/值矩阵。和之前一样,我们拿X乘以WQ/WK/WV矩阵来产生查询/键/值矩阵。
如果我们做与上述相同的自注意力计算,只需八次不同的权重矩阵运算,我们就会得到八个不同的Z矩阵。
这给我们带来了一点挑战。前馈层没法一下子接收8个矩阵,它需要一个单一的矩阵(最终这个单一矩阵类似输入矩阵X那样,矩阵中每个的行向量对应一个单词,比如矩阵的第一行对应单词Thinking、矩阵的第二行对应单词Machines)。所以我们需要一种方法把这8个矩阵合并成一个矩阵。那该怎么做?其实可以直接把这些矩阵拼接在一起,然后乘以一个附加的权重矩阵WO。
这几乎就是多头自注意力的全部。这确实有好多矩阵,我们试着把它们集中在一个图片中,这样可以一眼看清。
3.1.3之7/7 当我们重新用上多头注意力后
现在我们已经看过什么是多头注意力了,让我们回顾一下之前的一个例子,再看一下编码“it”的时候每个头的关注点都在哪里:
编码it,用两个head的时候:其中一个更关注the animal(注意看图中黄线的指向),另一个更关注tired(注意看图中绿线的指向)。
相当于此时该模型对it的编码,除了it本身的表达之外,同时也包含了the animal和tired的相关信息。
这个时候,可能有读者又有疑问了:两个头的时候,为何其中一个头更关注animal,另一个关注tired,那没『头』关注it 本身么?
好问题!如果我们把所有的头的注意力都可视化一下,就是下图这样。
同样都是做NLP任务,我们来和RNN做个对比,下图是个最基本的RNN结构,还有计算公式。
如参考文献7所说,当计算隐向量h4时,用到了输入x4,和上一步算出来的隐向量h3,h3包含了前面所有节点的信息。
不过有个细节值得注意下,不知有读者发现没有,即RNN的结构包含了序列的时序信息,而Transformer却完全把时序信息给丢掉了。
为了解决时序的问题,Transformer的作者用了一个绝妙的办法:位置编码(Positional Encoding)。位置编码是和word embedding同样维度的向量,将位置embedding和词embedding加在一起,作为输入embedding:
关于『使用位置编码表示序列的位置』的细节请参看英文原文。
最后,在回顾整个Transformer架构之前,还需再提一下编码器中的一个细节:每个编码器中的每个子层(自注意力层、前馈神经网络)都有一个残差连接,之后是做了一个层归一化(layer-normalization)。
将过程中的向量相加和layer-norm(即求和与归一化)的示意图如下所示:
当然在解码器子层中也是这样的,当我们现在画一个有两个编码器和解码器的Transformer,那就是下图这样的:
现在我们已经介绍了编码器的大部分概念,由于encoder的decoder组件差不多,所以也就基本知道了解码器的组件是如何工作的。如此,那让我们直接看看二者是如何协同工作的:
值得一提的是,解码器中的自注意力层和编码器中的不太一样:
Decoder输出的是一个浮点型向量,如何把它变成一个词?这就是最后一个线性层和softmax要做的事情。
线性层就是一个简单的全连接神经网络,它将解码器生成的向量映射到logits向量中。
假设我们的模型词汇表是10000个英语单词,它们是从训练数据集中学习的。那logits向量维数也是10000,每一维对应一个单词的分数。
然后,softmax层将这些分数转化为概率(全部为正值,加起来等于1.0),选择其中概率最大的位置的词汇作为当前时间步的输出。
现在我们已经了解了Transformer的整个前向传播的过程,那我们继续看一下训练过程。
在训练期间,未经训练的模型会进行相同的前向传播过程。由于我们是在有标记的训练数据集上训练它,所以我们可以将其输出与实际的输出进行比较。
为了便于理解,我们假设预处理阶段得到的词汇表只包含六个单词(“a”, “am”, “i”, “thanks”, “student”, “
注意这个词汇表是在预处理阶段就创建的,在训练之前就已经得到了。
一旦我们定义好了词汇表,我们就可以使用长度相同的向量(独热码,one-hot 向量)来表示词汇表中的每个单词。例如,我们可以用以下向量表示单词“am”:
接下来让我们讨论一下模型的损失函数,损失函数是我们在训练阶段优化模型的指标,通过损失函数,可以帮助我们获得一个准确的、我们想要的模型。
假设现在是训练阶段的第一步,我们用一个简单的例子(一个句子就一个词)来训练模型:把法文单词“merci”翻译成英文单词“thanks”。
这意味着,我们希望输出是表示“thanks”的概率分布。但由于这个模型还没有经过训练,所以目前还不太可能实现。
由于模型的参数都是随机初始化的,未经训练的模型为每个单词生成任意的概率分布。
我们可以将其与实际输出进行比较,然后使用反向传播调整模型的权重(关于反向传播的解释,请查看此文:如何理解反向传播算法BackPropagation),使输出更接近我们所需要的值。
如何比较两种概率分布?在这个例子中我们只是将二者相减。实际应用中的损失函数请查看交叉熵损失和Kullback–Leibler散度。
上述只是最最简单的一个例子。现在我们来使用一个短句子(一个词的句子升级到三三个词的句子了),比如输入法文 “je suis étudiant”,预期的英文翻译结果为: “i am a student”。
所以我们希望模型不是一次输出一个词的概率分布了,能不能连续输出概率分布,最好满足下边要求:
对应上面的单词表,我们可以看出这里的one-hot向量是我们训练之后想要达到的目标。
在足够大的数据集上训练模型足够长的时间后,我们希望生成的概率分布如下所示:
这个是我们训练之后最终得到的结果。当然这个概率并不能表明某个词是否是训练集之中的词汇。
在这里你可以看到softmax的一个特性,就是即使其他单词并不是本时间步的输出,也会有一丁点的概率存在,这一特性有助于帮助模型进行训练。
模型一次产生一个输出,在这么多候选中我们如何获得我们想要的输出呢?现在有两种处理结果的方法:
本部分内容基本或参考或引用自本文开头所说的张俊林老师的文章,或文末参考文献6:《说说NLP中的预训练技术发展史:从Word Embedding到Bert模型》,此文逻辑清晰,核心要点都有。
在本文的第一部分中,我们介绍了word2vec,但实际生产应用中,word2vec的效果并没有特别好。所以,Word Embedding存在什么问题?
这片在Word Embedding头上笼罩了好几年的乌云是什么?是多义词问题。
如上图所示,比如多义词Bank,有两个常用含义,但是Word Embedding在对bank这个单词进行编码的时候,是区分不开这两个含义的,因为它们尽管上下文环境中出现的单词不同,但是在用语言模型训练的时候,不论什么上下文的句子经过word2vec,都是预测相同的单词bank,而同一个单词占的是同一行的参数空间,这导致两种不同的上下文信息都会编码到相同的word embedding空间里去。
所以word embedding无法区分多义词的不同语义,问题的产生总是无情的推动技术的发展,这不ELMO就来了。
ELMO是“Embedding from Language Models”的简称,提出ELMO的论文题目:“Deep contextualized word representation”更能体现其精髓,而精髓在哪里?在deep contextualized这个短语,一个是deep,一个是context,其中context更关键。
它与之前的wordvec有何本质区别?
所以ELMO本身是个根据当前上下文对Word Embedding动态调整的思路。
ELMO采用了典型的两阶段过程
上图展示的是其预训练过程,它的网络结构采用了双层双向LSTM(忘了LSTM长啥样的,可以通过参考文献3回顾下),双向LSTM可以干啥?可以根据单词的上下文去正确预测单词,说人话,就是做完形填空。之前的单词序列Context-before称为上文,之后的单词序列Context-after称为下文。
至于有同学有疑问了,ELMO咋采用双向结构不就能看到需要预测的单词了么,你都能看到参考答案了,那岂不影响最终模型训练的效率与准确性,因为哪有做题时看着参考答案做题的。不过,巧就巧在ELMO采用的双向结构是基于LSTM的,而各个LSTM之间是独立的,从而避免了这个问题!
上图左端的前向双层LSTM代表正方向编码器,输入的是从左到右顺序的除了预测单词外的上文Context-before;右端的逆向双层LSTM代表反方向编码器,输入的是从右到左的逆序的句子下文Context-after;每个编码器的深度都是两层LSTM叠加。
这个网络结构其实在NLP中是很常用的。使用这个网络结构利用大量语料做语言模型任务就能预先训练好这个网络,如果训练好这个网络后,输入一个新句子,句子中每个单词都能得到对应的三个Embedding:
也就是说,ELMO的预训练过程不仅仅学会单词的Word Embedding,还学会了一个双层双向的LSTM网络结构,而这两者后面都有用。
上面介绍的是ELMO的第一阶段:预训练阶段。
那么预训练好网络结构后,如何给下游任务使用呢?
下图展示了下游任务的使用过程,比如我们的下游任务仍然是QA问题,此时对于问句X
对于上图所示下游任务QA中的回答句子Y来说也是如此处理。因为ELMO给下游提供的是每个单词的特征形式,所以这一类预训练的方法被称为“Feature-based Pre-Training”。
技术迭代的长河永不停歇,那么站在现在这个时间节点看,ELMO有什么值得改进的缺点呢?
除了以ELMO为代表的这种基于特征融合的预训练方法外,NLP里还有一种典型做法,这种做法和图像领域的方式就是看上去一致的了,一般将这种方法称为“基于Fine-tuning的模式”,而GPT就是这一模式的典型开创者。
GPT是“Generative Pre-Training”的简称,从名字看其含义是指的生成式的预训练。
GPT也采用两阶段过程,第一个阶段是利用语言模型进行预训练,第二阶段通过Fine-tuning的模式解决下游任务。下图展示了GPT的预训练过程,其实和ELMO是类似的,主要不同在于两点:
ELMO在做语言模型预训练的时候,预测单词可以同时使用上文和下文做完形填空,用的双向LSTM结构,而GPT则只采用Context-before这个单词的上文来进行预测,而抛开了下文。说人话,就是让你根据提示造句,从左到右,是单向的。
什么是单向Transformer?在Transformer的文章中,提到了Encoder与Decoder使用的Transformer Block是不同的。怎么个不同?通过本文第三部分对Transformer的介绍可得知:
- Encoder因为要编码整个句子,所以每个词都需要考虑上下文的关系。所以每个词在计算的过程中都是可以看到句子中所有的词的;
- 但是Decoder与Seq2Seq中的解码器类似,每个词都只能看到前面词的状态,所以是一个单向的Self-Attention结构
换言之,在解码Decoder Block中,使用了Masked Self-Attention,即句子中的每个词,都只能对包括自己在内的前面所有词进行Attention,这就是单向Transformer。
而GPT使用的Transformer结构就是将Encoder中的Self-Attention替换成了Masked Self-Attention,从而每个位置的词看不到后面的词,看不到好啊!
July写博客嘛,就喜欢抠细节 不抠清楚不罢休,故帮本文的读者发挥下想象。
比如有人可能立马就疑问了,为何看不到还好?因为我本来就要训练模型的预测能力,让模型通过大量样本慢慢的学会通过上文预测下一个单词,而如果你通过上文预测下一个单词的时候你都能看见下一个单词、看到答案了,还做个啥子预测?
这和咱们学生时代做题一样,你都有参考答案了,你还能好好做题不?你会分心、分神,最终你做题的能力会越来越差..
凡事都要辩证的看,凡事也都有利有弊。根据上文预测下个单词还好,本身就是根据提示造句嘛,只有上文。但如果训练模型做完形填空的能力呢?做完形填空需要结合上下文语境:从左到右 + 从右到左),是双向的。所以,如果预训练时候不把单词的下文嵌入到Word Embedding中,在面对完形填空类似任务时就显得力不从心了。
上面讲的是GPT如何进行第一阶段的预训练,那么假设预训练好了网络模型,后面下游任务怎么用?它有自己的个性,和ELMO的方式大有不同。
上图展示了GPT在第二阶段如何使用。
虽然GPT基本就用的Transformer的机构,但话虽如此,可光理论不举例则总是不够形象、不够具体。
接下来,举个例子。我们已经能理解语言很大程度上是依赖于语境的。例如,看看机器人第二定律:
Second Law of Robotics
A robot must obey the orders given it by human beings except where such orders would conflict with the First Law.
上面这个句子中有三个地方被标粗了,这些地方的单词是指代其他单词的。如果不结合它们所指的上下文,就没有办法理解或处理这些单词。当一个模型处理这个句子时,它必须能够知道:
这就是自注意力要做的。在处理某个单词之前,它会先让模型理解相关单词,这些相关单词可以解释某个单词的上下文。注意力要做的就是给每个词进行相关度打分,并将它们的向量表示相加来。
如下图,处理“it”的时候,注意力机制会关注到“a robot”,注意力会计算三个词“it”、“a”、“robot”的向量及其attention分数的加权和。
上文已经说过了,自注意力机制沿着序列中每一个单词的路径进行处理,一分为三成三个向量:查询向量(Query 向量)、键向量(Key 向量)、值向量(Value 向量)。
一个简单的比喻是,就像在文件柜里找文件一样。query就像一张你拿着一张便签,上面写着要找的主题。key就像柜子里文件夹的标签,当你找到与便利贴上相关的标签的时候,我们取出该文件夹,文件夹中的内容就是value向量。当然你要找的不是一个文件,是一组相关文件。
将query向量乘以key向量生成文件夹的相关度分数(实现上就是两个向量点积之后softmax)。
我们把每一个key乘以一组value,然后相加,这就产生了最终自注意力层的结果。
这样将值向量加权混合得到的结果是一个向量,它将其 50% 的「注意力」放在了单词「robot」上,30% 的注意力放在了「a」上,还有 19% 的注意力放在「it」上。
接下来,我们继续向前探索 transformer 堆栈,看看模型的输出。
当最后一个decoder组件产生输出之后(即经过了它自注意力层和神经网络层的处理),模型会将输出的向量乘上embedding矩阵。
我们知道,嵌入矩阵的每一行都对应模型的词汇表中一个单词的嵌入向量。所以这个乘法操作得到的结果可以认为是词汇表中每个单词对应的注意力得分:即对整个词汇表的打分。
我们简单地选取分数最高的单词作为输出结果(即 top-k = 1)。但其实如果模型考虑其他候选单词的话,效果通常会更好。因此一个更好的策略是使用这个分数进行随机采样,从中抽一个词出来,这样分数高的词汇被选中的概率也高。通常一个折中的方法是,将 top-k 设为 40,这样模型会考虑注意力得分排名前 40 位的单词。
这样,模型就完成了一次迭代,最终输出了一个单词。该模型继续迭代,直到生成整个上下文(GPT-2序列上限1024个token)或直到生成序列结束的token
。
我们经过跋山涉水,终于到了目的地Bert模型了。GPT-2是使用「Transformer单向解码器Decoder模块」构建的,而 BERT则是通过「Transformer双向编码器Encoder 模块」构建的:
所以这里Bert的预训练过程不必多讲了。
第二阶段,Fine-Tuning阶段,这个阶段的做法和GPT是一样的。
到这里我们可以再梳理下几个模型之间的演进关系。从上图可见,Bert其实和ELMO及GPT存在千丝万缕的关系,
所以你可以看出:Bert最关键两点
那么新问题来了:对于Transformer来说,怎么才能在这个结构上做双向语言模型任务呢?
首先,它借鉴了Word2Vec的CBOW方法:根据需要预测单词的上文Context-Before和下文Context-after去预测单词。
问题又来了,如果我们要训练ELMO、GPT、BERT做完形填空的能力时
好问题啊!如果BERT只是一个大杂烩,没有任何创新,便只会注定BERT平凡的命运,也就不是我们目前所熟知的BERT了。但Bert强就强在除了集众所长之外,还做了两个创新:一个是论文中指出的Masked 语言模型,一个是Next Sentence Prediction。而Masked语言模型的本质思想其实就是CBOW,但是细节方面有改进。
实际上,“Masked Language Model(MLM)和核心思想取自Wilson Taylor在1953年发表的一篇论文。所谓MLM是指在训练的时候随即从输入预料上mask掉一些单词,然后通过的上下文预测该单词,该任务非常像我们在中学时期经常做的完形填空。正如传统的语言模型算法和RNN匹配那样,MLM的这个性质和Transformer的结构是非常匹配的。
也就是说,当BERT用到Transformer双向结构做完形填空时(即想要知道上文的信息,又想要知道下文的信息),为了让BERT尽快自行具备更准确的预测能力,就得让BERT不知道要预测词的信息,那么就干脆不要告诉模型这个词的信息就可以了。也就是说,BERT在输入的句子中,挖掉一些需要预测的词,然后通过上下文来分析句子,最终使用其相应位置的输出来预测被挖掉的词。
但是,直接将大量的词替换为
这样一来就相当于告诉模型,我可能给你答案,也可能不给你答案,也可能给你错误的答案,有
至于BERT的第二个创新点:“Next Sentence Prediction”,指的是做语言模型预训练的时候,分两种情况选择两个句子,一种是选择语料中真正顺序相连的两个句子;另外一种是第二个句子从语料库中抛色子,随机选择一个拼到第一个句子后面。我们要求模型除了做上述的Masked语言模型任务外,附带再做个句子关系预测,判断第二个句子是不是真的是第一个句子的后续句子。
之所以这么做,是考虑到很多NLP任务是句子关系判断任务,单词预测粒度的训练到不了句子关系这个层级,增加这个任务有助于下游句子关系判断任务。所以可以看到,它的预训练是个多任务过程。这也是Bert的一个创新。
July注6:「“换句话说,Next Sentence Prediction(NSP)的任务是判断句子B是否是句子A的下文。如果是的话输出’IsNext‘,否则输出’NotNext‘。训练数据的生成方式是从平行语料中随机抽取的连续两句话,其中50%保留抽取的两句话,它们符合IsNext关系,另外50%的第二句话是随机从预料中提取的,它们的关系是NotNext的。这个关系保存在BERT输入表示图中的[CLS]符号中。”」
上面这个图给出了一个我们此前利用微博数据和开源的Bert做预训练时随机抽出的一个中文训练实例,从中可以体会下上面讲的masked语言模型和下句预测任务。训练数据就长这种样子。
顺带讲解下Bert的输入部分,也算是有些特色。它的输入部分是个线性序列,两个句子通过分隔符分割,最前面和最后增加两个标识符号。每个单词有三个embedding:
把单词对应的三个embedding叠加,就形成了Bert的输入。
July注:「“BERT的输入的编码向量(长度是512)是3个嵌入特征的单位和,这三个词嵌入特征是:
1) 位置嵌入(Position Embedding):位置嵌入是指将单词的位置信息编码成特征向量,位置嵌入是向模型中引入单词位置关系的至关重要的一环;
2) WordPiece 嵌入:WordPiece是指将单词划分成一组有限的公共子词单元,能在单词的有效性和字符的灵活性之间取得一个折中的平衡。例如上图的示例中‘playing’被拆分成了‘play’和‘ing’;
3) 分割嵌入(Segment Embedding):用于区分两个句子,例如B是否是A的下文(对话场景,问答场景等)。对于句子对,第一个句子的特征值是0,第二个句子的特征值是1。
对了,其中的[SEP]表示分句符号,用于断开输入语料中的两个句子。”」
至于Bert在预训练的输出部分如何组织,可以参考上图的注释。
我们说过Bert效果特别好,那么到底是什么因素起作用呢?如上图所示,对比试验可以证明,跟GPT相比,双向语言模型起到了最主要的作用,对于那些需要看到下文的任务来说尤其如此。而预测下个句子来说对整体性能来说影响不算太大,跟具体任务关联度比较高。
BERT的横空出世基本也是NLP模型不断发展、演变的结果,如参考文献7所总结的:
首先是Word Embedding。它可以看成是对单词特征提取得到的产物,它也是深度学习的副产物。随后,人们又提出了Word2Vec,GloVe等类似预训练的词向量,作为对单词的特征抽象,输入深度学习模型。
其次是RNN。RNN使得神经网络具有时序的特性,这种特性非常适合解决NLP这种词与词之间有顺序的问题。但是,深度学习存在梯度消失问题,这在RNN中尤其明显,于是人们提出了LSTM/GRU等技术,以解决这种梯度消失问题。在2018年以前,LSTM和GRU在NLP技术中占据了绝对统治地位。
当时RNN有个致命的问题,就是训练慢,无法并行处理,这限制了其发展。于是人们想到了是否可以用CNN替代RNN,以解决这个问题。于是人们提出了用1D CNN来解决NLP问题。但是这种方式也有个明显问题,就是丢掉了RNN的时序优势。
除了时序问题,我们还不得不提另外一个关键问题,即注意力Attention。Attention最早用于图像识别领域,然后再被用于NLP领域。
有了Attention技术,我们急需新技术既可以保证并行处理,又可以解决时序问题。于是Transformer腾空出世。它也是BERT的基础之一。
除此之外,ELMO提出的预训练双向语言模型以及GPT提出的单向Tranformer也是最新双向Transformer发展的基础,在《Attention Is All You Need》一文,Transformer上升到另外一个高度。
BERT正是综合以上这些优势提出的方法,可以解决NLP中大部分问题。
总之,Bert借鉴了ELMO,GPT及CBOW,主要提出了Masked 语言模型及Next Sentence Prediction,但是这里Next Sentence Prediction基本不影响大局,而Masked LM明显借鉴了CBOW的思想。所以说Bert的模型没什么大的创新,更像最近几年NLP重要进展的集大成者,这点如果你看懂了上文估计也没有太大异议,如果你有大的异议,杠精这个大帽子我随时准备戴给你。
如果归纳一下这些进展就是:
Bert最大的亮点在于效果好及普适性强,几乎所有NLP任务都可以套用Bert这种两阶段解决思路,而且效果应该会有明显提升。可以预见的是,未来一段时间在NLP应用领域,Transformer将占据主导地位,而且这种两阶段预训练方法也会主导各种应用。
《说说NLP中的预训练技术发展史:从Word Embedding到Bert模型》,张俊林
深度学习:前沿技术-从Attention,Transformer,ELMO,GPT到BERT
自然语言处理中的Transformer和BERT
超细节的BERT/Transformer知识点
《The Illustrated GPT-2 (Visualizing Transformer Language Models)》(翻译版1、翻译版2)
Transformer结构及其应用详解--GPT、BERT、MT-DNN、GPT-2
从10.19日起,除了日常工作或去高校谈合作外,每天1/3的时间都在写这篇BERT笔记(晚上+白天一两个小时,每天如此)。行文过程中,因为各种查阅资料,自己之前一些比较模糊的细节逐渐清晰,而本文初稿差不多后,很多以前不想看的文章仔细一看,其中有1/3至少还是可以看的,核心原因自然是自己通过写本文对BERT相关的模型、技术、概念相较之前理解更深了,即便有的文章在表达上不是特别好,但基本能看出作者想表达啥。
另外1/3只要把文中的某些细节补充下,或者某些表达再通俗化下,或者再举几个例子就会好很多,至于最后1/3..
其次,我也在想,为何BERT出来至今已经4年了,但真正面向初学者入门且通俗易懂的BERT笔记为何并不多见(即便是显得水平高的文章其中很多离我司的BERT课程亦相差甚远),仔细想来应该无外乎缘由如下,姑且逐步深入探讨下
在此之前 作为初学者的你可能看过非常多关于BERT的文章(或者word2vec、注意力机制、transformer的),读完此文后,相信之前很多你读不下去、读不完的文章有1/3可以读下去、读得懂了,至于剩下的2/3,帮助有限,可以先不看。
截止到今天10.24,本文还只是初稿,未来一两周,本文会大修;未来一两月,本文会中修,未来一两年,本文会小修。还是那句话,竭尽全力,让本文成为每一个初学者都能看下去且完全看懂的通俗笔记,不至于各种卡壳而中断阅读。有啥问题,欢迎随时留言或指正,thanks。