Plan Generation and Plan Execution in Agent Programming

  • M. Birna van Riemsdijk
  • Mehdi Dastani
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4327)


This paper presents two approaches for generating and executing the plans of cognitive agents. They can be used to define the semantics of programming languages for cognitive agents. The first approach generates plans before executing them while the second approach interleaves the generation and execution of plans. Both approaches are presented formally and their relation is investigated.


Transition System Multiagent System Operational Semantic Transition Rule Plan Generation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Antoniou, G.: Nonmonotonic Reasoning. In: Artificial Intelligence. The MIT Press, Cambridge (1997)Google Scholar
  2. 2.
    Dastani, M., van der Torre, L.: Programming BOID-Plan agents: Deliberating about conflicts among defeasible mental attitudes and plans. In: Proceedings of the Third Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2004), New York, USA, pp. 706–713 (2004)Google Scholar
  3. 3.
    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
  4. 4.
    de Bakker, J.: Mathematical Theory of Program Correctness. Series in Computer Science. Prentice-Hall International, London (1980)zbMATHGoogle Scholar
  5. 5.
    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, vol. 1365, pp. 155–176. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  6. 6.
    Georgeff, M., Lansky, A.: Reactive reasoning and planning. In: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI 1987), pp. 677–682 (1987)Google Scholar
  7. 7.
    Giacomo, G.d., Lespérance, Y., Levesque, H.: ConGolog, a Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence 121(1–2), 109–169 (2000)zbMATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Hindriks, K.V., de Boer, F.S., van der Hoek, W., Ch, J.-J.: Agent programming in 3APL. Int. J. of Autonomous Agents and Multi-Agent Systems 2(4), 357–401 (1999)CrossRefGoogle Scholar
  9. 9.
    Ingrand, F.F., Georgeff, M.P., Rao, A.S.: An architecture for real-time reasoning and system control. IEEE Expert 7(6), 34–44 (1992)CrossRefGoogle Scholar
  10. 10.
    Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)Google Scholar
  11. 11.
    Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: a BDI reasoning engine. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming: Languages, Platforms and Applications. Springer, Berlin (2005)Google Scholar
  12. 12.
    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
  13. 13.
    Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)zbMATHCrossRefGoogle Scholar
  14. 14.
    Shoham, Y.: Agent-oriented programming. Artificial Intelligence 60, 51–92 (1993)CrossRefMathSciNetGoogle Scholar
  15. 15.
    Thangarajah, J., Padgham, L., Winikoff, M.: Detecting and avoiding interference between goals in intelligent agents. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003) (2003)Google Scholar
  16. 16.
    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 Artifical Intelligence 2002 (ECAI 2002), Lyon, France (2002)Google Scholar
  17. 17.
    van Riemsdijk, M.B., de Boer, F.S., Meyer, J.-J.C.: Dynamic logic for plan revision in intelligent agents. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 16–32. Springer, Heidelberg (2005)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • M. Birna van Riemsdijk
    • 1
  • Mehdi Dastani
    • 1
  1. 1.Institute of Information and Computing SciencesUtrecht UniversityThe Netherlands

Personalised recommendations