跳到正文

飞书原文 · 源修订 13

💡

机制课: 人类视频没有机器人动作。Latent Action 试图从前后状态变化推断一个可预测、可离散、可迁移的行为变量,再用少量机器人数据把它落到真实控制。

学习目标 ​

完成本课后,应能写出逆动力学与前向动力学;理解潜在动作不可辨识性;推导变分 latent action 目标;区分视觉变化和可控变化;设计跨本体 adapter 和决定性消融。

1. 逆动力学 ​

若状态和动作可观测:

读法: 逆动力学模型根据当前状态和下一状态,对造成这次变化的动作给出条件分布。

推导: 前向动力学从状态和动作预测下一状态;应用 Bayes 方向反过来,就得到从状态转移推断动作的模型。由于多个动作可能产生相同结果,输出应是分布而非唯一标签。

逆动力学回答“什么动作造成了这次变化”。在机器人数据中可监督训练,再用它给无动作视频产生伪动作。

问题是同一状态变化可能由多种动作造成,观测又可能缺少力和隐藏状态。

2. Latent Action ​

引入潜变量:

读法: 潜在动作 z_t 从以相邻观测为条件的推断分布中采样。

推导: 真实动作不可见时,把解释观测变化的隐藏因素设为 z_t。推断器利用变化前后两帧估计它,但 z_t 还可能编码相机、光照或其他不可控因素,需要额外约束。

前向模型:

读法: 前向模型根据当前观测和潜在动作,对下一观测建模。

推导: 若 z_t 真能表示导致变化的行为,它与 o_t 一起应足以预测 o_{t+1}。这项约束保证 latent 含有变化信息,但不能单独保证它等价于可执行机器人动作。

训练目标可写为:

读法: 总损失由下一观测的负对数似然和后验偏离先验的 KL 正则组成,beta 控制二者权衡。

推导: 这是条件变分自编码目标的负 ELBO。第一项要求 latent 能解释状态变化,第二项限制编码容量并让空间可采样;beta 过大可能导致后验塌缩,过小则会记住无关像素细节。

重建项让 latent 解释变化,KL 限制编码容量并形成可采样空间。

课程画板

💡

交互验证|Latent Action、行为 Token 与跨本体表征实验室

改变对象对齐、动作标签、本体差异和坐标归一化,观察共享行为变量能否迁移到不同机器人。

Latent Action、行为 Token 与跨本体表征实验室

:::

3. 不可辨识性 ​

如果对 latent 做任意可逆变换 ,同时调整解码器,观测重建可以不变。因此 latent 数值没有天然语义。

需要额外约束:

  • 离散 codebook。
  • 对象和事件监督。
  • 时间连续性和稀疏性。
  • 机器人动作对齐。
  • 跨视角一致性。
  • 任务结果和可控性。

4. 可控变化与不可控变化 ​

视频变化包含相机移动、光照、其他人和背景。Latent Action 应优先编码智能体可控变化。可以用机器人动作数据或 controllability 目标:

读法: 在已知当前观测后,潜在动作与下一观测之间的条件互信息。

推导: 互信息高意味着 z_t 能减少对未来观测的不确定性。但相机移动同样可预测未来像素,所以还需机器人动作干预、对象中心表示或可控性标签把智能体行为与外部变化分开。

但高互信息可能仍编码相机运动,需要对象中心和动作干预。

5. 离散与连续 latent ​

类型优势风险
离散 token便于序列模型和技能组合量化与 codebook 塌缩
连续向量表达精细运动难解释和跨本体
混合事件 token + 连续参数训练复杂

操作任务常适合混合表示:“抓取”是离散事件,接近方向和速度是连续参数。

6. 从 latent 到机器人动作 ​

机器人 adapter:

读法: 机器人动作 adapter 根据机器人当前观测、共享潜在动作和本体标识,对真实机器人动作建模。

推导: 相同功能在不同机器人上需要不同关节和速度,因此 adapter 必须同时读取本体状态与标识 e。固定共享 z、只更换 adapter 的跨机器人实验,才能验证 latent 是否具有可复用功能语义。

