Skip to main content
SpringerLink
Log in

BDI Agent Programming in AgentSpeak Using Jason

  • Conference paper
Computational Logic in Multi-Agent Systems (CLIMA 2005)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3900))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. Bellifemine, F., Bergenti, F., Caire, G., Poggi, A.: JADE — a java agent development framework. In: Bordini, et al. (eds.) [4], ch. 5, pp. 125–147

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  6. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Model checking rational agents. IEEE Intelligent Systems 19(5), 46–52 (2004)

    Article  Google Scholar 

  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. 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), http://jason.sourceforge.net/

  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–37

    Google Scholar 

  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), http://www.elsevier.nl/locate/entcs/volume70.html

    Google Scholar 

  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 Systems

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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. Kinny, D.: The distributed multi-agent reasoning system architecture and language specification. Technical report, Australian Artificial Intelligence Institute, Melbourne, Australia (1993)

    Google Scholar 

  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)

    MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  23. Padgham, L., Winikoff, M. (eds.): Developing Intelligent Agent Systems: A Practical Guide. John Wiley and Sons, Chichester (2004)

    Google Scholar 

  24. Plotkin, G.D.: A structural approach to operational semantics. Technical report, Computer Science Department, Aarhus University, Aarhus (1981)

    Google Scholar 

  25. Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI reasoning engine. In: [4], ch. 6, pp. 149–174

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Rao, A.S., Georgeff, M.P.: Decision procedures for BDI logics. Journal of Logic and Computation 8(3), 293–343 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  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. 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. 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. Winikoff, M.: JACKTM intelligent agents: An industrial strength platform. In: Bordini, et al. (eds.) [4], Ch. 7, pp. 175–193

    Google Scholar 

  33. Wooldridge, M.: Reasoning about Rational Agents. The MIT Press, Cambridge (2000)

    MATH  Google Scholar 

  34. Wooldridge, M.: An Introduction to MultiAgent Systems. John Wiley & Sons, Chichester (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Durham, Durham, DH1 3LE, UK

    Rafael H. Bordini

  2. Departamento de Sistemas e Computação, Universidade Regional de Blumenau, Blumenau, SC, 89035-160, Brazil

    Jomi F. Hübner

Authors
  1. Rafael H. Bordini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jomi F. Hübner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing, Imperial College London, UK

    Francesca Toni

  2. DEIS, University of Bologna, V.le Risorgimento 2, 40136, Bologna, Italy

    Paolo Torroni

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bordini, R.H., Hübner, J.F. (2006). BDI Agent Programming in AgentSpeak Using Jason . In: Toni, F., Torroni, P. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2005. Lecture Notes in Computer Science(), vol 3900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11750734_9

Download citation

  • DOI: https://doi.org/10.1007/11750734_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-33996-0

  • Online ISBN: 978-3-540-33997-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation