让任务抽象可执行:面向固定控制器的布局修复
Making Task Abstractions Executable: Control-Aware Layout Repair for a Fixed Controller
Chiyoung Kim · Seungyeon Back · Sumin Shim · Doyoung Heo · Rita Singh
中文摘要
任务抽象可描述预期事件,但其空间布局常使固定智能体与控制器无法完成事件。从给定的结构化任务记录出发,将整任务跟踪(whole-task tracking)、避碰(clearance)与驱动(actuation)需求编译为可审计的仿射布局约束(affine layout constraints)。修复仅修改声明的连续坐标,保留事件顺序、时序、拓扑与控制器不变。最违反行更新给出条件有限证明与净位移界;同编译器二次投影分离表示与优化器。在三个研究者编写的任务抽象上,两套后端均通过全部三个布局的证明,并在每套后端 300 次全新配对 rollout 中全部完成。风险目标扫描还暴露出部分固定事件测试无法仅靠布局编辑满足所选证明。
关键要点
- 01问题:任务抽象规定的事件可被空间满足在表达上,但布局固定后控制器无法完成事件
- 02方法:把跟踪、避碰、驱动需求编译为可审计的仿射约束,仅修改连续坐标并保留事件序、时序、拓扑与控制器
- 03方法:最违反行更新提供条件有限证明与净位移界,二次投影在同一编译器内分离表示与优化器
- 04结果:三份任务抽象、两套后端均完成全部布局证明,并在 600 次全新配对 rollout 中全部完成
- 05局限:风险目标扫描暴露出证明无法仅通过布局编辑满足部分固定事件测试
解读
尚无解读。
原始英文摘要
arXiv:2610.10281v1 Announce Type: new Abstract: A task abstraction can specify the intended events while its spatial layout prevents a fixed agent and controller from completing them. Starting from a supplied structured task record, we compile whole-task tracking, clearance, and actuation requirements into auditable affine layout constraints. We repair only declared continuous coordinates, preserving event order, timing, topology, and the controller. A most-violated-row update admits conditional finite-certification and net-displacement bounds; a same-compiler quadratic projection separates the representation from the optimizer. On three researcher-authored task abstractions, both backends certify all three layouts and complete all 300 fresh paired rollouts per backend. A risk-target sweep also exposes fixed event tests that the chosen certificate cannot satisfy through layout edits alone.