マルチエージェントシステムにおける互換性と将来保証テスト
Compatibility and future-proof testing for multi-agent systems
規制当局がシードエージェントを公開し各開発者が独立にテストすることで、相互調整なしに将来のエージェント設計とも互換性を保証する枠組みを定式化した論文。
著者: Yueshan Li, Lorenzo Fiaschi, Andrea Censi, Emilio Frazzoli
分類: cs.MA, cs.RO
原文アブストラクト
Independently developed autonomous agents, such as autonomous vehicles, must guarantee joint compatibility, such as safety and task-completion requirements, when they operate in a shared environment. Existing methods require a centrally designed specification, or interaction mechanism before any agent is deployed. However, such centralized design is unrealistic when agent designs are confidential to their developers, and it is not flexible enough to accommodate future agent designs. We study a bi-level structure in which a regulator coordinates developers by publishing seed agents, and each developer independently tests its agent to ensure that it is compatible with every seed-compatible agent, a property we call future-proofness. Under this structure, joint compatibility is guaranteed for any agents that are designed and tested independently, without any coordination with each other. In this work, we first formulate compatibility for general multi-agent systems and show why it is not trivially implied by seed-compatibility. We then characterize the future-proof agents as the closure of the seed and show that this closure is monotone in the seed. Finally, we study a class of executable tests that involve interaction with the seed alone, and we ask to what extent such tests can distinguish the future-proof agents.