4. 世界模型核心组件

具身智能体与静态数据集训练出的感知模型最大的不同在于:它必须在一个持续变化的环境中,通过自身动作的施加来达成目标。这意味着,仅仅“看懂”当前画面远远不够,智能体必须在内部构建一个关于“世界如何运转”的动态映射。这个世界模型并非一个单一神经网络,而是一个由四个核心组件协同工作的架构体系:状态表征(State Representation)、转移模型(Transition Model)、奖励模型(Reward Model)与策略模型(Policy Model)。这四个组件分别回答了“我在哪”、“环境如何变化”、“结果好不好”以及“我该怎么做”四个根本问题。理解它们之间的数据流与训练耦合关系,是设计任何具身智能系统的前提。

真实环境 物理引擎 / 传感器 观测 o_t 动作 a_t 状态表征 State Representation 压缩 / 去噪 / 结构化 s_t = Encoder(o_t) 包含:位姿 / 语义 / 几何 转移模型 Transition Model s_{t+1} = T(s_t, a_t) 动力学预测 / 因果推理 支持想象 rollout 奖励模型 Reward Model r_t = R(s_t, a_t, s_{t+1}) 稀疏 / 密集 / 学习式 提供优化信号 策略模型 Policy Model a_t = π(s_t | g) 目标条件 / 动作生成 包含高层规划与底层控制 观测 o_t 动作 a_t s_t s_t a_t s_{t+1} 奖励信号 执行动作 想象轨迹:s_t → a_t → s_{t+1} → r_t → ...(在模型内部滚动)

上图展示了四个组件在具身智能体内部的数据闭环关系。真实环境提供观测 o_t,状态表征将其压缩为结构化状态 s_t;策略模型基于 s_t 输出动作 a_t;转移模型预测下一时刻状态 s_{t+1};奖励模型则对状态转移给出标量反馈 r_t。虚线回路表示智能体可以在内部进行“想象”或“规划”,而不必每次都与环境交互。下面逐一深入拆解每个组件的设计要点与工程实践。

4.1 状态表征:从高维观测到结构化因果变量

核心原理:状态表征的目标是解决“维数灾难”与“感知混淆”问题。原始观测(如 640×480 的 RGB-D 图像、16 线激光雷达点云、关节角度序列)包含大量与决策无关的冗余信息(光照变化、背景纹理、传感器噪声)。状态表征模块需要学习一个映射函数 f: O → S,将高维观测空间压缩到低维流形上,同时保留与预测和决策相关的关键信息。理想的状态表征应满足三个性质:充分性(足以预测未来)、因果性(只包含由动作影响或影响决策的变量)、可解释性(人类可理解,如“机械臂末端位姿”、“物体类别与位置”)。

判断方法与操作流程:在实际工程中,选择何种状态表征取决于任务类型与传感器配置。下表对比了三种主流表征方式:

表征类型典型输入输出维度优点缺点适用场景
原始像素堆叠连续 4 帧 RGB 图像4×H×W×3无需特征工程,信息无损计算量大,易过拟合,缺乏因果结构端到端模仿学习(小规模)
自动编码器潜变量单帧或多帧图像32~512 维连续向量自动发现低维结构,支持重建潜变量不可解释,可能混入无关变化模型预测控制(MPC)的隐空间规划
结构化语义表征检测器输出 + 位姿估计物体列表 + 6D 位姿 + 速度高度可解释,因果清晰,样本效率高依赖上游感知质量,泛化性受限工业机械臂抓取、导航避障

案例拆解(小型场景化说明):假设我们为一台家庭服务机器人设计状态表征。若直接使用 200 万像素的 RGB 图像作为状态,转移模型需要预测每一个像素在下一时刻的亮度变化,这既困难又无必要。更合理的做法是:使用轻量级目标检测器提取场景中 5~10 个关键物体(杯子、遥控器、沙发、人),并估计其 2D 中心坐标、类别与相对距离。这样状态维度从 200 万降至约 30~60 维,且每个维度都有明确物理含义。当机器人执行“拿起杯子”任务时,策略模型只需关注杯子与机械臂末端的状态变量,而忽略背景窗帘的摆动。

风险提示:过度压缩状态表征可能导致“信息瓶颈”问题。例如,如果状态表征丢弃了物体的朝向信息,策略模型将无法判断“如何抓取杯柄”。因此,在设计表征时,必须通过重构损失或对比预测损失来监督编码器,确保关键因果变量不被丢弃。建议在训练时同时优化状态表征的重建误差与下游任务的预测误差,形成多任务学习。

4.2 转移模型:学习环境的动力学与因果结构

核心原理:转移模型 T(s_{t+1} | s_t, a_t) 是具身智能体“想象”能力的基础。它学习在给定当前状态和动作时,环境下一时刻状态的分布。与视频预测模型不同,世界模型中的转移模型通常在状态空间而非像素空间中进行预测,因此计算效率更高,且更容易建模长期依赖。转移模型分为两类:确定性转移模型(输出单一预测状态)和随机性转移模型(输出状态分布,通常用高斯分布或离散分布建模)。在真实机器人系统中,由于摩擦、打滑、接触形变等因素,随机性转移模型往往更鲁棒。

操作流程与训练要点:训练转移模型的标准流程如下:

  1. 数据采集:通过随机策略或人工遥控,在真实环境中执行动作序列,记录 (s_t, a_t, s_{t+1}) 三元组。对于仿真环境,可以并行采集百万级样本。
  2. 模型选择:对于连续控制任务,常用 3~5 层 MLP 或小型 Transformer 作为转移网络。输入为 concat(s_t, a_t),输出为 Δs = s_{t+1} - s_t(残差预测),这比直接预测状态更稳定。
  3. 损失函数:使用均方误差(MSE)或负对数似然(NLL)作为损失。对于随机模型,输出高斯分布的均值与方差,通过重参数化技巧采样。
  4. 验证:在预留的轨迹数据上计算多步预测误差(例如,预测未来 10 步的状态与真实状态的欧氏距离)。
# 伪代码:转移模型训练循环
for batch in dataloader:
    s_t, a_t, s_next = batch
    delta_pred = transition_model(s_t, a_t)  # 输出预测的残差
    loss = MSE(delta_pred, s_next - s_t)
    optimizer.zero_grad()
    loss.backward()
    optimizer.step()

实战场景与调优:在四足机器人行走任务中,转移模型需要预测机体在下一时刻的 6D 位姿(位置 + 欧拉角)。由于地面摩擦系数未知,确定性模型在瓷砖地面训练后,在草地测试时会产生显著漂移。解决方案是引入隐变量(如摩擦系数估计),让转移模型在推理时根据最近几步的观测误差动态调整隐变量,从而自适应不同地面。调优经验:多步预测训练(即用模型预测的状态作为下一步输入,进行自回归训练)能显著提升长期预测稳定性,但需注意梯度截断以防止爆炸。

经验总结:转移模型的精度决定了规划的上限。如果转移模型误差较大,策略模型在“想象”中规划的轨迹在真实环境中会严重偏离。建议在部署前,使用模型预测控制(MPC)框架进行闭环验证:在每个控制周期,用当前真实状态重新规划,以修正模型误差带来的累积漂移。

4.3 奖励模型:从稀疏反馈到密集学习信号

核心原理:奖励模型定义了智能体的优化目标。在具身智能中,奖励通常分为三类:稀疏奖励(任务完成时给 +1,其余为 0)、密集奖励(根据距离、速度、能耗等连续计算)、学习式奖励(通过逆强化学习或偏好学习从人类演示中推断)。奖励模型的设计直接决定了策略模型收敛的速度与最终行为质量。一个常见的误区是:过于复杂的密集奖励会导致智能体“钻空子”(reward hacking),例如抓取任务中,智能体学会将物体推到桌子边缘以缩短距离,而不是真正抓取。

判断方法与设计原则:设计奖励模型时,应遵循以下优先级:

  • 任务成功信号必须存在:即使稀疏,也要有明确的成功判定(如物体被举起超过 10cm)。
  • 辅助密集信号需谨慎:可以使用势函数(potential-based shaping)设计距离奖励,但必须保证不改变最优策略。
  • 多目标权衡:在导航任务中,奖励 = 到达目标 + 0.1 × 平滑度惩罚 - 0.01 × 能耗。权重需要通过网格搜索或自动调参确定。

案例拆解(有深度的闭环):某物流仓库的自主移动机器人(AMR)需要将货架从 A 点搬运至 B 点。初始奖励设计为:到达 B 点 +10,碰撞障碍物 -5,每步时间惩罚 -0.01。训练后发现机器人学会了“原地旋转”来拖延时间,因为旋转不会碰撞,且时间惩罚很小。分析日志发现,机器人平均步数从 200 步增加到 800 步,但成功率仅 60%。关键输入数据:每 episode 的累计奖励、碰撞次数、平均速度。分析判断:时间惩罚权重过低,导致拖延策略比直接行动更“安全”。实际操作:将时间惩罚改为 -0.05,并增加“每 50 步未接近目标则额外 -1”的进度奖励。同时,将碰撞惩罚改为 -10,并引入“安全距离”的密集惩罚(距离障碍物小于 0.3m 时,惩罚与距离成反比)。结果对比:调整后,平均步数降至 220 步,成功率提升至 92%。风险与代价:进度奖励需要计算“接近目标”的距离,这要求全局定位信息,增加了系统复杂度。复盘经验:奖励设计应视为一个迭代过程,必须结合训练曲线与行为日志进行“奖励调试”,而非一次性设定。

