Internal models and private multi-agent belief revision

Guillaume Aucher (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 Department of Computer Science, University of Otago

We generalize AGM belief revision theory to the multi-agent case. To do so, we first generalize the semantics of the single- agent case, based on the notion of interpretation, to the multi-agent case. Then we show that, thanks to the shape of our new semantics, all the results of the AGM framework transfer. Afterwards we investigate some postulates that are specific to our multi-agent setting.

Domaines: Logique en informatique [cs.LO]; Système multi-agents [cs.MA]

Guillaume Aucher. Internal models and private multi-agent belief revision. Autonomous agents and multi-agent systems (AAMAS 2008), May 2008, Estoril, Portugal. ⟨inria-00556084⟩