CS294-112: Policy Gradients

一、策略梯度法

1、评估策略

在前面的学习中，我们已经了解到了，强化学习的目标是求解下式:

$${\theta }^{\ast }=arg\underset{\theta }{\max }{E}_{\tau \sim p_{\theta }(\tau )}[\sum _{t}r(s_t,a_t)]\text{\hspace{1em}(1)}$$

其中：$$p_{\theta }(\tau )=p(s_1){\Pi }_{t=1}^T{\pi }_{\theta }(a_t|s_t)p(s_{t+1}|s_t,a_t)\text{\hspace{1em}(2)}$$

要推导出梯度策略法，我们先研究如何评估目标函数:
$$J(\theta )=E_{\tau \sim p_{\theta }(\tau )}[\sum _{t}r(s_t,a_t)]\text{\hspace{1em}(3)}$$

由于不清楚$p_{\theta }(\tau )$的解析式，因此我们没法直接求解，但是我们能够使用蒙特卡洛方法抽样近似，即:

$$J(\theta )=\frac{1}{N}\sum _i\sum _{t}r(s_{i,t},a_{i,t})\text{\hspace{1em}(4)}$$

其中$N$表示抽样的样本数。$s_{i,t},a_{i,t}$分别表示第$i$个样本在时刻$t$的状态和行动。

这里的抽样即在橘色框中完成，抽样的结果可以理解为下图右方的多条路径。

而计算(4)式的过程即在绿色框中完成。

现在我们利用蒙特卡洛抽样的方法能够评估策略的好快，那么我们如何完成蓝色框中的任务，即优化策略呢？

2、优化策略

在优化中，最常见的方法便是根据梯度优化目标函数，在这里我们仍然采用该方法。令:
$$r(\tau )=\sum _{t}r(s_t,a_t)\text{\hspace{1em}(5)}$$
则目标函数(3)式可写为:
$$J(\theta )=\int p_{\theta }(\tau )r(\tau )d\tau \text{\hspace{1em}(6)}$$
其梯度为:
$${\nabla }_{\theta }J(\theta )=\int {\nabla }_{\theta }{p}_{\theta }(\tau )r(\tau )d\tau \text{\hspace{1em}(7)}$$

同样，不知道$p_{\theta }(\tau )$的表达式，且该处有积分，我们无法直接计算(7)式。 但是我们有以下的重要恒等式:

$$p_{\theta }(\tau ){\nabla }_{\theta }log{p}_{\theta }(\tau )={\nabla }_{\theta }{p}_{\theta }(\tau )\text{\hspace{1em}(8)}$$

由(7)和(8)式，我们得到
$${\nabla }_{\theta }J(\theta )=\int p_{\theta }(\tau ){\nabla }_{\theta }log{p}_{\theta }(\tau )r(\tau )d\tau \text{\hspace{1em}(9)}$$

对(9)式，现在我们可以使用蒙特卡洛方法近似梯度(数学实在神奇), 可写为:

$${\nabla }_{\theta }J(\theta )=\int p_{\theta }(\tau ){\nabla }_{\theta }log{p}_{\theta }(\tau )r(\tau )d\tau =\frac{1}{N}\sum _{i=1}^N{\nabla }_{\theta }log{p}_{\theta }({\tau }_i)r({\tau }_i)\text{\hspace{1em}(10)}$$

现根据(2)式求出:
$$log{p}_{\theta }(\tau )=logp(s_1)+\sum _{t=1}^T[log{\pi }_{\theta }(a_t|s_t)+logp(s_{t+1}|a_t,s_t)]\text{\hspace{1em}(11)}$$

因此有：
$${\nabla }_{\theta }log{p}_{\theta }(\tau )=\sum _{t=1}^T{\nabla }_{\theta }log{\pi }_{\theta }(a_t|s_t)\text{\hspace{1em}(12)}$$

根据(10)和(12)式，并将$r(\tau )$展开，我们可以写出梯度的最终形式:

$${\nabla }_{\theta }J(\theta )=\frac{1}{N}\sum _{i=1}^N\left[\left(\sum _{t=1}^T{\nabla }_{\theta }log{\pi }_{\theta }(a_t|s_t)\right)\left(\sum _{t=1}^{T}r(s_{i,t},a_{i,t})\right)\right]\text{\hspace{1em}(13)}$$

