人工智能-机器学习-深度学习-自然语言处理(NLP)-生成模型：Seq2Seq模型（Encoder-Decoder框架、Attention机制）

我们之前遇到的较为熟悉的序列问题，主要是利用一系列输入序列构建模型，预测某一种情况下的对应取值或者标签，在数学上的表述也就是通过一系列形如 ${\text{X}}_i=(x_1,x_2,...,x_n)$ 的向量序列来预测 $Y$ 值，这类的问题的共同特点是，输入可以是一个定长或者不定长的序列，但输出一般要求是一个固定长度的序列（单个标签较为常见，即长度为1的序列）。

例如利用RNN网络的文本情感分类，输入的文本长度不固定，但输出是某一个情感标签。这样的问题我们已经有相对成熟的方法解决，而在有的现实场景中，我们更希望输入与输出的序列长度都不固定，针对此类问题，则使用Seq2Seq模型。

一、Encoder-Decoder模型

• 所谓Encoder-Decoder模型，又叫做编码-解码模型。这是一种应用于Seq2Seq问题的模型。
• 所谓编码，就是将输入序列转化成一个固定长度的向量；解码，就是将之前生成的固定向量再转化成输出序列。
  
• 编码器和解码器都不是固定的，可选的有CNN/RNN/BiRNN/LSTM/GRU等等，可以自由组合。比如说，你在编码时使用BiRNN，解码时使用RNN，或者在编码时使用RNN，解码时使用LSTM等等。
• 为了方便阐述，选取了编码和解码都是RNN的组合。
• 在序列到序列处理不定长序列的过程中，采用了序列的起始标记<S>和终止标记</S>来“告诉”编码器的编码过程何时开始与结束，也就是间接反映了当前序列的长度信息
  

1、Encoder(编码)

• 在RNN中，当前时间的隐藏状态是由上一时间的状态和当前时间输入决定的，也就是：$$h_t=f(h_{t-1},x_t)$$
• 获得了各个时间段的隐藏层以后，再将隐藏层的信息汇总，生成最后的语义向量：$$C=q(h_1,h_2,h_3,\dots ,h_{T_x})$$
• 一种简单的方法是将最后的隐藏层作为语义向量C，即 $$C=q(h_1,h_2,h_3,\dots ,h_{T_x})=h_{T_x}$$

2、Decoder(解码)

• 解码阶段可以看做编码的逆过程。这个阶段，我们要根据给定的语义向量 $C$ 和之前已经生成的输出序列 $Y_1,Y2,\dots Y_{t-1}$ 来预测下一个输出的单词 $Y_t$，即：$$Y_t=argmaxP(Y_t)=\prod _{t=1}^{T}p(Y_t|Y_1,\dots ,Y_{t-1},C)$$
• 也可以写作：$$Y_t=g(Y_1,\dots ,Y_{t-1},C)$$
• 而在RNN中，上式又可以简化成：$$Y_t=g(Y_{t-1},s_t,C)$$
  其中 $s$ 是输出RNN中的隐藏层，$C$ 代表之前提过的语义向量，$Y_{t-1}$ 表示上个时间段的输出，反过来作为这个时间段的输入。而 $g$ 则可以是一个非线性的多层的神经网络，产生词典中各个词语属于 $Y_t$ 的概率。
• Encoder-Decoder模型虽然非常经典，但是局限性也非常大。
• 最大的局限性就在于编码和解码之间的唯一联系就是一个固定长度的语义向量C。
• 也就是说，编码器要将整个序列的信息压缩进一个固定长度的向量中去。这样做有两个弊端，一是语义向量无法完全表示整个序列的信息，还有就是先输入的内容携带的信息会被后输入的信息稀释掉，或者说，被覆盖了。输入序列越长，这个现象就越严重。这就使得在解码的时候一开始就没有获得输入序列足够的信息， 那么解码的准确度自然也就要打个折扣了。

二、Attention模型

• 为了解决Encoder-Decoder模型的弊端，提出了Attention模型(注意力模型)。
• 简单的说，这种模型在产生输出的时候，还会产生一个“注意力范围”表示接下来输出的时候要重点关注输入序列中的哪些部分，然后根据关注的区域来产生下一个输出，如此往复。模型的大概示意图如下所示
  