表示本体。少量机器人配对数据训练 adapter,使共享 latent 在不同控制接口上解码。

共享 latent 不应包含特定关节值,而应表达对象相对变化、事件或可供性。

7. 伪动作预训练 ​

  1. 用机器人数据训练逆模型。
  2. 给人类/互联网视频预测伪动作或 latent。
  3. 用视频规模预训练行为序列模型。
  4. 在机器人数据上对齐真实动作。
  5. 闭环验证。

伪标签误差会系统性传播,必须保留置信度并与无伪动作基线比较。

8. 与世界动作模型 ​

World-Action Model 联合建模状态变化和动作变量,可用于视频预测、测试时记忆和机器人策略。关键问题是 latent 是否既能解释人类视频,也能提升机器人动作。

9. 最小实验:Latent Action 是否具有可控行为语义 ​

在同一对象操作数据上训练视频自编码、latent action、机器人逆动力学伪动作和真实动作监督四种模型。固定视觉骨干、视频数量、机器人动作数据、latent 维度和策略容量。

依次做时间打乱、相机运动、背景变化、对象中心消融、latent 置换和 adapter 换机器人实验。报告下一观测预测、可控变化探针、机器人动作解码、少样本 adapter 曲线、未见本体迁移和真实闭环成功率。

  1. 时间打乱:latent 是否仍能工作。
  2. 相机运动对照:是否编码不可控背景。
  3. 对象中心消融。
  4. 离散、连续和混合 latent 比较。
  5. 少量机器人 adapter 的样本效率。
  6. 闭环成功而非只报告视频重建。

10. 本课练习 ​

  1. 解释逆动力学的多解性。
  2. 推导 latent action ELBO。
  3. 构造 latent 不可辨识变换。
  4. 设计 controllability 目标。
  5. 为抓取定义混合离散-连续 latent。
  6. 说明 WAM-TTT 为什么需要人机 outer loop。

11. 主要失败模式 ​

失败表现诊断与修正
后验塌缩z 与观测无关,前向模型忽略 latentKL 曲线、latent 置换、free bits 或降低 beta
记住不可控变化z 主要编码相机、光照或背景移动相机干预、对象中心输入和机器人动作互信息
不可辨识不同训练种子得到完全不同坐标,无法跨模型复用事件、动作、结果和跨视角一致性约束
逆动力学多解伪动作过度自信,给同一转移单一错误标签分布输出、多模态模型和置信度过滤
伪标签误差放大大规模视频预训练把 IDM 偏差固化进策略保留置信度、无伪动作基线和少量真动作校准
Adapter 记忆数据集训练机器人解码好,换本体或状态后失效本体留出、状态条件和参数共享消融
重建好但控制差视频指标提升,闭环成功率不变或下降固定机器人数据和控制器,直接报告任务收益

12. 论文事实、作者解释与课程判断 ​

工作论文事实作者解释课程判断
VPT用少量有动作 Minecraft 数据训练逆动力学模型,再为大规模视频预测伪动作并预训练策略动作标签可以借助逆模型扩展到无标签视频这是伪动作路线的清晰证据,但依赖同一游戏本体和可观测转移,跨真实机器人更难
Genie从互联网视频学习潜在动作模型和可交互生成环境,无需真实动作标签视频中的可控变化可形成离散 latent action交互视频生成证明 latent 能控制视觉未来,不自动证明能解码为真实机器人动作
XSkill从人类与机器人视频中发现跨本体技能表示并用于下游模仿功能层技能可连接不同身体需要对象状态、事件边界和 adapter 留出证明语义,而非只看 embedding 对齐
WAM-TTT人类视频侧信号更新快速记忆,机器人动作任务训练更新规则共享世界-动作结构可支持测试时适应关键是 outer loop 是否让 latent 对机器人控制有用,以及错误上下文能否被拒绝或回滚

13. 课程交叉阅读 ​

人类视频没有速度标签

E1|视频运动与对象中心表征

E3|Behavior Tokenizer

B4|视频世界模型与视觉规划

文章正文采用 Apache License 2.0