Skip to main content
SpringerLink
Log in

Building multi-agent systems using Jason

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript

Abstract

We provide a detailed description of the Jason-DTU system, including the used methodology, tools as well as team strategy. We also discuss the experience gathered in the contest. In spring 2009 the course “Artificial Intelligence and Multi-Agent Systems” was held for the first time on the Technical University of Denmark (DTU). A part of this course was a short introduction to the multi-agent framework Jason, which is an interpreter for AgentSpeak, an agent-oriented programming language. As the final project in this course a solution to the Multi-Agent Programming Contest from 2007, the Gold Miners scenario, was implemented. Finally we decided to participate in this year’s contest with an implementation made in Jason as well.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bordini, R.H., Hübner, J.F., Tralamazza, D.M.: Developing a team of gold miners using Jason. In: Proceedings of Programming Multi-Agent Systems. Lecture Notes in Computer Science, vol. 4908, pp. 241–245. Springer (2008)

  2. Bordini, R.H., ooldridge, M., Hübner, J.F.: Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley (2007)

  3. Padgham, L., Winikoff, M.: Developing Intelligent Agent Systems: A Practical Guide. Wiley (2007)

  4. Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice Hall (2003)

  5. Villadsen, J.: Paraconsistent assertions. In: Proceedings of Multiagent System Technologies. Lecture Notes in Computer Science, vol. 3187, pp. 99–113. Springer (2004)

  6. Villadsen, J.: A paraconsistent higher order logic. In: Proceedings of Artificial Intelligence and Symbolic Computation. Lecture Notes in Computer Science, vol. 3249, pp. 38–51. Springer (2004)

  7. Villadsen, J.: Supra-logic: using transfinite type theory with type variables for paraconsistency. J. Appl. Non-Class. Log. 15(1), 45–58 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  8. Villadsen, J.: Nominalistic logic: from naive set theory to intensional type theory. In: New Approaches to Classes and Concepts. Studies in Logic, vol. 14, pp. 57–85. College Publications (2008)

Download references

Author information

Authors and Affiliations

  1. Department of Informatics and Mathematical Modelling, Technical University of Denmark, Richard Petersens Plads, Building 321, 2800, Kongens Lyngby, Denmark

    Niklas Skamriis Boss, Andreas Schmidt Jensen & Jørgen Villadsen

Authors
  1. Niklas Skamriis Boss
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andreas Schmidt Jensen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jørgen Villadsen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jørgen Villadsen.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Boss, N.S., Jensen, A.S. & Villadsen, J. Building multi-agent systems using Jason . Ann Math Artif Intell 59, 373–388 (2010). https://doi.org/10.1007/s10472-010-9181-2

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10472-010-9181-2

Keywords

Mathematics Subject Classification (2010)

Search

Navigation