Skip to main content
Springer Nature Link
Log in

An AgentSpeak Meta-interpreter and Its Applications

  • Conference paper
Programming Multi-Agent Systems (ProMAS 2005)

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

Included in the following conference series:

  • 348 Accesses

Abstract

A meta-interpreter for a language can provide an easy way of experimenting with modifications or extensions to a language. We give a meta-interpreter for the AgentSpeak language, prove its correctness, and show how the meta-interpreter can be used to extend the AgentSpeak language and to add features to the implementation.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. McCarthy, J.: Recursive functions of symbolic expressions and their computation by machine, part i. Communications of the ACM, 184–195 (1960)

    Google Scholar 

  2. Armstrong, J., Virding, S., Williams, M.: Use of prolog for developing a new programming language. In: The Practical Application of Prolog (1992)

    Google Scholar 

  3. Shapiro, E.: A Subset of Concurrent Prolog and Its Interpreter. In: Concurrent Prolog: Collected Papers, vol. 1, pp. 27–83. MIT Press, Cambridge (1987)

    Google Scholar 

  4. Thangarajah, J., Winikoff, M., Padgham, L., Fischer, K.: Avoiding resource conflicts in intelligent agents. In: van Harmelen, F. (ed.) Proceedings of the 15th European Conference on Artificial Intelligence. IOS Press, Amsterdam (2002)

    Google Scholar 

  5. Poutakidis, D., Padgham, L., Winikoff, M.: Debugging multi-agent systems using design artifacts: The case of interaction protocols. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS 2002), pp. 960–967. ACM Press, New York (2002)

    Chapter  Google Scholar 

  6. Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall International, Englewood Cliffs (1993)

    MATH  Google Scholar 

  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 (LNAI), vol. 1038, pp. 42–55. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  8. Ashri, R., Luck, M., d’Inverno, M.: Infrastructure support for agent-based development. In: d’Inverno, M., Luck, M., Fisher, M., Preist, C. (eds.) UKMAS Workshops 1996-2000. LNCS (LNAI), vol. 2403, pp. 73–88. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  9. Dastani, M., de Boer, F., Dignum, F., Meyer, J.J.: Programming agent deliberation: An approach illustrating the 3APL language. In: Rosenschein, J.S., Sandholm, T., Wooldridge, M., Yokoo, M. (eds.) Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), Melbourne, Australia, pp. 97–104. ACM Press, New York (2003)

    Chapter  Google Scholar 

  10. d’Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS (LNAI), vol. 1365, pp. 155–176. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  11. Huber, M.J.: JAM: A BDI-theoretic mobile agent architecture. In: Proceedings of the Third International Conference on Autonomous Agents (Agents 1999), pp. 236–243 (1999)

    Google Scholar 

  12. Georgeff, M.P., Lansky, A.L.: Procedural knowledge. Proceedings of the IEEE Special Issue on Knowledge Representation 74, 1383–1398 (1986)

    Google Scholar 

  13. Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An architecture for real-time reasoning and system control. IEEE Expert 7 (1992)

    Google Scholar 

  14. Lee, J., Huber, M.J., Kenny, P.G., Durfee, E.H.: UM-PRS: An implementation of the procedural reasoning system for multirobot applications. In: Proceedings of the Conference on Intelligent Robotics in Field, Factory, Service, and Space (CIRFFSS 1994), pp. 842–849 (1994)

    Google Scholar 

  15. Busetta, P., Rönnquist, R., Hodgson, A., Lucas, A.: JACK Intelligent Agents – Components for Intelligent Agents in Java. Technical report, Agent Oriented Software Pty. Ltd, Melbourne, Australia (1998), available from, http://www.agent-software.com

  16. Machado, R., Bordini, R.: Running AgentSpeak(L) agents on SIM_AGENT. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, p. 158. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  17. Rahwan, T., Rahwan, T., Rahwan, I., Ashri, R.: Agent-based support for mobile users using AgentSpeak(L). In: Giorgini, P., Henderson-Sellers, B., Winikoff, M. (eds.) AOIS 2003. LNCS (LNAI), vol. 3030, pp. 45–60. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  18. d’Inverno, M., Luck, M.: Understanding Agent Systems. Springer, Heidelberg (2001)

    MATH  Google Scholar 

  19. Moreira, A., Bordini, R.: 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), pp. 45–59 (2002)

    Google Scholar 

  20. Plotkin, G.: Structural operational semantics (lecture notes). Technical Report DAIMI FN- 19, Aarhus University (1981) (reprinted 1991)

    Google Scholar 

  21. Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative & procedural goals in intelligent agent systems. In: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), Toulouse, France (2002)

    Google Scholar 

  22. Hindriks, K.V., Boer, F.S.D., van der Hoek, W., Meyer, J.J.C.: A formal embedding of AgentSpeak(L) in 3APL. In: Antoniou, G., Slaney, J.K. (eds.) Canadian AI 1998. LNCS (LNAI), vol. 1502, pp. 155–166. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  23. Sterling, L., Shapiro, E.: The Art of Prolog, 2nd edn. MIT Press, Cambridge (1994)

    MATH  Google Scholar 

  24. Winikoff, M.: Logic Programming with Linear Logic. PhD thesis, Melbourne University (1997)

    Google Scholar 

  25. Padgham, L., Winikoff, M., Poutakidis, D.: Adding debugging support to the Prometheus methodology. EAAI special issue on Agent-oriented software development 18(2) (2005)

    Google Scholar 

  26. 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 Multiagent Systems, pp. 698–705. ACM Press, New York (2004)

    Google Scholar 

  27. O’Keefe, R.A.: The Craft of Prolog. MIT Press, Cambridge (1990)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. RMIT University, Melbourne, Australia

    Michael Winikoff

Authors
  1. Michael Winikoff
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

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

    Rafael H. Bordini

  2. Utrecht University, P.O. Box 80.089, 3508, Utrecht, TB, The Netherlands

    Mehdi M. Dastani

  3. Clausthal University of Technology, Julius-Albert-Str. 4, 38678, Clausthal-Zellerfeld, Germany

    Jürgen Dix

  4. Laboratoire Informatique de Paris 6, 104 avenue du Président Kennedy, 75016, Paris, France

    Amal El Fallah Seghrouchni

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Winikoff, M. (2006). An AgentSpeak Meta-interpreter and Its Applications. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds) Programming Multi-Agent Systems. ProMAS 2005. Lecture Notes in Computer Science(), vol 3862. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11678823_8

Download citation

  • DOI: https://doi.org/10.1007/11678823_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-32616-8

  • Online ISBN: 978-3-540-32617-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics