法的ガイドラインに基づく順序ゲームによる監査可能で展開可能なマルチエージェント動作計画
Auditable and Deployable Multi-Agent Motion Planning via Posetal Games from Legal Guidelines
法的制約下でのマルチエージェント動作計画を、半順序選好を持つゲーム(posetal games)で定式化し、法規からエージェントの選好とゲームを自動導出する枠組みを提案。海事ナビゲーションに適用し、規則違反が法的階層により強制されたものか判定可能であることを示した。
詳しい要約
1. どんなもの?
2. 先行研究と比べてどこがすごい?
3. 技術・手法の肝は?
4. どうやって有効だと検証した?
5. 議論はある?
6. 次に読むべき論文は?
※ AIが要旨から生成した要約です。正確性は原文をご確認ください。
著者: Florian Lercher, Karan Mahesh, Yujun Huang, Meshal Alharbi, Runyu Zhang, Hanna Krasowski, Michael R. Benjamin, Matthias Althoff, Gioele Zardini
分類: cs.MA, cs.GT, cs.RO, eess.SY
原文アブストラクト
When robots are deployed in the real-world, they must interact with other agents and accomplish their own goals while adhering to legal constraints. These potentially conflicting objectives are often only partially prioritized, making scalarized objectives or fully specified hierarchies unsuitable. We present a framework for multi-agent motion planning under legal requirements based on games with partially ordered preferences (posetal games). Scenario-independent legal guidelines order abstract legal concerns, from which we automatically derive agent preferences and a legal game for any concrete scenario. Agents may refine their legal preferences with private objectives, and regulators may refine the guideline as laws evolve. We prove that such customizations can only remove equilibria and thus preserve legality. To coordinate agents without explicitly communicating private preferences, we introduce belief play, which provably recovers the true equilibria from conservative local games, and a distributed iterative best-response protocol requiring less information. We apply the framework to maritime navigation, systematically lifting pairwise traffic rules to multi-vessel encounters. On seven encounters with up to four vessels, every rule violation of the committed equilibria is certified as forced by the legal hierarchy or unsatisfiable, and defectors are identified from public information in all tested cases. These results indicate that guideline-based posetal games offer an auditable route from partially specified laws to multi-agent motion planning.
関連論文
- 多分岐コンティンジェンシーゲームのためのカスケード合意分割マルチエージェント計画
- SAFE-MA-RRT: データ駆動型安全証明を用いたマルチエージェント動作計画マルチエージェント計画
- ELHPlan:マルチエージェント協調のための効率的な長期タスクプランニングマルチエージェント計画
- 制約環境におけるマルチエージェント動作計画と衝突回避のためのMILPベース解法マルチエージェント計画
- スケーラブルなゲーム理論的予測・計画のためのプレイヤー選択ネットワークマルチエージェント計画
- LLMとマルチエージェントによる動的計画生成マルチエージェント計画