Strategic games model the interaction among simultaneous decisions of agents. The starting point of strategic games is a set of players (agents) having strategies (decisions) and preferences on the game’s outcomes. In this paper we do not assume the decisions and preferences of agents to be given in advance, but we derive them from the agents’ mental attitudes. We specify such agents, define a mapping from their specification to the specification of the strategic game they play. We discuss a reverse mapping from the specification of strategic games that agents play to a specification of those agents. This mapping can be used to specify a group of agents that can play a strategic game, which shows that the notion of agent system specification is expressive enough to play any kind of game.
Mehdi Dastani, Leendert W. N. van der Torre