Using Jason to Implement a Team of Gold Miners

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


This paper describes a team of agents that took part in the second CLIMA Contest. The team was implemented in a logic-based language for BDI agents and was run in a Java-based interpreter that makes it easy for legacy code to be invoked from within the agents’ practical reasoning. Even though the implementation was not completely finished in time, the team won the competition, and the experience also allowed us to improve various aspects of the interpreter.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, Heidelberg (2005)MATHGoogle Scholar
  2. 2.
    Bordini, R.H., Hübner, J.F., et al.: Jason, manual version 0.8 (March 2006),
  3. 3.
    Bordini, R.H., Hübner, J.F., Vieira, R.: Jason and the golden fleece of agent-oriented programming. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications, pp. 3–37. Springer, Heidelberg (2005)Google Scholar
  4. 4.
    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)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Hübner, J.F., Sichman, J.S., Boissier, O.: Using the Moise+ for a cooperative framework of MAS reorganisation. In: Bazzan, A.L.C., Labidi, S. (eds.) SBIA 2004. LNCS (LNAI), vol. 3171, pp. 506–515. Springer, Heidelberg (2004)Google Scholar
  6. 6.
    Padgham, L., Winikoff, M.: Developing Intelligent Agent Systems: A Practical Guide. John Wiley and Sons, Chichester (2004)Google Scholar
  7. 7.
    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
  8. 8.
    Wooldridge, M.: Reasoning about Rational Agents. MIT Press, Cambridge (2000)MATHGoogle Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Rafael H. Bordini
    • 1
  • Jomi F. Hübner
    • 2
  • Daniel M. Tralamazza
    • 3
  1. 1.Department of Computer Science, University of Durham, Durham DH1 3LEU.K.
  2. 2.Departamento de Sistemas e Computaç ao, Universidade Regional de Blumenau, Blumenau, SC 89035-160Brazil
  3. 3.School of Computer & Communication Sciences, Ecole Polytechnique Fédérale de Lausanne, CH-1015 LausanneSwitzerland

Personalised recommendations