Skip to content

⊗Agent Algebra

Papers About Code

Part I · cs.LO

Agents as Effectful Mealy Coalgebras

Matthew Long · 25 pages

Download PDF Code

Table of contents

1 Introduction 2 The agent object 2.1 Semantic commitments 2.2 Interfaces and effects 2.3 Support, predicate lifting and relation lifting 2.4 Agents 3 Trace semantics 4 Bisimilarity 5 Stuttering and refinement 6 Finality for deterministic agents 7 Quotients and minimization 8 Invariants 9 Environments and the closed loop 10 A worked example 10.1 Traces 10.2 Invariants 10.3 The quotient 10.4 The closed loop 11 Discussion 11.1 Encoded mechanisms 11.2 Prior art 12 Limitations 13 Conclusion 14 Code evidence References

1 Introduction 2 The agent object 2.1 Semantic commitments 2.2 Interfaces and effects 2.3 Support, predicate lifting and relation lifting 2.4 Agents 3 Trace semantics 4 Bisimilarity 5 Stuttering and refinement 6 Finality for deterministic agents 7 Quotients and minimization 8 Invariants 9 Environments and the closed loop 10 A worked example 10.1 Traces 10.2 Invariants 10.3 The quotient 10.4 The closed loop 11 Discussion 11.1 Encoded mechanisms 11.2 Prior art 12 Limitations 13 Conclusion 14 Code evidence References

An Algebra of Agents

Laws of Agent Composition

Matthew Long · The YonedaAI Collaboration · YonedaAI Research Collective · Chicago

matthew@yonedaai.com yonedaai.com GitHub

Papers licensed CC BY 4.0. Code licensed MIT.