Logos: An Agent Harness on a Cross-Process Bus
[Sztuczna inteligencja] Autorzy: Hanzhang Jia, Liheng Zeng, Hao Cheng i 2 więcej
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-mod…
- Kategoria arxiv
- cs.AI
- Kategoria
- Sztuczna inteligencja