轨迹似然推导
对于有限时长目标 J(θ)=Eτ∼pθ[∑u=0T−1γuru],环境转移不直接依赖策略参数时,轨迹 log 概率的导数只保留动作策略项。利用过去奖励与当前动作的条件独立性,可以写成
∇J(θ)=E[t=0∑T−1γt∇θlogπθ(at∣st)Gt],Gt=l=0∑T−t−1γlrt+l.
这里保留了外层 γt。另一种记号把它吸收到折扣占据分布中;不能在推导中静默删去这个因子,又宣称目标完全相同。
Baseline 与方差
对固定状态,Ea[∇logπ(a∣s)b(s)]=0,因此不依赖动作的 baseline 不改变 score-function 梯度期望。Vπ 产生优势 Aπ=Qπ−Vπ,但它不一定是每种加权梯度方差意义下的最优 baseline。
REINFORCE 的噪声来自长程随机回报、策略 score、稀疏成功以及其他智能体。Reward-to-go 去掉过去奖励的无用噪声;critic、GAE 和标准化可进一步改变方差,但也引入估计误差或改变有限样本更新。减方差不能只看 value loss。
替代目标与 PPO
固定旧策略数据时,常优化 L(θ)=Eπold[ρt(θ)A^t],其中 ρt=πθ/πold。PPO 使用
Lclip=E[min(ρtA^t,clip(ρt,1−ϵ,1+ϵ)A^t)].
它限制有利方向的替代收益,却不是硬 KL 约束,也不保证每次真实回报单调上升。多轮优化以后,优势标签和旧状态分布可能逐渐失配。实践中需要观察 KL、clip fraction、entropy、梯度尺度及独立 evaluation return。
理论与实证的连接
把“梯度估计是否准确”“critic 是否预测真实价值”“替代目标是否对应真实回报”分别检验,才能知道改进来自哪里。继续阅读:原始策略梯度定理、GAE、A Closer Look、多智能体梯度。
原笔记中的选读链接