强化学习 - 基于策略搜索和策略优化: 高斯策略

最近在做毕设需要用强化学习来做控制，对强化学习的知识点做一下总结。

高斯策略

高斯策略属于强化学习中的基于策略优化的分支（Policy Optimization），尤其是策略梯度方法（Policy Gradient Methods） 的一部分。这一分支专注于通过优化策略的参数来直接提升策略的性能，而不需要显式地学习一个价值函数。

---

高斯策略在强化学习中的位置

强化学习可以按照以下几个主要分支分类：

1. 基于价值函数的方法（Value-Based Methods）

   • 如Q-Learning、深度Q网络（DQN）。
   • 这些方法学习状态-动作值函数 ( Q(s, a) )，然后通过选择最大值的动作来构建策略。

2. 基于策略的方法（Policy-Based Methods）

   • 直接对策略进行建模并优化。
   • 高斯策略属于这一类方法，特别是策略梯度方法（Policy Gradient Methods），因为它通过优化概率分布（高斯分布）来学习策略。

3. 基于策略与价值的混合方法（Actor-Critic Methods）

   • 同时学习策略（Actor）和价值函数（Critic），如A3C、DDPG等。
   • 虽然高斯策略本身是策略梯度的一部分，但它也经常在这些方法中作为Actor的策略模型使用。

---

高斯策略与策略梯度的关系

高斯策略是一种经典的连续动作空间中的策略表示形式，其主要特点是将策略建模为一个概率分布（通常是高斯分布）：
$${\pi }_{\theta }(a|s)=\mathcal{N}({\mu }_{\theta }(s),{\Sigma }_{\theta }(s))$$

• 均值 ${\mu }_{\theta }(s)$ 和 协方差 ${\Sigma }_{\theta }(s)$ 是需要学习的策略参数。
• 通过最大化期望累计奖励 $J(\theta )={\mathbb{E}}_{{\pi }_{\theta }}[R]$来优化策略。

策略梯度方法的核心公式：

通过策略梯度定理，我们可以计算梯度并优化策略参数：
$${\nabla }_{\theta }J(\theta )={\mathbb{E}}_{{\pi }_{\theta }}\left[{\nabla }_{\theta }\log {\pi }_{\theta }(a|s)Q^{\pi }(s,a)\right]$$
其中：

• $\log {\pi }_{\theta }(a|s)$是高斯分布的对数似然。
• $Q^{\pi }(s,a)$ 是状态-动作值函数，用于评估策略的表现。

高斯策略在连续动作空间中的广泛应用，得益于高斯分布的可微性和灵活性，适合通过梯度优化调整策略。

---

高斯策略适用的场景

2. 适用场景：
   • 机器人控制：如臂式机器人轨迹规划。
   • 无人机导航：优化无人机通过动态障碍的策略（如论文中提到的任务）。
   • 自动驾驶：优化车辆在连续状态和动作空间中的驾驶策略。

---

高斯策略的实际应用：Policy Gradient vs Actor-Critic

• 纯策略梯度方法（如REINFORCE）：
  高斯策略直接使用策略梯度定理更新参数，但容易出现高方差问题。

• Actor-Critic方法：
  高斯策略作为Actor，由Critic（价值函数）提供更稳定的梯度信号，常见于：

  • 深度确定性策略梯度（DDPG）
  • 近端策略优化（PPO）
  • 信任区域策略优化（TRPO）

---

总结

高斯策略属于强化学习的基于策略优化的分支，具体归类为策略梯度方法。它特别适合解决连续动作空间中的任务，并在机器人控制、无人机飞行等领域得到广泛应用。结合其他强化学习算法（如Actor-Critic），高斯策略还能实现更稳定和高效的策略优化。

---

看一个GPT给的代码，理解高斯策略优化

