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|
|Human Media Interaction Group @ University of Twente|
|Computer Science Group @ University of Gdansk||Last modified 2005-07-14|