Intentions and strategies in game-like scenarios

Abstract. 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 (straσ) 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 to capture dynamic logic-like con-structs. Finally, we demonstrate how game-theoretical concepts like Nash equilib-rium can be expressed to reason about rational intentions and their consequences