[论文] Logos: An Agent Harness on a Cross-Process Bus

论文概要

研究领域: ML
作者: Hanzhang Jia, Liheng Zeng, Hao Cheng, Yi Gao, Bo Ma
发布时间: 2026-08-28
arXiv: 2608.28553

中文摘要

现代智能体系统在运行时组装能力，这种动态组合最近在时空可组合性演算中得到了完整的形式化处理，其中能力是一个携带被跟踪逆的组件，智能体作为插件组装。这种插件形式由共享一个上下文的单一进程承载，这种载体将所有组件置于一个物理故障域中，一个故障同时暂停每个组件，进程死亡中断进程托管的每个会话。本文表明，建模和演算都不将智能体绑定到一个进程，语言模型的无状态性将所有跨步骤状态保留在模型外部，且健全性不变式仅定义在状态空间上。这些观察凝练为四个引理，其前提是演算的假设和语言模型推理的无状态性。在这些引理上，本文构建了Logos，一个类似ROS的跨进程智能体框架，其中插件是一个进程，唯一共享状态是仅追加的转录。在工具调用周期的四个边界处放置的终止后，八十个会话恢复而没有重复效果，与单进程参考配置的相同故障比较显示，一个故障中断每个共存会话，而在对等进程构造下，一个故障终止于一个节点。

原文摘要

Modern agent systems assemble capabilities at runtime, and this dynamic composition has recently received a complete formal treat ment in the spatiotemporal-composability calculus, in which a capability is a component carrying a tracked inverse, and agents are assembled as plugins. This plugin form is carried by a single process sharing one context, a carrier that places all components in one physical failure domain, a fault suspends every component at once, and process death interrupts every session the process hosts. This paper shows that neither the modeling nor the calculus binds an agent to one process, the statelessness of the language model keeps all cross-step state outside the model, and the soundness invariant is defined on the state space alone. These observations condense into ...

自动采集于 2026-09-01

#论文 #arXiv #ML #小凯