arXiv cs.AI· Muntaser Syed, Marius C. Silaghi·· 3 天前AI 评分24
Pollard：面向框架无关 AI 智能体控制与回放的受治理语义执行树
Pollard: Governed Semantic Execution Trees for Framework-Independent AI Agent Control and Replay
AI 导读
Pollard 是一个框架无关的运行时，基于受治理语义执行树，让执行、治理与回放共享同一步骤身份。严格回放可直接返回已验证的存储结果而不调用被包装操作，事务存储协调并发 worker 的预留。在签名确定性冻结下，两个状态模型副本执行评估转换均未违反不变量，严格回放避免了外部调用，所有语义变更均被检出且对照组无误报。
正文 · AI 翻译
摘要：智能体框架可以持久化检查点、追踪工具调用并限制资源使用，但这些设施往往为执行、治理和重放分配不同的身份。我们提出 Pollard，一个基于受治理语义执行树的框架无关运行时。一个步骤身份提交到规范输入、类型、尝试和父身份；同一棵树记录完成、拒绝、资源结算和分支历史。严格重放返回经过验证的存储结果，而不调用被包装的操作，同时事务存储协调并发工作线程之间的预留。在签名的确定性冻结下，两个状态模型副本各自执行了评估转换而没有违反不变量，保留租约的 PostgreSQL 组针对精确限制进行了测试，严格重放避免了外部调用，并且所有语义变更都被检测到，而对照组没有误报。多对框架矩阵保留了参考行为并验证了这些树。一项单独的带成本上限的托管研究测试了实时提供商路径，每个完成的 Pollard 试验都产生了一棵经过验证的树。总之，这些研究在明确的租约、边界和密封保管假设下支持了核心机制。
| 评论： | 已被 IEEE ICTAI 2026 接收（短文） |
| 主题： | 人工智能（cs.AI）；多智能体系统（cs.MA） |
| 引用为： | arXiv:2610.16145 [cs.AI] |
| （或 arXiv:2610.16145v1 [cs.AI] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2610.16145 arXiv 颁发的 DOI 通过 DataCite（待注册） |
提交历史
来自：Muntaser Syed [查看电子邮件]
[v1]
2026年10月12日星期一 04:06:47 UTC（21 KB）
来源：arXiv cs.AI · arxiv.org