import time
import numpy as np
import torch
import torch.nn as nn
import torch.optim as optim
import gym# =========== 1. 创建 Pendulum 环境 ===========
env = gym.make("Pendulum-v1", render_mode="human")# =========== 2. 定义高斯策略网络 ===========
class GaussianPolicy(nn.Module):def __init__(self, state_dim, action_dim):super(GaussianPolicy, self).__init__()self.fc = nn.Sequential(nn.Linear(state_dim, 64),nn.ReLU(),nn.Linear(64, action_dim))self.log_std = nn.Parameter(torch.zeros(action_dim))def forward(self, state):"""state: [batch_size, state_dim]  (例如 [1, 3])返回:mean: [batch_size, action_dim]std:  [action_dim] (可广播为 [batch_size, action_dim])"""mean = self.fc(state)std = torch.exp(self.log_std)return mean, std #前向传播输出的是均值和方差（动作的）# =========== 3. 初始化策略、优化器 ===========
state_dim = env.observation_space.shape[0]  # 3 for Pendulum
action_dim = env.action_space.shape[0]      # 1 扭矩
policy = GaussianPolicy(state_dim, action_dim) # model
optimizer = optim.Adam(policy.parameters(), lr=0.01) # 用adam优化器，优化model的参数# =========== 4. 策略梯度训练 (REINFORCE) ===========
def train(policy, env, episodes=300, gamma=0.99, render=False):for episode in range(episodes):state, _ = env.reset()log_probs = []rewards   = []total_reward = 0while True:# (A) 将状态转换为 [1, state_dim] 的张量state_t = torch.tensor(state, dtype=torch.float32).unsqueeze(0)# (B) 前向传播：获取动作分布mean, std = policy(state_t) # input: current state ; output: mean and std of actiondist = torch.distributions.Normal(mean, std) # 知道均值和方差，就可以直到action的高斯分布了。# (C) 采样动作，并计算 log_probaction = dist.sample()  # shape: (1, 1) 对动作空间采样log_prob = dist.log_prob(action).sum(dim=-1)  # 计算action的对数概率，为了策略梯度# (D) 裁剪动作并与环境交互action_env = action.detach().numpy()[0]action_env = np.clip(action_env,env.action_space.low[0],env.action_space.high[0])# 执行动作next_state, reward, terminated, truncated, info = env.step(action_env)# (E) 保存 log_prob & rewardlog_probs.append(log_prob)rewards.append(reward)total_reward += rewardstate = next_stateif terminated or truncated:break# ========== 回合结束：计算回报并更新策略 ==========returns = []G = 0for r in reversed(rewards): # 存放每个时间步的折扣累计奖励G = r + gamma * Greturns.insert(0, G)returns = torch.tensor(returns, dtype=torch.float32)# 标准化回报returns = (returns - returns.mean()) / (returns.std() + 1e-9)# REINFORCE 损失loss = 0# 对每个时间步的 (log_prob, return) 求和，前面加负号是因为要最大化期望回报，相当于最小化负的期望回报。for log_p, R in zip(log_probs, returns):loss -= log_p * Roptimizer.zero_grad()loss.backward()optimizer.step()# 打印训练进度if (episode + 1) % 50 == 0:print(f"Episode {episode+1}/{episodes}, Total Reward: {total_reward:.2f}")env.close()# =========== 5. 运行训练并渲染 ===========
if __name__ == "__main__":train(policy, env, episodes=300, render=True)

---

代码解析

在这行代码里：

dist = torch.distributions.Normal(mean, std)

我们使用了 PyTorch 提供的 概率分布模块（torch.distributions）来构建一个高斯（正态）分布对象。以下是这句代码背后的原理与作用：

1. 为什么要构建 torch.distributions.Normal(mean, std)

1. 表示连续动作策略
   在连续动作空间（如倒立摆），我们经常用高斯分布 (\mathcal{N}(\mu, \sigma^2)) 来表示“策略”，其中：

   • $\mu$（mean）：动作的均值
   • $\sigma$（std）：动作的标准差

2. 进行动作采样
   有了这个 Normal(mean, std) 对象，就可以用

   action = dist.sample()
   

   来采样一个连续值的动作 action，从而在不同状态下能产生随机探索的效果。

