Concurrent dynamic epistemic logic for MAS

  • Authors:

  • H. P. van Ditmarsch;W. van der Hoek;B. P. Kooi

  • Affiliations:

  • University of Otago, Dunedin, New Zealand;University of Liverpool, Liverpool, United Kingdom;University of Groningen, Groningen, the Netherlands

  • Venue:
  • AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

When giving an analysis of knowledge in multiagent systems, one needs a framework in which higher-order information and its dynamics can both be represented. A recent tradition starting in original work by Plaza treats all of knowledge, higher-order knowledge, and its dynamics on the same foot. Our work is in that tradition. It also fits in approaches that not only dynamize the epistemics, but also epistemize the dynamics: the actions that (groups of) agents perform are epistemic actions. Different agents may have different information about which action is taking place, including higher-order information. We demonstrate that such information changes require subtle descriptions. The contribution of our paper is that it provides a complete axiomatization for an action language of van Ditmarsch, where an action is interpreted as a relation between states and sets of states. The applicability of the framework is found in every context where multiagent strategic decision making is at stake, and already demonstrated in game-like scenarios such as Cluedo and card games.