Modal logics of strategic ability form one of the fields where logic and game theory can successfully meet. This paper reports research in progress on ATOL, a logic designed to capture strategic properties of agents under incomplete information. The notation and terminology, chosen originally for ATOL, were rather unfortunate. Moreover, ATOL needs a large number of modal operators in order to express properties of agents. We rewrite the syntax and semantics of ATOL, using an easier-to-read notation, and more natural terminology. More importantly, we propose an alternative “take” on ATOL, in which simple cooperation modalities can be combined with epistemic operators into sufficiently expressive formulae. This new version of ATOL is no less expressive than the older version, while retaining the same complexity of model checking.
Keywords: alternating-time logic, epistemic logic, strategic ability, incomplete information, multi-agent systems.
|Computational Intelligence Group @ Technical University of Clausthal|
|Human Media Interaction Group @ University of Twente|
|Computer Science Group @ University of Gdansk||Last modified 2005-03-23|