可以看到，这个梯度竟然既不依赖初始分布，也不依赖转移概率，实在惊喜，这样，只要我们能够求出${\nabla }_{\theta }log{\pi }_{\theta }(a_t|s_t)$, 我们便能够求得梯度，进而实现策略的优化。而这，就是最简单的梯度策略法：REINFORCE (Williams, 1992)

3、直观理解

推导到这里，我们再简单小结一下算法流程:

(1) 黄色框： 运行策略${\pi }_{\theta }(a|s)$, 抽样得到 { τ } i = 1 N \{ \tau\}_{i=1}^N {τ}i=1N​
(2) 绿色框： 根据(4)式计算总的奖励，衡量当前策略的好坏
(3) 蓝色框：根据(13)式计算参数梯度，然后走一个梯度上升步$\theta \leftarrow \theta +\lambda {\nabla }_{\theta }J(\theta )$

但是，如果我们仅仅使用该算法进行学习，学习的效果往往是不太好的。要分析为什么不太好，以及如何改进，我们先进一步理解${\nabla }_{\theta }log{\pi }_{\theta }(a_t|s_t)$究竟代表什么。

回顾我们所做的工作，我们使用轨迹样本近似了目标函数梯度
$${\nabla }_{\theta }J(\theta )=\frac{1}{N}\sum _{i=1}^N{\nabla }_{\theta }log{p}_{\theta }({\tau }_i)r({\tau }_i)\text{\hspace{1em}(14)}$$
而我们知道，对于普通的监督学习，如果我们采用极大似然估计学习策略，最终我们的梯度为:
$${\nabla }_{\theta }{J}_{ML}(\theta )=\frac{1}{N}\sum _{i=1}^N{\nabla }_{\theta }log{p}_{\theta }({\tau }_i)\text{\hspace{1em}(15)}$$
观察(14)和(15)式，可以看到策略梯度算法在做和极大似然估计非常相似的事情。只是策略梯度算法多了一个奖励函数的权重$r({\tau }_i)$.

这也很容易理解，对于极大似然问题，我们认为每一个样本都是合理的，因此都需要最大化其出现概率。对于策略梯度算法，有的样本是好的，有的样本是坏的，是好是坏我们根据奖励函数决定，当一个样本对应的奖励函数的值为正时，那么策略梯度算法便会增大其概率，为负，则减少其概率。

当然，如果我们只有部分观测信息，即不能得到状态$s$而只能得到观测$o$, 我们同样可以使用(13)式得到基于观测的梯度

$${\nabla }_{\theta }J(\theta )=\frac{1}{N}\sum _{i=1}^N\left[\left(\sum _{t=1}^T{\nabla }_{\theta }log{\pi }_{\theta }(a_t|o_t)\right)\left(\sum _{t=1}^{T}r(o_{i,t},a_{i,t})\right)\right]\text{\hspace{1em}(16)}$$

这是策略梯度法一个很好的性质，但是在我们以后介绍的基于Q函数之类的学习算法，这个性质往往是不成立的。

了解了策略梯度算法和极大似然估计实际在做类似的事情，只是其多了一个权重$r({\tau }_i)$来指导概率分布的更新，这样，我们便能够分析其存在的问题了。

4、高方差问题

由于本质上我们计算(13)的过程是抽样，而抽样可能是不充分的，因此会导致结果不稳定，可以从此方面预感到高方差的问题。

下面从直观来理解:

如上图所示，蓝色的实曲线是当前概率分布$p_{\theta }(\tau )$， 若我们经过一次抽样得到3个样本，其奖励函数值如绿色实线所示，那么根据(14)式，由于最左放的绿色实线奖励函数为负，因此策略梯度算法会急剧地将概率分布拉向右边的两个奖励分布为正的样本。 但是, 若我们对三个奖励函数同时加一个常数得到黄色实线，同样根据(14)式，算法却不会那么急剧的移动。而且更严重的，如果较好的样本对应的奖励函数刚好是0，则其对梯度的贡献也是0，因此是不会产生优化效果的。

就这样加一个常数，就能够很大地改变梯度，影响分布的优化，因此策略梯度算法优化是极不稳定的，也就是说它是高方差的。

再啰嗦一点，观察(6)式，其实如果对奖励函数加一个函数，我们将常数提出来，最后是不会影响梯度的。但是最后实践却产生了影响，这本质还是因为采样不充分。

二、方差削减