3. 计算对数概率（log_prob）
   在策略梯度强化学习里，需要用对数概率 $\log \pi (a|s)$ 来进行梯度更新。
   这个 dist 对象提供了 dist.log_prob(action)，可以直接得到对数似然，方便我们实现 REINFORCE、PPO 等算法的损失函数。

---

---

3. 原理：高斯分布中的参数

一个一维高斯（正态）分布通常由两个参数决定：
$$X\sim \mathcal{N}(\mu ,{\sigma }^2)$$

• $\mu$（mean）：分布的均值。
• $\sigma$（std）：分布的标准差。

**分布的概率密度函数（PDF）**为：
$$p(x)=\frac{1}{\sqrt{2\pi }\sigma }\exp \left(-\frac{(x-\mu {)}^2}{2{\sigma }^2}\right).$$

在代码中，mean 和 std 就是分别对应 (\mu) 和 (\sigma)；因此 torch.distributions.Normal(mean, std) 可以完整表达这个分布。

---

4. 强化学习中的用法

在许多连续控制的强化学习算法里（如REINFORCE、TRPO、PPO），我们往往直接建模一个高斯策略：

1. 网络输出：均值 $\mu (s)$ + 对数标准差 $\log \sigma$。
2. 构造分布：

   dist = torch.distributions.Normal(mean, std)
   

3. 采样动作：

   action = dist.sample()
   

4. 计算对数概率：

   log_prob = dist.log_prob(action)
   

   并用于策略梯度：
   $${\nabla }_{\theta }\sum _t\log {\pi }_{\theta }(a_t|s_t)\cdot G_t$$

这样就能在训练时学习到使期望回报最大的分布参数（mean 和 std），兼顾到探索（由 std 控制）和开销之间的平衡。

---

小结

• dist = torch.distributions.Normal(mean, std) 是在 PyTorch 中创建一个正态（高斯）分布对象。
• 通过这个对象可以采样动作和计算对数概率，这是连续动作空间的经典做法。
• 在强化学习中，这种高斯策略能实现探索，并且可通过梯度反向传播来学习 (\mu, \sigma) 等参数，从而自动优化控制策略。

为什么高斯策略最后能够使得policy最优？

在连续动作空间的强化学习中，使用高斯策略（Gaussian Policy）是一种非常常见且有效的做法。核心原因并不在于高斯分布“本质上就能保证全局最优”，而是由于高斯策略作为可微分且可训练的分布形式，能够通过策略梯度方法不断逼近最优策略。下面从几个关键角度解释为什么高斯策略在实践中常能得到很好的（局部）最优策略。

---

1. 高斯策略的可微性及易于优化

1. 连续空间需要可微分的概率分布

   • 在连续动作空间（如无人机控制、机械臂操作）中，需要一种能对动作进行可微分采样和可微分对数概率计算的方法。
   • 高斯分布 $\mathcal{N}(\mu ,{\sigma }^2)$拥有简单的概率密度函数和已知的对数似然形式，使得我们可以用梯度下降来优化$\mu$和$\sigma$。

2. PyTorch支持自动求导

   • 通过 torch.distributions.Normal，可以方便地计算 $\log \pi (a|s)$ 并反向传播到网络参数。
   • 这满足了策略梯度的核心需求：${\nabla }_{\theta }\log {\pi }_{\theta }(a|s)$。

3. 均值+协方差（或标准差）可学习

   • 只要用一个神经网络输出均值 $\mu (s)$与标准差$\sigma (s)$（或者对数标准差），就可以表示很多不同形状（在动作空间）的高斯分布。
   • 在训练过程中，通过梯度更新，这两个部分会朝使预期奖励更高的方向移动，从而逼近最优解。

---

2. 策略梯度方法能找到（局部）最优解

在策略梯度（Policy Gradient）或者 Actor-Critic 方法（如 PPO、TRPO）中：

