Skip to main content
SpringerLink
Log in

Plan Generation and Plan Execution in Agent Programming

  • Conference paper
Declarative Agent Languages and Technologies IV (DALT 2006)

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

Included in the following conference series:

  • 259 Accesses

Abstract

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.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Antoniou, G.: Nonmonotonic Reasoning. In: Artificial Intelligence. The MIT Press, Cambridge (1997)

    Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  4. de Bakker, J.: Mathematical Theory of Program Correctness. Series in Computer Science. Prentice-Hall International, London (1980)

    MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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)

    Article  MATH  MathSciNet  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  10. Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)

    Google Scholar 

  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. 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 

  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)

    Article  MATH  Google Scholar 

  14. Shoham, Y.: Agent-oriented programming. Artificial Intelligence 60, 51–92 (1993)

    Article  MathSciNet  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Information and Computing Sciences, Utrecht University, The Netherlands

    M. Birna van Riemsdijk & Mehdi Dastani

Authors
  1. M. Birna van Riemsdijk
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mehdi Dastani
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Torino,, Via Pessinetto 12, 10149, Turin, Italy

    Matteo Baldoni

  2. Artificial Intelligence Programme, University of Amsterdam,  

    Ulle Endriss

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van Riemsdijk, M.B., Dastani, M. (2006). Plan Generation and Plan Execution in Agent Programming. In: Baldoni, M., Endriss, U. (eds) Declarative Agent Languages and Technologies IV. DALT 2006. Lecture Notes in Computer Science(), vol 4327. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11961536_15

Download citation

  • DOI: https://doi.org/10.1007/11961536_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-68959-1

  • Online ISBN: 978-3-540-68961-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation