Skip to main content
Log in

Argonauts: a working system for motivated cooperative agents

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

Abstract

This paper presents the Argonauts multi-agent framework which was developed as part of a one year student project at Technische Universität Dortmund. The Argonauts framework builds on a BDI approach to model rational agents that act cooperatively in a dynamic and indeterministically changing environment. However, our agent model extends the traditional BDI approach in several aspects, most notably by incorporating motivation into the agent’s goal selection mechanism. The framework has been applied by the Argonauts team in the 2010 version of the annual multi-agent programming contest organized by Technische Universität Clausthal. In this paper, we present a high-level specification and analysis of the actual system used for solving the given scenario. We do this by applying the GAIA methodology, a high-level and iterative approach to model communication and roles in multi-agent scenarios. We further describe the technical details and insights gained during our participation in the multi-agent programming contest.

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

Access this article

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

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Bienek, F., Böhmer, E., Broszeit, S., Hölzgen, D., Jablkowski, B., Kruse, M., Löwen, A., Vengels, T.: Endbericht PG 545—intelligent cowbots. Tech. rep., Technische UniversitätDortmund, Germany (2010)

  2. Bordini, R.H., Wooldridge, M., Hübner, J.F.: Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology). Wiley, New York (2007)

    Book  Google Scholar 

  3. Bratman, M.E.: Intention, Plans, and Practical Reason. CSLI Publications (1987)

  4. Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of update sequences based on causal rejection. Theory Pract. Log. Program 2, 711–767 (2002)

    MathSciNet  MATH  Google Scholar 

  5. Eiter, T., Faber, W., Koch, C., Leone, N., Pfeifer, G.: DLV—a system for declarative problem solving. In: Baral, C., Truszczynski, M. (eds.) Proc. of the 8th Int. Workshop on Non-Monotonic Reasoning (2000)

  6. Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: Planning under incomplete knowledge. In: Lloyd, J., Dahl, V., Furbach, U., Kerber, M., Lau, K.K., Palamidessi, C., Pereira, L., Sagiv, Y., Stuckey, P. (eds.) Computational Logic—CL 2000. Lecture Notes in Computer Science, vol. 1861, pp. 807–821. Springer Berlin/Heidelberg (2000)

  7. Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning: semantics and complexity. ACM Trans. Comput. Log. 5, 206–263 (2004)

    Article  MathSciNet  Google Scholar 

  8. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gener. Comput. 9, 365–385 (1991)

    Article  Google Scholar 

  9. Gelfond, M., Leone, N.: Logic programming and knowledge representation—the a-prolog perspective. Artif. Intell. 138(1–2), 3–38 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  10. Krümpelmann, P., Thimm, M., Ritterskamp, M., Kern-Isberner, G.: Belief operations for motivated BDI agents. In: Padgham, L., Parkes, D.C., Müller, J.P., Parsons, S. (eds.) Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), pp. 421–428. Estoril, Portugal (2008)

  11. Meneguzzi, F.R., Luck, M.: Motivations as an abstraction of meta-level reasoning. In: Burkhard, H.D., Lindemann, G., Verbrugge, R., Varga, L.Z. (eds.) Multi-Agent Systems and Applications V: Proceedings of the Fifth International Central and Eastern European Conference on Multi-Agent Systems. pp. 204–214. Lecture Notes in Computer Science, no. 4696. Springer (2007)

  12. Pokahr, A., Braubach, L.: From a research to an industrial-strength agent platform: Jadex V2. In: Hansen, H.R., Karagiannis, D, Fill, H.-G. (eds.) Business Services: Konzepte, Technologien, Anwendungen - 9. Internationale Tagung Wirtschaftsinformatik (WI 2009), pp. 769–778. Österreichische Computer Gesellschaft (2009)

  13. Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: de Velde, W.V., Perram, J.W. (eds.) MAAMAW. Lecture Notes in Computer Science, vol. 1038, pp. 42–55. Springer (1996)

  14. Rao, A.S., Georgeff, M.P.: BDI-agents: from theory to practice. In: Proceedings of the First Intl. Conference on Multiagent Systems. San Francisco (1995)

  15. de Silva, L., Sardina, S., Padgham, L.: First principles planning in BDI systems. In: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, pp. 1105–1112 (2009)

  16. Weiss, G. (ed.): Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge, MA, USA (1999)

    Google Scholar 

  17. Wooldridge, M., Jennings, N.R., Kinny, D.: The Gaia methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems, pp. 285–312 (2000)

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Matthias Thimm.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hölzgen, D., Vengels, T., Krümpelmann, P. et al. Argonauts: a working system for motivated cooperative agents. Ann Math Artif Intell 61, 309–332 (2011). https://doi.org/10.1007/s10472-011-9226-1

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10472-011-9226-1

Keywords

Mathematics Subject Classification (2010)

Navigation