arXiv · cs.AI· Chao Gu·· 5 天前AI 评分44
面向 Agentic AI 的认证执行框架：推理与动作之间安全、最小侵入的 Petri 网监督控制
Certified Execution Harness for Agentic AI: Safe and Least-Intrusive Petri-Net Supervisory Control Between Reasoning and Action
来源与原文
arXiv · cs.AI
作者：Chao Gu
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.31376v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
一篇 arXiv 论文用 Petri 网将 LLM Agent 的工具执行框架形式化为监督控制问题，使未满足或已消耗前置条件的注入请求无论措辞如何都会被拒绝。论文引入重规划闭环，证明传统监督器可能比更严格的安全监督器侵入性高任意倍，并刻画了最小侵入监督器。在自主发布 Agent 上的综合实验表明，安全部署需要一个监督器可在 rollout 开始后拒绝的步骤。
来源：arXiv · cs.AI · arxiv.org