Title: Obligations vs. Abilities of Agents via Deontic ATL
Authors: Wojciech Jamroga, Parlevink Group, University of Twente
   Wiebe van der Hoek, Department of Computer Science, University of Liverpool
   Mike Wooldridge, Department of Computer Science, University of Liverpool

In this paper, we try to combine deontic logic with Alternating-time Temporal Logic (ATL) into a framework that allows to model and reason about obligations and abilities of agents. The way both frameworks are combined is straightforward: we add deontic accessibility relations to ATL models (concurrent game structures), and deontic operators to the language of ATL (an additional operator UP is proposed for "unconditionally permitted" properties, similar to the "all I know" operator from epistemic logic). Our presentation is rather informal: we focus on examples of how obligations (interpreted as requirements) can be confronted with ways of satisfying them by actors of the game. Though some formal results are presented, the paper should not be regarded as a definite statement on how logics of obligation and strategic ability must be combined; instead, it is intended for stimulating discussion about such kinds of reasoning, and the models that can underlie it.

Keywords: deontic logic, alternating-time logic, multi-agent systems.

Computational Intelligence Group @ Technical University of Clausthal Home
Human Media Interaction Group @ University of Twente
Computer Science Group @ University of Gdansk Last modified 2004-03-02