可恢复性作为长时程AI智能体的系统原语
Recoverability as a System Primitive for Long-Horizon AI Agents
- Beijing Information Science and Technology University（北京信息科技大学）
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
本文提出可恢复性作为AI智能体系统原语，通过显式决策和契约绑定恢复起点与动作，提供参考架构及测试，证明恢复决策需独立评估，以保留合理进度并确保重用条件可执行。
AI中文摘要：
AI智能体在编辑文件、调用工具或执行多步骤任务时可能被中断。重启会重复已完成的工作，但从未经验证或过时的进度继续则可能将早期错误向前传递。保存的状态不一定适合作为恢复点。我们引入可恢复性作为系统原语，使重用成为显式决策：选择受支持的起点和允许的恢复动作，或放弃自动继续。其行为契约将该选择绑定到支持证据、执行和独立检查。一个参考架构连接了持久化、验证和控制，并辅以互补的运行时实例来测试不同的职责。四个确定性和20个配对文件挑战表明，准确的恢复和成功的完成可能隐藏不允许的起点。进度控制将保留的工作归因于共享恢复。事件时间测试表明，权限还必须约束动作，并且独立持有的策略证据即使在效果发生后也能暴露违规行为。这些发现确立了为什么恢复决策需要其自身的评估，而不仅仅是恢复的字节数和最终任务成功。在提供的策略和声明的信任模型内，贡献是一个通用的、可测试的接口，用于保留合理的进度并使重用的条件显式且可执行。
英文摘要：
AI agents can be interrupted while editing files, calling tools, or carrying out multi-step tasks. Restarting repeats completed work, but continuing from unverified or outdated progress can carry earlier errors forward. A saved state is not necessarily a suitable place to resume. We introduce recoverability as a system primitive that makes reuse an explicit decision: select a supported starting point and a permitted recovery action, or withhold automatic continuation. Its behavioral contract binds that choice to supporting evidence, execution, and independent checks. A reference architecture connects persistence, validation, and control, with complementary runtime instances testing distinct responsibilities. Four deterministic and 20 paired file challenges demonstrate that accurate restoration and successful completion can conceal disallowed starting points. Progress controls attribute retained work to shared restoration. Event-time tests show that permission must also constrain the action, and that independently held policy evidence can expose violations even after an effect occurs. These findings establish why recovery decisions need their own evaluation, beyond restored bytes and final task success. Within supplied policies and a declared trust model, the contribution is a common, testable interface for retaining justified progress and making the conditions for its reuse explicit and enforceable.
