Defining Agents Via Strategies: Towards a View of MAS as Games

  • D. R. Vasconcelos
  • E. H. Haeusler
  • Mario R. F. Benevides
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3825)


In this article, we intend to characterize, at least on BDI (Belief-Desire-Intention) basis, a class of games G for which there is a MAS and vice-versa. As a consequence, criteria of rationality for agents can be directly applied to players and vice-versa. Game analysis formal tools can be applied to MAS as well. The main results of this article are the following two lemmata.

Lemma I: Every MAS belonging to G is, essentially, a Game.

Lemma II: Every Game can be implemented as a MAS and Equilibria are Optimal Desires Satisfaction.


Game Theory Solution Concept Subgame Perfect Equilibrium Coalition Game Extensive Game 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Krause, T., Andersson, G., Ernst, D., Beck, E.V., Cherkaoui, R., Germond, A.: A comparison of Nash equilibria analysis and agent-based modelling for power markets. In: Proceedings of the 15th Power System Computation Conference (PSCC 2005), Lige, Belgium, August 22-26 (2005)Google Scholar
  2. 2.
    Aumann, R., Hart, S.: Handbook of Game Theory, vol. 1. North-Holland, Amsterdam (1992)MATHGoogle Scholar
  3. 3.
    Vasconcelos, D.R., Haeusler, E.H.: A Logic view of Playing Games. In: Frontiers in Artificial Intelligence and Applications, vol. 101, pp. 67–80. IOS Press, Amsterdam (2003)Google Scholar
  4. 4.
    Vasconcelos, D.R., Haeusler, E.H., Poggi, M., Benevides, M.F.: Reasoning about games via temporal logic: A model checking approach, p. 13. PUCRioInf. MCC47/04 (ISSN 0103-9741)Google Scholar
  5. 5.
    Goldblatt, R.: Logics of Time and Computation. CSLI lecture notes 7. Stanford (1987)Google Scholar
  6. 6.
    Osbourne, M.J., Rubinstein, A.: A Course in Game Theory. MIT Press, Cambridge (1994)Google Scholar
  7. 7.
    Parsons, S., Wooldridge, M.: Game Theory and decision theory in multi-agent systems. Autonomous Agents and Multi-Agent Systems 5(3), 243–254 (2002)CrossRefMATHGoogle Scholar
  8. 8.
    Kacprzak, M., Penczek, W.: Unbounded model checking for alternating-time temporal logic. In: Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), pp. 646–653 (2004)Google Scholar
  9. 9.
    Wooldridge, M.: Reasoning about Rational Agents. MIT press, Cambridge (2000)MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • D. R. Vasconcelos
    • 1
  • E. H. Haeusler
    • 1
  • Mario R. F. Benevides
    • 2
  1. 1.Pontifícia Universidade Católica do Rio de JaneiroBrazil
  2. 2.Programa de Sistemas, COPPE/UFRJBrazil

Personalised recommendations