让智能体系统在运行时实时验证决策权限,避免无效执行。
Operationalizing Reconstructive Authority: Runtime Construction, Dependency Resolution, and Execution Gating in Autonomous Agent Systems
- 运行时动态检查决策权限是否可重建
- 引入'暂停'状态处理观测不全的情况
- 适合高安全要求的自主系统应用
自主智能体系统的失败不仅源于错误决策,更因执行时权限已失效。已有研究定义了重构性权限(Reconstructive Authority, RAM):只有当权限能从当前状态重构时,行动才被允许。本文提出一种运行时执行模型,在行动时刻评估权限可重建性,并据此决定执行与否。该模型扩展了执行状态空间,引入第三状态'暂停',用于处理因观测不全或不确定导致的权限未定义情况。文中定义了包含动态依赖解析、权限重构与显式决策语义的具体执行协议。进一步提出恢复环(Recovery Loop),融合漂移检测(IML)与执行控制(ACP),使系统可在执行暂停后获取缺失信息并重试权限重构。实验表明,该模型确保安全性——无权限可重建的行动不会被执行;同时保证条件活跃性——当权限相关变量变得可观测时,执行可恢复。本工作将重构性权限落地为可运行的实时保障机制,为真实系统应用RAM提供了必要的执行语义。
原文摘要 · Abstract (English)
Autonomous agent systems fail not only due to incorrect decisions, but due to executing decisions whose authority no longer holds at runtime. Prior work defined Reconstructive Authority (RAM) as a condition for valid execution: actions are permitted only if authority can be constructed from current state. This paper addresses enforcement at runtime: how to enforce this condition in a running system. We introduce a runtime execution model in which authority is evaluated at action time and execution is conditioned on its constructibility. This extends the execution state space beyond admit/deny with a third state, halt, representing cases where authority is undefined due to incomplete or uncertain observability. We define a concrete execution protocol including dynamic dependency resolution, authority reconstruction, and explicit decision semantics. We further introduce a Recovery Loop that integrates drift detection (IML) with execution control (ACP), allowing the system to suspend execution, acquire missing information, and re-attempt authority reconstruction. We show that this model guarantees safety -- no action is executed without constructible authority -- and conditional liveness: execution resumes when authority-defining variables become observable. This work operationalizes reconstructive authority as a runtime enforcement mechanism, providing the execution semantics required to apply RAM in real systems.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。