Intentions and strategies in game-like scenarios

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 a ...) 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