多エージェントシステムにおける信念修正公理の研究（拡張版）
arXiv cs.AI / 2026/5/5
📰 ニュースIdeas & Deep AnalysisModels & Research
要点
- 本論文は、エピステミック・プランニングにおいて、あるエージェントが状態の性質を信じるようになった後に、複数エージェントの信念がどのように更新されるかを調べる。
- エージェントの信念を単一の多エージェントKripkeモデルで表す標準的な枠組みに基づき、古典的なAGM信念修正公理を多エージェント設定へ一般化する。
- 一例として、一般化されたAGM公理のすべてを満たす単純なオペレータとして、一般化フルミートの多エージェント信念修正を提示する。
- さらに、反復信念修正の公理も一般化し、より高度なイベントモデルに基づく修正オペレータを定義し、反復の一般化公理をすべて満たし得るKripkeモデル上のエピステミック・オペレータ定義の難しさを議論する。
