ADF-EA：用能力契约统一设备执行与恢复治理

基于大语言模型 (LLM) 的代理可以通过工具和 API 访问异构设备，但可靠的执行必须考虑未满足的效果、不确定的结果和不断变化的先决条件。一个命令可能会在没有产生预期效果的情况下被确认，而缺少反馈可能会掩盖已经成功的操作。我们提出代理设备基础-执行保证（ADF-EA），这是一种通过共享能力契约连接代理规划和设备执行的架构。设备能力契约（DCC）统一了异构接口的调用条件、预期效果、证据要求和恢复规则。代理使用这些契约来计划，而运行时则应用相同的语义来授权操作、验证效果以及管理后续执行与完成。持久执行状态保留经过验证的进度、未解决的结果以及计划修订中的剩余预算，从而实现基于观察的恢复、授权重试和必要的状态修复。我们将执行生命周期形式化，并为完成和恢复授权建立条件健全性属性。评估涵盖多个大语言模型、五个代理框架以及模拟过程控制、家庭和机器人操作领域。与直接调用和现有的执行检查方法相比，ADF-EA 减少了错误完成和不必要的重复，支持必要的状态修复，防止调用不可用的功能，并保留允许的任务完成和恢复。这些结果表明 DCC 作为跨异构设备的代理自治的可重用语义基础，在一个架构内统一基于能力的规划、基于证据的执行和授权恢复。