1. 目标函数

   • 最大化期望累积奖励 $J(\theta )={\mathbb{E}}_{\tau \sim {\pi }_{\theta }}[\sum r_t]$。
   • 在连续动作场景下，为了对动作进行探索和梯度计算，需要将策略表示成某种分布${\pi }_{\theta }(a|s)$。高斯分布是常见选择。

2. 梯度更新

   • 策略参数 (\theta) 通过公式
     $$\theta \leftarrow \theta +\alpha {\nabla }_{\theta }\mathbb{E}[\sum \log {\pi }_{\theta }(a_t|s_t)R_t]$$
     （或其他 Actor-Critic 变体）
     不断迭代，尝试提升期望回报 (J(\theta))。

3. 高斯分布的好处

   • $\log {\pi }_{\theta }(a|s)$ 有解析形式：
     $$\log \mathcal{N}(a|\mu ,{\sigma }^2)=-\frac{1}{2}{\left(\frac{a-\mu }{\sigma }\right)}^2-\log \sigma -\frac{1}{2}\log (2\pi )$$
     易于对 $\mu$ 和 $\sigma$ 求梯度。

只要给定足够丰富的函数逼近（例如神经网络的隐层足够大），该策略能在梯度信息的指引下，不断“爬”向局部最优甚至全局最优区域。在很多问题上，高斯策略通常能达到不错的解。

---

3. 高斯策略的探索性与单峰假设

1. 探索性

   • 高斯分布是连续的且带有标准差（KaTeX parse error: Can't use function '\)' in math mode at position 7: \sigma\̲)̲）这一可调参量，可以自动学到合…\sigma$ 会变大；若需要精确决策，$\sigma$ 会缩小。

2. 单峰分布可能足够

   • 高斯分布是单峰分布，意味着策略假设动作分布呈现一个峰值。
   • 在很多控制问题中，这已经足以找到满意的（局部）最优，因系统动力学往往在最优附近相对平滑。

3. 可能的局限

   • 如果最优解呈多峰分布或非常复杂的形状（可能出现多种动作选择都能高回报），单一高斯很难同时捕捉；但通常通过神经网络（隐层非线性）和反复迭代，也能逼近到一个“较优”峰值。

---

4. 神经网络强大的函数逼近能力

• 均值网络：${\mu }_{\theta }(s)$ 本身是一个多层感知机（MLP），可以在状态空间上逼近相当复杂的映射；
• 标准差网络：${\sigma }_{\theta }(s)$ 也可以是状态相关，从而在不同区域探索力度不同。

这种多层神经网络 + 高斯分布的组合，实际上能够表达“随状态而变化的单峰分布”，对很多控制任务已经足够。在理想条件（无限样本、合适的优化超参）下，策略梯度就能收敛到一个局部最优策略；在很多实际任务中，这个局部最优也已经很好了。

---

5. 小结

• 高斯策略最优的本质：
  它并不是因为“高斯分布本身必然找到全局最优”，而是由于梯度优化（如REINFORCE、PPO）的迭代过程，可以持续地提高期望回报，最终收敛到一个**（局部）最优或足够优**的策略。
• 连续动作空间的易用分布：
  高斯分布可微且计算对数概率方便，能够在策略梯度过程中被梯度更新，从而实现策略的改进。
• 最终效果：
  足够丰富的网络表征 + 合理的超参数选择，让高斯策略在多数连续控制任务中表现良好，而且在实践中广泛应用（如机器人控制、无人机飞行等）。

因此，高斯策略并不必然是唯一最优，但它提供了一个可学习、可微、易实现的方式让策略梯度算法在连续动作空间中工作，从而“使得 policy（在梯度更新下）收敛到最优或近似最优解”。

下面是一份较为系统且深入的数学原理和解析，涵盖了这段 Pendulum 环境中所用的**高斯策略（Gaussian Policy）以及策略梯度（Policy Gradient, REINFORCE）**方法的核心数学背景和推导。为方便说明，以下内容将结合代码中的关键步骤，深入剖析它背后的原理与公式。

---

总览