风险说明:学习式奖励模型(如从人类偏好中学习)虽然能避免手工设计,但容易引入人类标注偏差。例如,人类标注者可能偏好“动作看起来自然”而非“任务完成效率高”,导致策略模型学会缓慢、夸张的动作。使用学习式奖励时,务必在真实环境中进行 A/B 测试,对比任务成功率与完成时间。

4.4 策略模型:从状态到动作的映射与规划

核心原理:策略模型 π(a_t | s_t, g) 是智能体的“决策大脑”。它接收当前状态与目标任务 g,输出动作分布或确定性动作。在具身智能中,策略模型通常分为两个层级:高层策略(输出子目标或动作序列,如“移动到门口”、“抓取把手”)与底层策略(输出关节力矩或电机速度)。两个层级可以联合训练,也可以独立训练后通过接口连接。策略模型的训练方法包括:行为克隆(BC)、强化学习(RL)、以及两者的混合(如 RLHF 中的预训练 + 微调)。

操作流程与架构选择:对于连续控制任务,常用的策略模型架构为 Actor-Critic 结构。Actor 网络输出动作均值与标准差,Critic 网络评估状态价值。训练时,使用 PPO 或 SAC 算法。关键超参数包括:学习率(通常 3e-4)、熵系数(控制探索程度)、GAE 的 lambda(0.95~0.99)。

策略类型输出形式训练方式优点缺点典型应用
高斯随机策略动作均值 + 方差PPO / SAC天然支持探索,鲁棒方差过大时动作抖动机械臂力控、双足平衡
确定性策略单一动作向量DDPG / TD3动作平滑,适合精密操作探索不足,易陷入局部最优高精度插孔、装配
多模态离散策略动作类别分布PPO + 熵正则适合抓取点选择、导航目标点无法输出连续力控抓取姿态选择、路径点规划

实战场景与调优:在双臂协作机器人执行“拧瓶盖”任务中,策略模型需要同时控制两只机械臂的 14 个关节。直接使用端到端 RL 训练,样本效率极低。更有效的方案是:分解策略——高层策略输出“左手固定瓶身,右手旋转瓶盖”的意图;底层策略使用阻抗控制,根据力传感器反馈调整力矩。这种分层设计将问题从 14 维连续控制分解为 2 个 7 维子问题,且底层策略可以独立预训练。调优经验:在 RL 训练初期,使用较大的熵系数(0.1)促进探索;当平均奖励不再上升时,将熵系数线性衰减至 0.01,以收敛到确定性策略。

关键提醒:策略模型与转移模型之间存在“分布偏移”问题。策略模型在训练中产生的状态分布与转移模型训练时的状态分布可能不一致。解决方法是使用 DAgger 算法:在训练过程中,让策略模型在真实环境中执行,并将新采集的状态-动作对加入转移模型的训练集,实现迭代式数据增强。

4.5 组件协同与常见误区复盘

四个组件并非孤立模块,而是通过“想象-执行-学习”闭环紧密耦合。一个典型的协同流程是:状态表征将真实观测编码为状态 → 策略模型基于状态提出动作假设 → 转移模型在内部预测未来多个时间步的状态 → 奖励模型对预测轨迹打分 → 策略模型根据累计奖励更新动作分布。这个过程称为模型预测路径积分(MPPI)或想象规划。在实际部署中,常见的误区包括:

  • 误区一:状态表征与转移模型分开训练。这会导致表征编码的信息与转移模型所需的信息不匹配。正确做法是联合训练,让转移模型的预测损失反向传播到编码器。
  • 误区二:奖励模型过于复杂,导致策略模型过拟合到奖励函数的“漏洞”上。建议定期在真实环境中评估策略,而不仅仅看仿真奖励曲线。
  • 误区三:忽视转移模型的不确定性。在关键任务(如避障)中,应使用集成转移模型(Ensemble)并计算预测方差,当方差超过阈值时,切换到保守策略(如减速或停止)。
  • 误区四:策略模型与转移模型使用不同的状态空间。例如,策略使用结构化状态,而转移模型使用像素状态,这会导致信息传递断裂。必须统一状态表征接口。

总结复盘:设计一个具身智能世界模型,本质上是设计一个“内部模拟器”。状态表征决定了模拟器的分辨率与可解释性,转移模型决定了模拟器的物理保真度,奖励模型决定了模拟器的优化方向,策略模型则是在模拟器中搜索最优动作的执行器。四者必须作为一个整体进行联合训练与调试。建议在项目启动时,先搭建一个最小闭环(简单的状态表征 + 线性转移模型 + 稀疏奖励 + 随机策略),验证数据流与接口正确性,再逐步替换为更复杂的神经网络组件。这种“先通后优”的策略能大幅减少系统集成阶段的排障时间。