更改

添加2字节 、 2025年7月20日 (日) 18:45
第22行: 第22行:  
='''Dreamer框架原理'''=
 
='''Dreamer框架原理'''=
 
[[世界模型]]为智能体提供可微的“内心沙盒”,使其能够在抽象潜在空间中重建并演化环境,减少对高风险真实交互的依赖。框架由编码器、解码器和潜在动力学模型协同构成。编码器用卷积网络等将高维观测压缩成信息充足的潜在状态,解码器再把潜在表示还原为可观测信号,用于校验想象世界并反向传播误差,潜在动力学模型依据当前潜在状态与动作预测下一潜在状态及奖励,并显式刻画环境的不确定性。整条闭环既大幅压缩计算开销,又在潜在空间保留关键因果结构。训练阶段交替执行两步。第一步在真实轨迹上同时最小化观测重建误差与一步预测误差,以塑造具有任务判别力的潜在表征;第二步让模型在自身生成的多步“想象”里优化变分下界或信息瓶颈正则,迫使动力学网络捕捉长期规律。
 
[[世界模型]]为智能体提供可微的“内心沙盒”,使其能够在抽象潜在空间中重建并演化环境,减少对高风险真实交互的依赖。框架由编码器、解码器和潜在动力学模型协同构成。编码器用卷积网络等将高维观测压缩成信息充足的潜在状态,解码器再把潜在表示还原为可观测信号,用于校验想象世界并反向传播误差,潜在动力学模型依据当前潜在状态与动作预测下一潜在状态及奖励,并显式刻画环境的不确定性。整条闭环既大幅压缩计算开销,又在潜在空间保留关键因果结构。训练阶段交替执行两步。第一步在真实轨迹上同时最小化观测重建误差与一步预测误差,以塑造具有任务判别力的潜在表征;第二步让模型在自身生成的多步“想象”里优化变分下界或信息瓶颈正则,迫使动力学网络捕捉长期规律。
 +
    
PlaNet 率先验证了该思路,而 Dreamer V1 至 V3 通过离散随机潜变量、对抗式奖励预测和深层自监督进一步提升了样本效率与稳定性。Dreamer 系列自最早的 PlaNet 提出后,研究者持续在模型结构、规划效率和训练鲁棒性方面迭代,逐步形成 Dreamer V1、V2、V3 等版本。每一代框架在继承“重构观测数据并在潜在空间建模环境动态”这一核心理念的基础上,引入更先进的推理网络、归纳偏置和优化策略,显著增强了基于模型的强化学习在高维视觉控制、棋类对弈以及复杂机器人任务中的表现力与泛化能力,但始终以 RSSM 为骨架,在潜在空间刻画环境的时序结构和潜在因果机制。决策阶段采用“想象加评估”的范式。代理先将当前观测编码为潜在状态,在模型内部并行生成大量虚拟轨迹并累计预测回报,然后使用交叉熵法、演化搜索或可微梯度从中选出价值最高的动作序列,从而获得前瞻规划能力与不确定性评估。Dreamer 的关键突破在于把这些想象轨迹当作伪经验,用于离线训练策略网络与价值网络。两者在潜在空间通过 Actor Critic 框架协同优化,实现实时控制与高效学习,使 Dreamer 系列在 Atari、MuJoCo 等基准上超越无模型算法,并提供可解释的规划路径和风险分析,为统一模型化与策略学习奠定了范式。<br>
 
PlaNet 率先验证了该思路,而 Dreamer V1 至 V3 通过离散随机潜变量、对抗式奖励预测和深层自监督进一步提升了样本效率与稳定性。Dreamer 系列自最早的 PlaNet 提出后,研究者持续在模型结构、规划效率和训练鲁棒性方面迭代,逐步形成 Dreamer V1、V2、V3 等版本。每一代框架在继承“重构观测数据并在潜在空间建模环境动态”这一核心理念的基础上,引入更先进的推理网络、归纳偏置和优化策略,显著增强了基于模型的强化学习在高维视觉控制、棋类对弈以及复杂机器人任务中的表现力与泛化能力,但始终以 RSSM 为骨架,在潜在空间刻画环境的时序结构和潜在因果机制。决策阶段采用“想象加评估”的范式。代理先将当前观测编码为潜在状态,在模型内部并行生成大量虚拟轨迹并累计预测回报,然后使用交叉熵法、演化搜索或可微梯度从中选出价值最高的动作序列,从而获得前瞻规划能力与不确定性评估。Dreamer 的关键突破在于把这些想象轨迹当作伪经验,用于离线训练策略网络与价值网络。两者在潜在空间通过 Actor Critic 框架协同优化,实现实时控制与高效学习,使 Dreamer 系列在 Atari、MuJoCo 等基准上超越无模型算法,并提供可解释的规划路径和风险分析,为统一模型化与策略学习奠定了范式。<br>
第30行: 第31行:  
=== 编码器-解码器(Encoder-Decoder) ===
 
=== 编码器-解码器(Encoder-Decoder) ===
 
在Dreamer框架中,深度模型基于编码器-解码器架构,从高维感知输入(如图像)中学习紧凑的潜在表示。编码器通常由[[卷积神经网络(CNN)]]构成,用于提取图像观测的高层特征。具体地,编码器将每个观测<math>x_t</math>映射为随机潜在变量<math>z_t</math>的分布参数,例如连续高斯分布的均值和方差,或离散多分类分布的概率值。在早期方法(如PlaNet和DreamerV1)中,潜在变量<math>z_t</math>采用连续高斯分布表示。编码器输出均值<math>\mu_t</math>和标准差<math>\sigma_t</math>,并通过重参数化采样获得<math>z_t</math>。DreamerV2进一步引入了离散潜在表示:将图像编码为多个独立的分类随机变量,每个变量取值于有限类别集合。例如,DreamerV2将每幅图像映射为32个独立的分类分布,每个分布有32个可能类别,通过采样生成32个独热向量,最终连接形成潜在表示<math>z_t</math>。这种离散潜变量设计提升了模型对多模态不确定性的表达能力,使得世界模型能够更好地捕捉环境中潜在的离散变化。为了在反向传播中处理离散采样带来的不可导问题,Dreamer采用了[[直通梯度]](straight-through gradient)技巧:1. 在前向传播中,从每个分类分布中采样硬的独热向量;2. 在反向传播时,使用对应的软概率分布作为梯度近似。这种处理方式兼顾了离散表示的表达力和可微分性,使得整个编码器模块能够通过标准反向传播高效训练。
 
在Dreamer框架中,深度模型基于编码器-解码器架构,从高维感知输入(如图像)中学习紧凑的潜在表示。编码器通常由[[卷积神经网络(CNN)]]构成,用于提取图像观测的高层特征。具体地,编码器将每个观测<math>x_t</math>映射为随机潜在变量<math>z_t</math>的分布参数,例如连续高斯分布的均值和方差,或离散多分类分布的概率值。在早期方法(如PlaNet和DreamerV1)中,潜在变量<math>z_t</math>采用连续高斯分布表示。编码器输出均值<math>\mu_t</math>和标准差<math>\sigma_t</math>,并通过重参数化采样获得<math>z_t</math>。DreamerV2进一步引入了离散潜在表示:将图像编码为多个独立的分类随机变量,每个变量取值于有限类别集合。例如,DreamerV2将每幅图像映射为32个独立的分类分布,每个分布有32个可能类别,通过采样生成32个独热向量,最终连接形成潜在表示<math>z_t</math>。这种离散潜变量设计提升了模型对多模态不确定性的表达能力,使得世界模型能够更好地捕捉环境中潜在的离散变化。为了在反向传播中处理离散采样带来的不可导问题,Dreamer采用了[[直通梯度]](straight-through gradient)技巧:1. 在前向传播中,从每个分类分布中采样硬的独热向量;2. 在反向传播时,使用对应的软概率分布作为梯度近似。这种处理方式兼顾了离散表示的表达力和可微分性,使得整个编码器模块能够通过标准反向传播高效训练。
 +
    
*'''编码器''':在Dreamer框架中,编码器(Encoder)承担着将高维原始观测<math>x_t</math>映射为低维潜在表示<math>z_t</math>的关键任务。其设计不仅要高效提取观测中的关键信息,还需保证潜在表示能够支持环境动力学建模与未来轨迹模拟。Dreamer系列方法通常采用卷积神经网络(CNN)作为编码器的主体结构,主要特点包括:逐层卷积提取图像观测中的局部与全局特征;将输入<math>x_t</math>映射为一组潜在分布参数(如均值、标准差或分类概率)。编码器最终输出的不是一个确定值,而是潜在变量<math>z_t</math>的概率分布参数,以便支持下游的随机采样与不确定性建模。
 
*'''编码器''':在Dreamer框架中,编码器(Encoder)承担着将高维原始观测<math>x_t</math>映射为低维潜在表示<math>z_t</math>的关键任务。其设计不仅要高效提取观测中的关键信息,还需保证潜在表示能够支持环境动力学建模与未来轨迹模拟。Dreamer系列方法通常采用卷积神经网络(CNN)作为编码器的主体结构,主要特点包括:逐层卷积提取图像观测中的局部与全局特征;将输入<math>x_t</math>映射为一组潜在分布参数(如均值、标准差或分类概率)。编码器最终输出的不是一个确定值,而是潜在变量<math>z_t</math>的概率分布参数,以便支持下游的随机采样与不确定性建模。
761

个编辑