BDI Agent Programming in AgentSpeak Using Jason

  • Rafael H. Bordini
  • Jomi F. Hübner
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3900)


This paper is based on the tutorial given as part of the tutorial programme of CLIMA-VI. The tutorial aimed at giving an overview of the various features available in Jason, a multi-agent systems development platform that is based on an interpreter for an extended version of AgentSpeak. The BDI architecture is the best known and most studied architecture for cognitive agents, and AgentSpeak is an elegant, logic-based programming language inspired by the BDI architecture.


Multiagent System Operational Semantic Belief Base Illocutionary Force Social Simulation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Ancona, D., Mascardi, V., Hübner, J.F., Bordini, R.H.: Coo-AgentSpeak: Cooperation in AgentSpeak through plan exchange. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), July 19–23, pp. 698–705. ACM Press, New York (2004)Google Scholar
  2. 2.
    Bellifemine, F., Bergenti, F., Caire, G., Poggi, A.: JADE — a java agent development framework. In: Bordini, et al. (eds.) [4], ch. 5, pp. 125–147Google Scholar
  3. 3.
    Bordini, R.H., Bazzan, A.L.C., Jannone, R.O., Basso, D.M., Vicari, R.M., Lesser, V.R.: AgentSpeak(XL): Efficient intention selection in BDI agents via decision-theoretic task scheduling. In: Castelfranchi, C., Johnson, W.L. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy, July 15–19, pp. 1294–1302. ACM Press, New York (2002)CrossRefGoogle Scholar
  4. 4.
    Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi- Agent Programming: Languages, Platforms and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15. Springer, Heidelberg (2005)MATHGoogle Scholar
  5. 5.
    Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: Rosenschein, J.S., Sandholm, T., Wooldridge, M., Yokoo, M. (eds.) Proceedings of the Second International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2003), Melbourne, Australia, July 14–18, pp. 409–416. ACM Press, New York (2003)CrossRefGoogle Scholar
  6. 6.
    Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Model checking rational agents. IEEE Intelligent Systems 19(5), 46–52 (2004)CrossRefGoogle Scholar
  7. 7.
    Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: State-space reduction techniques in agent verification. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) Proceedings of the Third International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), July 19–23, pp. 896–903. ACM Press, New York (2004)Google Scholar
  8. 8.
    Bordini, R.H., Hübner, J.F., et al.: Jason: A Java-based agentSpeak interpreter used with saci for multi-agent distribution over the net, manual, version 0.6 edition (Feburary 2005),
  9. 9.
    Bordini, R.H., Hübner, J.F., Vieira, R.: Jason and the golden fleece of agentoriented programming. In: Bordini, et al. (eds.) [4], ch. 1, pp. 3–37Google Scholar
  10. 10.
    Bordini, R.H., Moreira, Á.F.: Proving the asymmetry thesis principles for a BDI agent-oriented programming language. In: Dix, J., Leite, J.A., Satoh, K. (eds.) Proceedings of the Third International Workshop on Computational Logic in Multi-Agent Systems (CLIMA 2002), held as part of FLoC 2002, Copenhagen, Denmark, August 1. Electronic Notes in Theoretical Computer Science, vol. 70(5). Elsevier, Amsterdam (2002), Google Scholar
  11. 11.
    Bordini, R.H., Moreira, Á.F.: Proving BDI properties of agent-oriented programming languages: The asymmetry thesis principles in AgentSpeak(L). Annals of Mathematics and Artificial Intelligence 42(1–3), 197–226 (2004); Special Issue on Computational Logic in Multi-Agent SystemsMathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Bordini, R.H., Okuyama, F.Y., de Oliveira, D., Drehmer, G., Krafta, R.C.: The MAS-SOC approach to multi-agent based simulation. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS (LNAI), vol. 2934, pp. 70–91. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  13. 13.
    Bordini, R.H., Visser, W., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking multi-agent programs with CASP. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 110–113. Springer, Heidelberg (2003)(tool description)CrossRefGoogle Scholar
  14. 14.
    Castelfranchi, C., Falcone, R.: Principles of trust for MAS: Cognitive anatomy, social importance, and quantification. In: Demazeau, Y. (ed.) Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 1998), Agents’ World, Paris, July 4–7, pp. 72–79. IEEE Computer Society Press, Los Alamitos (1998)Google Scholar
  15. 15.
    Doran, J., Gilbert, N.: Simulating societies: An introduction. In: Gilbert, N., Doran, J. (eds.) Simulating Society: The Computer Simulation of Social Phenomena, ch. 1, pp. 1–18. UCL Press, London (1994)Google Scholar
  16. 16.
    Georgeff, M.P., Lansky, A.L.: Reactive reasoning and planning. In: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI 1987), Seattle, WA, July 13–17, pp. 677–682. AAAI Press /MIT Press (1987)Google Scholar
  17. 17.
    Kinny, D.: The distributed multi-agent reasoning system architecture and language specification. Technical report, Australian Artificial Intelligence Institute, Melbourne, Australia (1993)Google Scholar
  18. 18.
    Leite, J.A.: Evolving Knowledge Bases: Specification and Semantics. Frontiers in Artificial Intelligence and Applications, Dissertations in Artificial Intelligence, vol. 81. IOS Press/Ohmsha, Amsterdam (2003)MATHGoogle Scholar
  19. 19.
    Machado, R., Bordini, R.H.: Running AgentSpeak(L) agents on SIM AGENT. In: Meyer, J.-J., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 158–174. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  20. 20.
    Moreira, Á.F., Bordini, R.H.: An operational semantics for a BDI agent-oriented programming language. In: Meyer, J.-J.C., Wooldridge, M.J. (eds.) Proceedings of the Workshop on Logics for Agent-Based Systems (LABS 2002), held in conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), Toulouse, France, April 22–25, pp. 45–59 (2002)Google Scholar
  21. 21.
    Moreira, Á.F., Vieira, R., Bordini, R.H.: Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 135–154. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  22. 22.
    Okuyama, F.Y., Bordini, R.H., da Rocha Costa, A.C.: ELMS: an environment description language for multi-agent simulations. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2004. LNCS (LNAI), vol. 3374, pp. 91–108. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  23. 23.
    Padgham, L., Winikoff, M. (eds.): Developing Intelligent Agent Systems: A Practical Guide. John Wiley and Sons, Chichester (2004)Google Scholar
  24. 24.
    Plotkin, G.D.: A structural approach to operational semantics. Technical report, Computer Science Department, Aarhus University, Aarhus (1981)Google Scholar
  25. 25.
    Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI reasoning engine. In: [4], ch. 6, pp. 149–174Google Scholar
  26. 26.
    Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  27. 27.
    Rao, A.S., Georgeff, M.P.: BDI agents: From theory to practice. In: Lesser, V., Gasser, L. (eds.) Proceedings of the First International Conference on Multi- Agent Systems (ICMAS 1995), San Francisco, CA, June 12–14, pp. 312–319. AAAI Press/MIT Press (1995)Google Scholar
  28. 28.
    Rao, A.S., Georgeff, M.P.: Decision procedures for BDI logics. Journal of Logic and Computation 8(3), 293–343 (1998)MathSciNetCrossRefMATHGoogle Scholar
  29. 29.
    Singh, M.P., Rao, A.S., Georgeff, M.P.: Formal methods in DAI: Logicbased representation and reasoning. In: Weiß, G. (ed.) Multiagent Systems—A Modern Approach to Distributed Artificial Intelligence, ch. 8, pp. 331–376. MIT Press, Cambridge (1999)Google Scholar
  30. 30.
    Torres, J.A., Nedel, L.P., Bordini, R.H.: Autonomous agents with multiple foci of attention in virtual environments. In: Proceedings of 17th International Conference on Computer Animation and Social Agents (CASA 2004), Geneva, Switzerland, July 7–9, pp. 189–196 (2004)Google Scholar
  31. 31.
    Vieira, R., Moreira, A., Wooldridge, M., Bordini, R.H.: On the formal semantics of speech-act based communication in an agent-oriented programming language. Submitted article (2005) (to appear)Google Scholar
  32. 32.
    Winikoff, M.: JACKTM intelligent agents: An industrial strength platform. In: Bordini, et al. (eds.) [4], Ch. 7, pp. 175–193Google Scholar
  33. 33.
    Wooldridge, M.: Reasoning about Rational Agents. The MIT Press, Cambridge (2000)MATHGoogle Scholar
  34. 34.
    Wooldridge, M.: An Introduction to MultiAgent Systems. John Wiley & Sons, Chichester (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Rafael H. Bordini
    • 1
  • Jomi F. Hübner
    • 2
  1. 1.Department of Computer ScienceUniversity of DurhamDurhamUK
  2. 2.Departamento de Sistemas e ComputaçãoUniversidade Regional de BlumenauBlumenauBrazil

Personalised recommendations