在一个连续动作空间的强化学习场景下（例如 Pendulum），我们常使用高斯分布来表示策略 $\pi_\theta(a \mid s))。然后通过策略梯度（Policy Gradient）或其变体（如 Actor-Critic、PPO、TRPO 等）不断更新策略参数，使期望累积奖励最大化。

• 高斯策略：${\pi }_{\theta }(a\mid s)=\mathcal{N}(a\mid {\mu }_{\theta }(s),{\Sigma }_{\theta }(s))$。
• REINFORCE：一种基本的策略梯度方法，核心思想是采样状态-动作轨迹并利用 $\log {\pi }_{\theta }(a\mid s)$的梯度来更新策略。

以下将从高斯策略的定义开始，到折扣回报与梯度更新公式一步步展开。

---

一、高斯策略

1.1 策略表示

在代码中，策略用一个神经网络来输出动作的均值($\mu$)，并维护一个可学习的
对数标准差($\log\sigma $)。

1. 形如 ${\pi }_{\theta }(a\mid s)=\mathcal{N}(a\mid {\mu }_{\theta }(s),\mathrm{diag}({\sigma }_{\theta }^2))$
2. 在代码中，$\mu_\theta(s)) 由 self.fc(state) 计算得出，其形状是 [batch_size, action_dim]。
3. $\sigma_\theta) 由 std = torch.exp(self.log_std) 得到，形状 [action_dim]，若是多维动作也可以扩展成对角协方差矩阵。

一维高斯分布（动作维度=1）时，其概率密度函数（PDF）为

$${\pi }_{\theta }(a\mid s)=\frac{1}{\sqrt{2\pi }{\sigma }_{\theta }(s)}\exp (-\frac{(a-{\mu }_{\theta }(s){)}^2}{2{\sigma }_{\theta }(s{)}^2}).$$

若 $\mu) 和 $\sigma) 依赖于状态 $s) 的神经网络输出，则得到一个条件高斯分布。

1.2 采样与对数概率

• 采样：代码中

  action = dist.sample()
  

  就是从 $\mathcal{N}(\mu ,{\sigma }^2)$ 中进行一次采样，得到动作 $a)。

• 对数概率：

  log_prob = dist.log_prob(action)
  

  对应$\log {\pi }_{\theta }(a\mid s)$，其解析形式是一维时：

$$\log {\pi }_{\theta }(a\mid s)=-\frac{1}{2}(\frac{a-{\mu }_{\theta }(s)}{{\sigma }_{\theta }(s)}{)}^2-\log {\sigma }_{\theta }(s)-\frac{1}{2}\log (2\pi ).$$

在高维时会有类似形式，只是用向量运算或对角协方差。

---

二、强化学习核心：马尔可夫决策过程

在强化学习中，我们通常有一个马尔可夫决策过程 (MDP)，由 (\langle \mathcal{S}, \mathcal{A}, P, r, \gamma \rangle) 表示：

• $\mathcal{S}$：状态空间，如 Pendulum 的 [cosθ, sinθ, θ̇] (3 维)。
• $\mathcal{A}$：动作空间，如扭矩 [–2, 2] 连续区间 (1 维)。
• $P(s_{t+1}\mid s_t,a_t)$：状态转移概率，这里由环境动力学给出。
• $r(s_t,a_t)$：奖励函数。
• $\gamma$：折扣因子。

通过与环境交互（step 函数）、收集状态(s_t)、动作(a_t)、奖励(r_t) 的序列，可以估计策略性能。

---

三、REINFORCE（策略梯度）原理

在策略梯度方法中，我们的优化目标是最大化期望折扣回报：

$$J(\theta )={\mathbb{E}}_{\tau \sim {\pi }_{\theta }}[\sum _{t=0}^{T-1}{\gamma }^{t}r(s_t,a_t)],$$
其中 $\tau =(s_0,a_0,s_1,a_1,\dots )$ 表示一条轨迹，依赖于策略 ${\pi }_{\theta }$。

3.1 策略梯度定理

经典的策略梯度定理告诉我们如何计算对 $\theta$ 的梯度：

