Title: Intentions and Strategies in Game-Like Scenarios
Authors: Wojciech Jamroga, Computational Intelligence Group, Clausthal University of Technology
   Wiebe van der Hoek, Department of Computer Science, University of Liverpool
   Michael Wooldridge, Department of Computer Science, University of Liverpool

In this paper, we investigate the link between logics of games and "mentalistic" logics of rational agency, in which agents are characterized in terms of attitudes such as belief, desire and intention. In particular, we investigate the possibility of extending the logics of games with the notion of agents' intentions (in the sense of Cohen and Levesque's BDI theory). We propose a new operator str that can be used to formalize reasoning about outcomes of strategies in game-like scenarios. We briefly discuss the relationship between intentions and goals in this new framework, and show how capture dynamic logic-like constructs can be captured. Finally, we demonstrate how game-theoretical concepts like Nash equilibrium can be expressed to reason about rational intentions and their consequences.

Keywords: multi-agent systems, strategic reasoning, common sense reasoning.

Computational Intelligence Group @ Technical University of Clausthal Home
Human Media Interaction Group @ University of Twente
Computer Science Group @ University of Gdansk Last modified 2005-07-14