Logos: An Agent Harness on a Cross-Process Bus

📅 2026-08-28
📈 Citations: 0
Influential: 0
📄 PDF
🤖 AI Summary
论文提出Logos系统,通过跨进程总线和无状态语言模型解决单进程故障导致所有组件中断的问题。
📝 Abstract
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 four lemmas whose premises are the hypotheses of the calculus and the statelessness of language-model inference. On these lemmas this paper constructs Logos, a ROS-like cross process agent harness in which a plugin is a process and the only shared state is an append-only transcript. Eighty sessions resume with no repeated effect after kills placed at the four boundaries of the tool-call cycle, and a same-fault comparison with a single process reference configuration shows one fault interrupting every co-resident session while under the peer-process construction one fault ends at one node.
Problem

Research questions and friction points this paper is trying to address.

agent systems
dynamic composition
single process
physical failure domain
fault tolerance
Innovation

Methods, ideas, or system contributions that make the work stand out.

Cross-Process
Agent Harness
Statelessness
Fault Tolerance
🔎 Similar Papers
2024-03-25arXiv.orgCitations: 16
2024-03-04Proceedings of the 17th International Conference on Agents and Artificial IntelligenceCitations: 3
H
Hanzhang Jia
University of Sussex
L
Liheng Zeng
Zhejiang Gongshang University
H
Hao Cheng
Shanghai Shuyuan Information Technology Co., Ltd.
Y
Yi Gao
University of Sussex
B
Bo Ma
Zhejiang Gongshang University