DynaHarness:面向自我演化机器人智能体的动态物理治理框架
预训练机器人策略提供了有用的动作先验,但长时程操作仍然需要在语义推理与物理执行之间做协调。二者的时间尺度并不一致——语义推理更粗,物理交互更细——而片段级的失败只能给出模糊的反馈,无法回答「究竟该修改系统的哪个部件」。DynaHarness 提出一个动态物理治理框架,通过一份共享的执行契约把语义推理与物理治理耦合起来,并把失败证据转化为经过验证的能力修订。具体而言,慢脑负责提出能力与符号参数,快脑负责落地与监视命令、拒绝未解析的动作、替换能力,并在必要时请求重规划。物理执行契约对每条被接受的动作作出边界约束,并跨解析技能、恢复技能与冻结的 VLA 记录执行证据。失败归因在这些记录中定位故障,指向对可复用能力或执行机制的有针对性修订,再由成对的回归检查决定接纳或拒绝,从而闭合自我演化的循环。在 LIBERO-Pro 上,DynaHarness 在 800 个新采样初始状态上达到 75.2%,而冻结策略只有 17.5%;在同样的能力库下,完整的动态执行达到 74.0%,而名义单步重规划为 63.9%。
原文 · arXiv:2609.40306一个冻结的 VLA 策略在长时程任务上只有 17.5% 的成功率。真正的问题往往不是「模型不够强」,而是没人能说清:这一次失败,到底该改策略、改技能、还是改执行时的调度?
背景
预训练的策略(尤其是 VLA)提供了相当不错的动作先验,但它们大多把一段连续动作当成一个固定长度的块来输出,缺乏对「当前处在任务的哪个阶段、下一步该做什么」的显式协调。长时程操作因此暴露出一条裂缝:语义层面的推理(我先做什么、再做什么)与物理层面的执行(这一刻的关节该怎么动)处在不同的时间尺度上。更麻烦的是,反馈通常只有片段级的结果——成功或失败——却无法指出系统的哪一个部件需要对失败负责。缺少这种归因,任何「自我改进」都只能瞎猜。
核心创新
DynaHarness 的切入点是给系统加上一份明确的物理治理层。它用一个「慢脑」在语义层面提出能力与符号参数,用一个「快脑」把这些提案落地、持续监视命令、拒绝尚未解析的动作、在必要时替换成别的能力或请求重新规划。二者之间靠一份共享的执行契约衔接:契约既为每条被接受的动作划定边界,又把执行证据完整记录下来,覆盖解析技能、恢复技能以及那个被冻结的 VLA。
真正的关键在后续两步。失败归因在这些记录里定位故障发生在哪一环,从而指导对「可复用能力」或「执行机制」做有针对性的修订,而不是不区分地微调整个模型。修订完成后,成对的回归检查决定它被接纳还是被拒绝,只有通过检验的改动才会保留——正是这一步闭合并稳固了整个自我演化循环。因此系统提升的路径是「把已有的能力治理得更好」,而不是「换一个更强的底座」。
结果
- 在 LIBERO-Pro 的 800 个新采样初始状态上,DynaHarness 达到 75.2% 的成功率,而冻结策略为 17.5%。
- 在同样的能力库条件下,完整的动态执行达到 74.0%,名义的单步重规划为 63.9%,说明「动态治理」相对「名义重规划」带来了实质增益。
- 失败归因把故障定位到具体部件,使修订能够落在可复用能力或执行机制上。
- 方法构建在已预训练的 VLA 与一组解析/恢复技能之上,改动集中在治理层而非重训底层策略。
局限
主要评测集中在 LIBERO-Pro 这一仿真基准上,摘要没有报告真机结果,因此从治理层获得的增益在世界模型保真度不足时会保留多少,仍是未知。执行契约对「可接受动作」施以边界约束,这套边界的构造方式——以及它是否会过度限制策略在富接触任务中的表现——在摘要里没有展开。失败归因与能力修订都依赖快脑能对执行证据作出可靠判断,一旦归因本身出错,成对的回归检查只能保证不退化,却无法保证方向正确。评测以成功率为主,缺少算力开销、修订轮次与失败案例的量化。
产业启示
对工程团队来说,DynaHarness 的价值不在某个数字,而在它把「长时程操作」拆成了一份可审计的结构:语义提案、物理治理、执行契约、失败归因、回归放行。这种分层让整个系统的行为变得可追踪、可定位、可回滚——恰恰是工业部署里最难满足、也最被看重的属性。它同样提示了一条务实的升级路径:当底座已经冻结、且短期内不打算重训时,把预算投入到治理层与执行证据的记录上,可能比继续堆数据或换更大模型更快见效。