• 相比于之前的encoder-decoder模型，attention模型最大的区别就在于它不在要求编码器将所有输入信息都编码进一个固定长度的向量之中。相反，此时编码器需要将输入编码成一个向量的序列，而在解码的时候，每一步都会选择性的从向量序列中挑选一个子集进行进一步处理。这样，在产生每一个输出的时候，都能够做到充分利用输入序列携带的信息。而且这种方法在翻译任务中取得了非常不错的成果。
• 以翻译任务的结构为例。解码部分使用了attention模型，而在编码部分，则使用了BiRNN(bidirectional RNN,双向RNN)
  

1、Decoder(解码)

• 我们先来看看解码。解码部分使用了attention模型。类似的，我们可以将之前定义的条件概率写作：$$p(Y_i|Y_1,\dots ,Y_{i-1},X)=g(Y_{i-1},s_i,c_i)$$
  上式 $s_i$ 表示解码器 $i$ 时刻的隐藏状态。计算公式是：$$s_i=f(s_{i-1},Y_{i-1},c_i)$$
  注意这里的条件概率与每个目标输出 $Y_i$ 相对应的内容向量 $c_i$ 有关。而在传统的方式中，只有一个内容向量 $C$。那么这里的内容向量 $c_i$ 又该怎么算呢？其实 $c_i$ 是由编码时的隐藏向量序列 $(h_1,\dots ,h_{T_x})$ 按权重相加得到的：$$c_i=\sum _{j=1}^{T_x}{\hat{\alpha }}_{ij}{h}_j$$
  由于编码使用了双向RNN，因此可以认为 $c_i$ 中包含了输入序列中第 $i$ 个词以及前后一些词的信息。将隐藏向量序列按权重相加，表示在生成第 $i$ 个输出的时候的注意力分配是不同的。${\alpha }_{ij}$ 的值越高，表示第 $i$ 个输出在第 $j$ 个输入上分配的注意力越多，在生成第 $i$ 个输出的时候受第 $j$ 个输入的影响也就越大。那么现在我们又有新问题了，${\alpha }_{ij}$ 又是怎么得到的呢？这个其实是由第 $i-1$ 个输出隐藏状态 $s_{i-1}$ 和输入中各个隐藏状态共同决定的。也即是：$${\alpha }_{ij}=\frac{e^{{\hat{\alpha }}_{ij}}}{{\sum }_{k=1}^{T_x}{e}^{{\hat{\alpha }}_{ik}}}$$ $${\hat{\alpha }}_{ik}=a(s_{i-1},h_k)$$
  也就是说，$s_{i-1}$ 先跟隐藏向量序列 $(h_1,\dots ,h_{T_x})$中的每一个 $h$ 通过函数 $a$ 分别计算得到一个数值，然后使用softmax得到 $i$ 时刻的输出在隐藏向量序列 $(h_1,\dots ,h_{T_x})$中的每一个 $h$ 上的注意力分配向量。这个分配向量也就是计算 $c_i$ 的权重。
• 我们现在再把公式按照执行顺序汇总一下：
  $${\hat{\alpha }}_{ik}=a(s_{i-1},h_k)$$ $${\alpha }_{ij}=\frac{e^{{\hat{\alpha }}_{ij}}}{{\sum }_{k=1}^{T_x}{e}^{{\hat{\alpha }}_{ik}}}$$ $$c_i=\sum _{j=1}^{T_x}{\hat{\alpha }}_{ij}{h}_j$$ $$s_i=f(s_{i-1},Y_{i-1},c_i)$$ $$Y_i=p(Y_i|Y_1,\dots ,Y_{i-1},X)=g(Y_{i-1},s_i,c_i)$$
  上面这些公式就是解码器在第i个时间段内要做的事情。
  

2、Encoder(编码)

• 相比于上面解码的创新，这边的编码就比较普通了，只是传统的单向的RNN中，数据是按顺序输入的。
• 因此第 $j$ 个隐藏状态 ${\overrightarrow{h}}_j$ 只能携带第 $j$ 个单词本身以及之前的一些信息；
• 而如果逆序输入，则${\overleftarrow{h}}_j$包含第 $j$ 个单词及之后的一些信息。
• 如果把这两个结合起来，$h_j=[{\overrightarrow{h}}_j,{\overleftarrow{h}}_j]$就包含了第 $j$ 个输入和前后的信息。

3、Attention模型实验结果

• 为了检验性能，模型作者分别使用传统模型和attention模型在英语-法语的翻译数据集上进行了测验。
• 传统模型的编码器和解码器各有1000个隐藏单元。编码器中还有一个多层神经网络用于实现从隐藏状态到单词的映射。在优化方面，使用了SGD(minibatch stochastic gradient descent)以及Adadelta,前者负责采样，后者负责优化下降方向。
• 得到的结果如下：
  
• 图中RNNenc表示传统的结构，而RNNsearch表示attention模型。后面的数字表示序列的长度。可以看到，不论序列长度，attention模型的性能均优于传统的编码-解码模型。而RNNsearch-50甚至在长文本上的性能也非常的优异
• 除了准确度之外，还有一个很值得关注的东西：注意力矩阵。之前已经提过，每个输出都有一个长为Tx的注意力向量，那么将这些向量合起来看，就是一个矩阵。对其进行可视化，得到如下结果
  
• 其中x轴表示待翻译的句子中的单词(英语)，y轴表示翻译以后的句子中的单词(法语)。可以看到尽管从英语到法语的过程中，有些单词的顺序发生了变化，但是attention模型仍然很好的找到了合适的位置。换句话说，就是两种语言下的单词“对齐”了。因此，也有人把注意力模型叫做对齐(alignment)模型。而且像比于用语言学实现的硬对齐，这种基于概率的软对齐更加优雅，因为能够更全面的考虑到上下文的语境。

三、Seq2Seq模型

1、Seq2Seq模型简介

• 对于一些自然语言处理任务，比如聊天机器人，机器翻译，自动文摘等，传统的方法都是从候选集中选出答案，这对素材的完善程度要求很高，
• 随着最近几年深度学习的兴起，国外学者将深度学习技术应用于自然语言的生成和自然语言的理解的方面的研究，并取得了一些突破性的成果，比如，Sequence-to-sequence (seq2seq) 模型，它是目前自然语言处理技术中非常重要而且非常流行的一个模型，
• Seq2Seq模型突破了传统的固定大小输入问题框架，开通了将经典深度神经网络模型运用于翻译与职能问答这一类序列型任务的先河，并且被证实在各主流语言之间的相互翻译以及语音助手中人机短问快答的应用中有着非常好的表现。
• seq2seq模型是在2014年，是由Google Brain团队和Yoshua Bengio 两个团队各自独立的提出来，他们发表的文章主要关注的是机器翻译相关的问题。而seq2seq模型，简单来说就是一个翻译模型，把一个语言序列翻译成另一种语言序列，
• seq2seq模型整个处理过程是通过使用深度神经网络LSTM或者RNN，将一个序列作为输入映射为另外一个输出序列，如下图所示:

2、Seq2Seq模型核心思想

• Seq2Seq模型是将一个序列信号，通过“编码&解码”生成一个新的序列信号，通常用于机器翻译、语音识别、自动对话等任务。
• Seq2Seq是一个Encoder–Decoder 结构的网络，它的输入是一个序列，输出也是一个序列， Encoder 中将一个可变长度的信号序列变为固定长度的向量表达，Decoder 将这个固定长度的向量变成可变长度的目标的信号序列。
• Seq2Seq模型是输出的长度不确定时采用的模型，这种情况一般是在机器翻译的任务中出现，将一句中文翻译成英文，那么这句英文的长度加粗样式有可能会比中文短，也有可能会比中文长，所以输出的长度就不确定了。如下图所，输入的中文长度为4，输出的英文长度为2。
  

3、Seq2Seq模型的优化目标

• 在监督学习的大部分模型中，我们都将考虑如何根据损失函数（或者叫目标函数）来更新模型参数，这也是模型训练的目标，在Seq2Seq模型中也不例外。
• seq2seq模型的目标在于根据输入序列的信息最大化目标输出序列的概率，类似于语言模型的思路。对于所有的训练样本，有以下形式的损失函数：
  
  其中 $N$ 为训练样本数量，$X_n$，$Y_n$为每个样本对应的输入和输出序列， $\theta$为待学习的参数向量。每一个 $p(Y_n|X_n,\theta )$ 都由Encoder-Decoder框架生成，其中包含在神经网络中的大量参数，可通过梯度下降的方式逐步优化。

---

---

---

参考资料：
草稿纸上的seq2seq模型与Attention机制