arXiv cs.AI· Hanzhang Jia, Liheng Zeng, Hao Cheng, Yi Gao, Bo Ma, Guolong Xu·· 3 天前AI 评分30
Logos：如何让插件式智能体的可逆性保证跨进程成立
Composition without a Host: Carrying the Spatiotemporal-Composability Guarantee of Plugin-Based Agents across Processes
AI 导读
论文将插件式智能体的时空可组合性演算从单进程限制放宽到组件与记录可任意分配到多进程，给出四个充分条件并用定理1证明可逆性保证跨进程成立。基于该定理构建的 Logos 采用 ROS 式的对等进程与名称路由形式，插件即进程，路由表可重建，恢复所需的会话状态存于无归属的追加式记录中。
正文 · AI 翻译
摘要：基于插件的智能体在运行时组装能力，而时空可组合性演算为这种组装证明了可逆性保证。然而，该保证由单一进程承载，这会将所有组件、会话和恢复记录限制在一个故障域内，故障会越过插件边界扩散，而进程死亡会中断该进程承载的每个会话。本文仅基于该演算已陈述的假设以及模型调用的无状态接口，将该演算的单进程限制放宽为组件和记录到进程的任意分配，给出四个充分条件，并通过由四个引理推导出的定理 1 证明：当满足这些条件时，可逆性保证可跨进程成立。基于定理 1，本文构建了 Logos，一种采用 ROS 的对等进程和名称路由形式的跨进程基于插件的智能体，其中插件是一个进程，路由器仅持有一个可重建的路由表，而恢复所需的会话状态存在于一个不属于任何进程的仅追加记录中。在三种配置下的两百个基准任务中注入一次故障时，单进程参考实现丢失了所有会话，在官方验证器上得分 1.5%，MCP 配置保住了会话，却在一个失效端点上耗费了 1099 次调用，而 Logos 保持了每个会话存活，零浪费调用，并成功完成 120 个任务，而两种配置合计仅完成 102 个。在机制层面，八十个在工具调用周期四个点终止的会话全部恢复且无重复动作，3,500 次并发调用配对零违规，一次总线跳转的成本为模型首个 token 的 823 分之一。结果表明，可逆性保证可跨进程成立，且组装本身可以离开宿主进程。
| 评论： | 仍为草稿，版本 0.4.1。作者贡献仍在讨论中，该草稿不代表最终决定 |
| 主题： | 人工智能（cs.AI）；多智能体系统（cs.MA） |
| 引用为： | arXiv:2608.28553 [cs.AI] |
| （或 arXiv:2608.28553v4 [cs.AI] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2608.28553 由 DataCite 颁发的 arXiv DOI |
提交历史
来自：Hanzhang Jia [查看邮箱]
[v1]
2026年8月28日星期五 17:30:10 UTC（1,426 KB）
[v2]
2026年8月31日星期一 05:59:16 UTC（1,445 KB）
[v3]
2026年9月6日星期日 20:18:38 UTC（4,258 KB）
[v4]
2026年10月13日星期二 16:44:41 UTC（26,942 KB）
来源：arXiv cs.AI · arxiv.org