$${\nabla }_{\theta }J(\theta )={\mathbb{E}}_{\tau \sim {\pi }_{\theta }}[{\nabla }_{\theta }\sum _{t=0}^{T-1}\log {\pi }_{\theta }(a_t\mid s_t)(\sum _{k=t}^{T-1}{\gamma }^{k-t}{r}_k\left)\right].$$

• 这意味着：要更新参数 $\theta$，需要对对数概率 $\log {\pi }_{\theta }$ 与折扣累计回报 $G_t={\sum }_{k=t}^{T-1}{\gamma }^{k-t}{r}_k$做乘积，然后对整个期望取梯度。

3.2 REINFORCE 算法流程

在 REINFORCE 算法中，具体做法是：

1. 采样：与环境交互一个回合（episode），收集状态、动作、即时奖励：$\{(s_0,a_0,r_0),\dots ,(s_{T-1},a_{T-1},r_{T-1})\}$。
2. 计算回报：对每个时间步 $t$ 计算折扣累计回报
   $$G_t=\sum _{k=t}^{T-1}{\gamma }^{k-t}{r}_k.$$
3. 累积损失：
   $$L(\theta )=-\sum _{t=0}^{T-1}\log {\pi }_{\theta }(a_t\mid s_t)(G_t-b_t),$$
   其中 $b_t$ 可以是基线（此示例中未使用或可视为 0）。此处加负号是因为要最大化 $J(\theta )$，等价于最小化损失。
4. 梯度更新：
   $$\theta \leftarrow \theta -\alpha {\nabla }_{\theta }L(\theta ).$$

在代码中可以看到，这个过程实现为：

loss = 0
for (log_prob, G) in zip(log_probs, returns):loss -= log_prob * G

对应上面公式中的 $-\log {\pi }_{\theta }(a_t|s_t)G_t$ 之和。

---

四、折扣回报与标准化

4.1 折扣回报

对每个时间步 $t$，折扣累计回报（Return）定义：
$$G_t=\sum _{k=t}^{T-1}{\gamma }^{k-t}{r}_k$$
这是对未来奖励的一个加权和（(\gamma\in(0,1])）。

在代码中，做法是：

G = 0
for r in reversed(rewards):G = r + gamma * Greturns.insert(0, G)

这样就得到 { G 0 , G 1 , … } \{G_0, G_1, \dots\} {G0​,G1​,…}。

4.2 标准化回报

代码中还把 returns 做了一步统计标准化：

returns = (returns - returns.mean()) / (returns.std() + 1e-9)

• 这样可减少回报的数值范围差异，帮助训练稳定。
• 其本质是把回报视为一个随机变量，对其做 Z-Score 归一化，有助于减少梯度的高方差。

---

五、带入高斯策略的梯度更新

结合高斯策略 (\pi_\theta(a|s))：

1. 动作分布：
   $${\pi }_{\theta }(a\mid s)=\mathcal{N}\left(a\right|{\mu }_{\theta }(s),{\sigma }_{\theta }(s{)}^2).$$
2. 对数概率：
   $$\log {\pi }_{\theta }(a\mid s)=-\frac{1}{2}(\frac{a-{\mu }_{\theta }(s)}{{\sigma }_{\theta }(s)}{)}^2-\log {\sigma }_{\theta }(s)-\frac{1}{2}\log (2\pi ).$$
3. 梯度传播
   • ${\mu }_{\theta }(s)$ 由网络输出${\sigma }_{\theta }$ 也可以由网络或参数 log_std 生成。
   • 当计算 ${\nabla }_{\theta }\log {\pi }_{\theta }(a\mid s)$ 时，误差信号会经过均值网络和标准差网络的权重，更新两部分参数。

在代码中，则是利用 PyTorch 的自动求导机制来完成这个过程，关键在于：

dist = torch.distributions.Normal(mean, std)
action = dist.sample()
log_prob = dist.log_prob(action).sum(dim=-1)
...
loss -= log_prob * G
loss.backward()

PyTorch 会自动计算对应的梯度并更新 mean, std（包括网络中的权重 fc(...) 和 log_std）。

---

六、为什么高斯策略可以学到最优？

1. 梯度方法保证不断改进

   • 在理论上，只要策略是可微分的，且学习率、样本充分，就能在梯度指引下逐步增大期望回报。
   • 高斯分布为我们提供了一个简单、连续、且具有可计算对数似然的形式。

2. 高斯策略具有探索能力

   • ${\sigma }_{\theta }$ 决定探索幅度；若初始大，可在动作空间随机试探。
   • 学到后期，${\sigma }_{\theta }$ 可能收敛到较小的值，使动作接近最优均值 ${\mu }_{\theta }(s)$，减少随机抖动。

3. 局部最优

   • 严格来说，这种方法往往收敛于局部最优；在很多连续控制任务中，局部最优已经相当好。

---

七、与代码的对应关系

从数学公式到代码实现，可以总结出对应：

1. GaussianPolicy

   • self.fc(state) → ${\mu }_{\theta }(s)$
   • torch.exp(self.log_std) → ${\sigma }_{\theta }$

2. dist = torch.distributions.Normal(mean, std)

   • 建立高斯分布$\mathcal{N}(a|\mu ,\sigma )$

3. action = dist.sample()

   • 等价于抽取 $a_t\sim \mathcal{N}({\mu }_{\theta }(s_t),{\sigma }_{\theta }(s_t{)}^2)$

4. log_prob = dist.log_prob(action)

   • 等价于 $\log {\pi }_{\theta }(a_t|s_t)$

5. 收集 (log_prob, reward)，计算折扣回报 returns

   • 对应策略梯度公式中的 ${\sum }_t\log {\pi }_{\theta }(a_t|s_t)G_t$

6. loss -= log_prob * G，loss.backward()

   • 负号是因为要最大化 $\log {\pi }_{\theta }\cdot G$。
   • PyTorch 会自动根据${\mu }_{\theta }(s)$、${\sigma }_{\theta }$ 的计算图进行梯度传递。

7. optimizer.step()

   • 完成一次梯度更新，即 $\theta \leftarrow \theta +\alpha {\nabla }_{\theta }J(\theta )$。

---

八、总结

1. 高斯策略的数学本质

   • 用一个可微函数（神经网络）映射状态到 $\mu (s)$；再用可学习的 $\log \sigma$ 得到 $\sigma$。这样组成一个在连续动作上的概率分布。
   • 可微分 + 有解析形式 → 可以很方便地计算 $\log {\pi }_{\theta }(a|s)$ 并做梯度更新。

2. REINFORCE

   • 基于采样与梯度上升的原理，将 $\log {\pi }_{\theta }(a|s)$与相应的回报$G_t$ 乘起来，更新策略参数，使期望收益不断提升。

3. 折扣回报与标准化

   • 通过折扣系数 $\gamma$ 让未来奖励“递减影响”，更好地处理无限或长时序问题。
   • 通过标准化回报减少数值不稳定性。

4. 局部最优

   • 该方法常可收敛到一个足够好的解，特别是在 Pendulum 之类的平滑且单峰问题中，常能获得理想表现。

---

参考要点

• 策略梯度定理：${\nabla }_{\theta }J(\theta )=\mathbb{E}[{\nabla }_{\theta }\log {\pi }_{\theta }(a|s)G_t]$。
• 高斯分布的可微属性：$\log {\pi }_{\theta }$对 $\mu$、$\sigma$可微，易编程实现。
• 可视化：在 Pendulum 中，随着训练进行，${\mu }_{\theta }$ 不断变得“更加准确”，${\sigma }_{\theta }$ 可能逐渐变小，从而在扭矩上更精确地控制摆的倒立平衡。

在实践中，高斯策略 + REINFORCE是强化学习的一个最小可行例子。更复杂的场景或更先进的方法（PPO, DDPG, SAC 等）本质上都遵循类似的思路，只是改进了更新方式与稳定性，但核心仍离不开策略可微+对数概率+梯度驱动的理论基础。