Programming Declarative Goals Using Plan Patterns

  • Jomi F. Hübner
  • Rafael H. Bordini
  • Michael Wooldridge
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4327)

Abstract

AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal semantics. However, the original language is too abstract to be used as a programming language for developing multi-agent system. In this paper, we address one of the features that are essential for a pragmatical agent programming language. We show how certain patterns of AgentSpeak plans can be used to define various types of declarative goals. In order to do so, we first define informally how plan failure is handled in the extended version of AgentSpeak available in Jason, a Java-based interpreter; we also define special (internal) actions used for dropping intentions. We then present a number of plan patterns which correspond to elaborate forms of declarative goals. Finally, we give examples of the use of such types of declarative goals and describe how they are implemented in Jason.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ancona, D., Mascardi, V.: Coo-BDI: Extending the BDI model with cooperativity. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 109–134. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  2. 2.
    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.) Proc. of the Third Int. Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2004), July 19–23, pp. 698–705. ACM Press, New York (2004)Google Scholar
  3. 3.
    Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms, and Applications. Multiagent Systems, Artificial Societies, and Simulated Organizations, vol. 15. Springer, Heidelberg (2005)MATHGoogle Scholar
  4. 4.
    Bordini, R.H., Hübner, J.F., et al.: Jason: A Java-based AgentSpeak interpreter used with saci for multi-agent distribution over the net, manual, release version 0.7 edn. (August 2005), http://jason.sourceforge.net/
  5. 5.
    Bordini, R.H., Hübner, J.F., Vieira, R.: Jason and the Golden Fleece of agent-oriented programming. In: Bordini et al. [3], ch. 1Google Scholar
  6. 6.
    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); Special Issue on Computational Logic in Multi-Agent Systems MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Braubach, L., Pokahr, A., Moldt, D., Lamersdorf, W.: Goal representation for BDI agent systems. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2004. LNCS, vol. 3346, pp. 9–20. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  8. 8.
    Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42(3), 213–261 (1990)MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Dastani, M., van Riemsdijk, M.B., Dignum, F.P.M., Meyer, J.-J.C.: A programming language for cognitive agents goal directed 3APL. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 111–130. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  10. 10.
    Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: Programming multi-agent systems in 3APL. In: Bordini et al. [3], ch. 2Google Scholar
  11. 11.
    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
  12. 12.
    d’Inverno, M., Luck, M.: Engineering AgentSpeak(L): A formal computational model. Journal of Logic and Computation 8(3), 1–27 (1998)Google Scholar
  13. 13.
    Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)Google Scholar
  14. 14.
    Howden, N., Rönnquist, R., Hodgson, A., Lucas, A.: JACK intelligent agentsTM — summary of an agent infrastructure. In: Proceedings of Second International Workshop on Infrastructure for Agents, MAS, and Scalable MAS, held with the Fifth International Conference on Autonomous Agents (Agents 2001), Montreal, Canada, May 28–June 1 (2001)Google Scholar
  15. 15.
    Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI reasoning engine. In: Bordini et al. [3], ch. 6Google Scholar
  16. 16.
    Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A BDI reasoning engine. In: Bordini et al. [3], ch. 6, pp. 149–174Google Scholar
  17. 17.
    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
  18. 18.
    Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473–484. Morgan Kaufmann publishers Inc., San Mateo (1991)Google Scholar
  19. 19.
    van Riemsdijk, B., Dastani, M., Meyer, J.-J.C.: Semantics of declarative goals in agent programming. In: Dignum, F., Dignum, V., Koenig, S., Kraus, S., Singh, M.P., Wooldridge, M. (eds.) Proceedings of the 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), pp. 133–140. ACM, New York (2005)CrossRefGoogle Scholar
  20. 20.
    van Riemsdijk, M.B., Dastani, M., Meyer, J.-J.C.: Subgoal semantics in agent programming. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS, vol. 3808, pp. 548–559. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  21. 21.
    Winikoff, M.: JACKTM intelligent agents: An industrial strength platform. In: Bordini et al. [3], ch. 7, pp. 175–193Google Scholar
  22. 22.
    Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and procedural goals in intelligent agent systems. In: Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jomi F. Hübner
    • 1
  • Rafael H. Bordini
    • 2
  • Michael Wooldridge
    • 3
  1. 1.University of BlumenauBrazil
  2. 2.University of DurhamUK
  3. 3.University of LiverpoolUK

Personalised recommendations