An AgentSpeak Meta-interpreter and Its Applications

  • Michael Winikoff
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3862)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 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. 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. 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. 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)CrossRefGoogle Scholar
  6. 6.
    Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall International, Englewood Cliffs (1993)zbMATHGoogle 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 (LNAI), vol. 1038, pp. 42–55. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  8. 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)CrossRefGoogle Scholar
  9. 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)CrossRefGoogle Scholar
  10. 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)CrossRefGoogle Scholar
  11. 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. 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. 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. 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. 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,
  16. 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)CrossRefGoogle Scholar
  17. 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)CrossRefGoogle Scholar
  18. 18.
    d’Inverno, M., Luck, M.: Understanding Agent Systems. Springer, Heidelberg (2001)zbMATHGoogle Scholar
  19. 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. 20.
    Plotkin, G.: Structural operational semantics (lecture notes). Technical Report DAIMI FN- 19, Aarhus University (1981) (reprinted 1991)Google Scholar
  21. 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. 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)CrossRefGoogle Scholar
  23. 23.
    Sterling, L., Shapiro, E.: The Art of Prolog, 2nd edn. MIT Press, Cambridge (1994)zbMATHGoogle Scholar
  24. 24.
    Winikoff, M.: Logic Programming with Linear Logic. PhD thesis, Melbourne University (1997)Google Scholar
  25. 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. 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. 27.
    O’Keefe, R.A.: The Craft of Prolog. MIT Press, Cambridge (1990)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Michael Winikoff
    • 1
  1. 1.RMIT UniversityMelbourneAustralia

Personalised recommendations