我是靠谱客的博主 缓慢冥王星,最近开发中收集的这篇文章主要介绍RNN梯度消失和爆炸的原因 以及 LSTM如何解决梯度消失问题RNN梯度消失和爆炸的原因LSTM如何解决梯度消失问题,觉得挺不错的,现在分享给大家,希望可以做个参考。

概述

RNN梯度消失和爆炸的原因

经典的RNN结构如下图所示:


1470684-20190512212739358-193087151.png


假设我们的时间序列只有三段, S_{0} 为给定值,神经元没有激活函数,则RNN最简单的前向传播过程如下:

S_{1}=W_{x}X_{1}+W_{s}S_{0}+b_{1}O_{1}=W_{o}S_{1}+b_{2}

S_{2}=W_{x}X_{2}+W_{s}S_{1}+b_{1}O_{2}=W_{o}S_{2}+b_{2}

S_{3}=W_{x}X_{3}+W_{s}S_{2}+b_{1}O_{3}=W_{o}S_{3}+b_{2}

假设在t=3时刻,损失函数为 L_{3}=frac{1}{2}(Y_{3}-O_{3})^{2} 

则对于一次训练任务的损失函数为 L=sum_{t=0}^{T}{L_{t}} ,即每一时刻损失值的累加。

使用随机梯度下降法训练RNN其实就是对 W_{x}  W_{s}  W_{o} 以及 b_{1}b_{2} 求偏导,并不断调整它们以使L尽可能达到最小的过程。

现在假设我们我们的时间序列只有三段,t1,t2,t3。

我们只对t3时刻的 W_{x}、W_{s}、W_{0} 求偏导(其他时刻类似):

frac{partial{L_{3}}}{partial{W_{0}}}=frac{partial{L_{3}}}{partial{O_{3}}}frac{partial{O_{3}}}{partial{W_{o}}}

frac{partial{L_{3}}}{partial{W_{x}}}=frac{partial{L_{3}}}{partial{O_{3}}}frac{partial{O_{3}}}{partial{S_{3}}}frac{partial{S_{3}}}{partial{W_{x}}}+frac{partial{L_{3}}}{partial{O_{3}}}frac{partial{O_{3}}}{partial{S_{3}}}frac{partial{S_{3}}}{partial{S_{2}}}frac{partial{S_{2}}}{partial{W_{x}}}+frac{partial{L_{3}}}{partial{O_{3}}}frac{partial{O_{3}}}{partial{S_{3}}}frac{partial{S_{3}}}{partial{S_{2}}}frac{partial{S_{2}}}{partial{S_{1}}}frac{partial{S_{1}}}{partial{W_{x}}}

frac{partial{L_{3}}}{partial{W_{s}}}=frac{partial{L_{3}}}{partial{O_{3}}}frac{partial{O_{3}}}{partial{S_{3}}}frac{partial{S_{3}}}{partial{W_{s}}}+frac{partial{L_{3}}}{partial{O_{3}}}frac{partial{O_{3}}}{partial{S_{3}}}frac{partial{S_{3}}}{partial{S_{2}}}frac{partial{S_{2}}}{partial{W_{s}}}+frac{partial{L_{3}}}{partial{O_{3}}}frac{partial{O_{3}}}{partial{S_{3}}}frac{partial{S_{3}}}{partial{S_{2}}}frac{partial{S_{2}}}{partial{S_{1}}}frac{partial{S_{1}}}{partial{W_{s}}}

可以看出对于 W_{0} 求偏导并没有长期依赖,但是对于 W_{x}、W_{s} 求偏导,会随着时间序列产生长期依赖。因为 S_{t} 随着时间序列向前传播,而 S_{t} 又是 W_{x}、W_{s}的函数。

根据上述求偏导的过程,我们可以得出任意时刻对 W_{x}、W_{s} 求偏导的公式:

frac{partial{L_{t}}}{partial{W_{x}}}=sum_{k=0}^{t}{frac{partial{L_{t}}}{partial{O_{t}}}frac{partial{O_{t}}}{partial{S_{t}}}}(prod_{j=k+1}^{t}{frac{partial{S_{j}}}{partial{S_{j-1}}}})frac{partial{S_{k}}}{partial{W_{x}}}

任意时刻对W_{s} 求偏导的公式同上。

如果加上激活函数, S_{j}=tanh(W_{x}X_{j}+W_{s}S_{j-1}+b_{1}) 

 prod_{j=k+1}^{t}{frac{partial{S_{j}}}{partial{S_{j-1}}}} = prod_{j=k+1}^{t}{tanh^{'}}W_{s}

激活函数tanh和它的导数图像如下。


1470684-20190512212749742-1241000000.png

由上图可以看出 tanh^{'}leq1 ,对于训练过程大部分情况下tanh的导数是小于1的,因为很少情况下会出现W_{x}X_{j}+W_{s}S_{j-1}+b_{1}=0 ,如果 W_{s} 也是一个大于0小于1的值,则当t很大时 prod_{j=k+1}^{t}{tanh^{'}}W_{s} ,就会趋近于0,和 0.01^{50} 趋近与0是一个道理。同理当 W_{s} 很大时 prod_{j=k+1}^{t}{tanh^{'}}W_{s} 就会趋近于无穷,这就是RNN中梯度消失和爆炸的原因。

至于怎么避免这种现象,让我在看看 frac{partial{L_{t}}}{partial{W_{x}}}=sum_{k=0}^{t}{frac{partial{L_{t}}}{partial{O_{t}}}frac{partial{O_{t}}}{partial{S_{t}}}}(prod_{j=k+1}^{t}{frac{partial{S_{j}}}{partial{S_{j-1}}}})frac{partial{S_{k}}}{partial{W_{x}}} 梯度消失和爆炸的根本原因就是 prod_{j=k+1}^{t}{frac{partial{S_{j}}}{partial{S_{j-1}}}} 这一坨,要消除这种情况就需要把这一坨在求偏导的过程中去掉,至于怎么去掉,一种办法就是使 {frac{partial{S_{j}}}{partial{S_{j-1}}}}approx1 另一种办法就是使 {frac{partial{S_{j}}}{partial{S_{j-1}}}}approx0 。其实这就是LSTM做的事情。

LSTM如何解决梯度消失问题

先上一张LSTM的经典图:


1470684-20190512212753744-2039739357.png

至于这张图的详细介绍请参考:Understanding LSTM Networks

下面假设你已经阅读过Understanding LSTM Networks这篇文章了,并且了解了LSTM的组成结构。

RNN梯度消失和爆炸的原因这篇文章中提到的RNN结构可以抽象成下面这幅图:


1470684-20190512212754183-21935751.png

而LSTM可以抽象成这样:


1470684-20190512212754481-298118564.png

三个×分别代表的就是forget gate,input gate,output gate,而我认为LSTM最关键的就是forget gate这个部件。这三个gate是如何控制流入流出的呢,其实就是通过下面 f_{t},i_{t},o_{t} 三个函数来控制,因为 sigma(x)(代表sigmoid函数) 的值是介于0到1之间的,刚好用趋近于0时表示流入不能通过gate,趋近于1时表示流入可以通过gate。

f_{t}=sigma({W_{f}X_{t}}+b_{f})

i_{t}=sigma({W_{i}X_{t}}+b_{i})

o_{i}=sigma({W_{o}X_{t}}+b_{o})

当前的状态 S_{t}=f_{t}S_{t-1}+i_{t}X_{t}类似与传统RNN S_{t}=W_{s}S_{t-1}+W_{x}X_{t}+b_{1}。将LSTM的状态表达式展开后得:

S_{t}=sigma(W_{f}X_{t}+b_{f})S_{t-1}+sigma(W_{i}X_{t}+b_{i})X_{t}

如果加上激活函数, S_{t}=tanhleft[sigma(W_{f}X_{t}+b_{f})S_{t-1}+sigma(W_{i}X_{t}+b_{i})X_{t}right]

RNN梯度消失和爆炸的原因这篇文章中传统RNN求偏导的过程包含 prod_{j=k+1}^{t}frac{partial{S_{j}}}{partial{S_{j-1}}}=prod_{j=k+1}^{t}{tanh{'}W_{s}}

对于LSTM同样也包含这样的一项,但是在LSTM中 prod_{j=k+1}^{t}frac{partial{S_{j}}}{partial{S_{j-1}}}=prod_{j=k+1}^{t}{tanh{’}sigma({W_{f}X_{t}+b_{f}})}

假设 Z=tanh{'}(x)sigma({y}) ,则 Z 的函数图像如下图所示:


1470684-20190512212758218-1434271791.png

可以看到该函数值基本上不是0就是1。

传统RNN的求偏导过程:

frac{partial{L_{3}}}{partial{W_{s}}}=frac{partial{L_{3}}}{partial{O_{3}}}frac{partial{O_{3}}}{partial{S_{3}}}frac{partial{S_{3}}}{partial{W_{s}}}+frac{partial{L_{3}}}{partial{O_{3}}}frac{partial{O_{3}}}{partial{S_{3}}}frac{partial{S_{3}}}{partial{S_{2}}}frac{partial{S_{2}}}{partial{W_{s}}}+frac{partial{L_{3}}}{partial{O_{3}}}frac{partial{O_{3}}}{partial{S_{3}}}frac{partial{S_{3}}}{partial{S_{2}}}frac{partial{S_{2}}}{partial{S_{1}}}frac{partial{S_{1}}}{partial{W_{s}}}

如果在LSTM中上式可能就会变成:

frac{partial{L_{3}}}{partial{W_{s}}}=frac{partial{L_{3}}}{partial{O_{3}}}frac{partial{O_{3}}}{partial{S_{3}}}frac{partial{S_{3}}}{partial{W_{s}}}+frac{partial{L_{3}}}{partial{O_{3}}}frac{partial{O_{3}}}{partial{S_{3}}}frac{partial{S_{2}}}{partial{W_{s}}}+frac{partial{L_{3}}}{partial{O_{3}}}frac{partial{O_{3}}}{partial{S_{3}}}frac{partial{S_{1}}}{partial{W_{s}}}

因为 prod_{j=k+1}^{t}frac{partial{S_{j}}}{partial{S_{j-1}}}=prod_{j=k+1}^{t}{tanh{’}sigma({W_{f}X_{t}+b_{f}})}approx0|1 ,这样就解决了传统RNN中梯度消失的问题。



来源:
 https://zhuanlan.zhihu.com/p/28749444

 https://zhuanlan.zhihu.com/p/28687529




来自为知笔记(Wiz)


转载于:https://www.cnblogs.com/jins-note/p/10853788.html

最后

以上就是缓慢冥王星为你收集整理的RNN梯度消失和爆炸的原因 以及 LSTM如何解决梯度消失问题RNN梯度消失和爆炸的原因LSTM如何解决梯度消失问题的全部内容,希望文章能够帮你解决RNN梯度消失和爆炸的原因 以及 LSTM如何解决梯度消失问题RNN梯度消失和爆炸的原因LSTM如何解决梯度消失问题所遇到的程序开发问题。

如果觉得靠谱客网站的内容还不错,欢迎将靠谱客网站推荐给程序员好友。

本图文内容来源于网友提供,作为学习参考使用,或来自网络收集整理,版权属于原作者所有。
点赞(40)

评论列表共有 0 条评论

立即
投稿
返回
顶部