Skip to main content
SpringerLink
Log in

Dynamic Logic for Plan Revision in Intelligent Agents

  • Conference paper
  • First Online:
Computational Logic in Multi-Agent Systems (CLIMA 2004)

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

Included in the following conference series:

Abstract

In this paper, we present a dynamic logic for a propositional version of the agent programming language 3APL. A 3APL agent has beliefs and a plan. The execution of a plan changes an agent’s beliefs. Plans can be revised during execution. Due to these plan revision capabilities of 3APL agents, plans cannot be analyzed by structural induction as in for example standard propositional dynamic logic. We propose a dynamic logic that is tailored to handle the plan revision aspect of 3APL. For this logic, we give a sound and complete axiomatization.

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. Wooldridge, M.: Agent-based software engineering. IEEE Proceedings Software Engineering 144, 26–37 (1997)

    Article  Google Scholar 

  2. Rash, J., Rouff, C., Truszkowski, W., Gordon, D., Hinchey, M. (eds.): FAABS 2000. LNCS (LNAI), vol. 1871. Springer, Heidelberg (2001)

    Google Scholar 

  3. Hinchey, M., Rash, J., Truszkowski, W., Rouff, C., Gordon-Spears, D. (eds.): FAABS 2002. LNCS (LNAI), vol. 2699. Springer, Heidelberg (2003)

    Google Scholar 

  4. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.J.C.: Agent programming in 3APL. Int. J. of Autonomous Agents and Multi-Agent Systems 2, 357–401 (1999)

    Article  Google Scholar 

  5. van Riemsdijk, M.B., van der Hoek, W., Meyer, J.J.C.: Agent programming in Dribble: from beliefs to goals using plans. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), Melbourne, pp. 393–400 (2003)

    Google Scholar 

  6. Dastani, M., van Riemsdijk, M.B., Dignum, F., Meyer, J.J.C.: A programming language for cognitive agents: goal directed 3APL. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 111–130. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  7. Bratman, M.E.: Intention, plans, and practical reason. Harvard University Press, Massachusetts (1987)

    Google Scholar 

  8. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)

    Article  MathSciNet  Google Scholar 

  9. Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J., Fikes, R., Sandewall, E. (eds.) Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473–484. Morgan Kaufmann, San Francisco (1991)

    Google Scholar 

  10. van der Hoek, W., van Linder, B., Meyer, J.J.C.: An integrated modal approach to rational agents. In: Wooldridge, M., Rao, A.S. (eds.) Foundations of Rational Agency. Applied Logic Series 14, pp. 133–168. Kluwer, Dordrecht (1998)

    Google Scholar 

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

    Chapter  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  13. de Giacomo, G., Lespérance, Y., Levesque, H.: ConGolog, a Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence 121, 109–169 (2000)

    Article  MathSciNet  Google Scholar 

  14. Evertsz, R., Fletcher, M., Jones, R., Jarvis, J., Brusey, J., Dance, S.: Implementing Industrial Multi-Agent Systems Using JACKTM. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 18–49. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  15. Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model checking AgentSpeak. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), Melbourne, pp. 409–416 (2003)

    Google Scholar 

  16. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.J.C.: A programming logic for part of the agent language 3APL. In: Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.) FAABS 2000. LNCS (LNAI), vol. 1871, p. 78. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

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

    Google Scholar 

  18. van Riemsdijk, M.B., Meyer, J.J.C., de Boer, F.S.: Semantics of plan revision in intelligent agents. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol. 3116, pp. 426–442. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  19. van Riemsdijk, M.B., Meyer, J.J.C., de Boer, F.S.: Semantics of plan revision in intelligent agents. Technical report, Utrecht University, Institute of Information and Computing Sciences (2003) UU-CS-2004-002

    Google Scholar 

  20. Hayashi, H., Cho, K., Ohsuga, A.: A new HTN planning framework for agents in dynamic environments. In: Dix, J., Leite, J. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3259, pp. 108–133. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

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

    Google Scholar 

  22. Harel, D.: First-Order Dynamic Logic. LNCS, vol. 68. Springer, Heidelberg (1979)

    Book  Google Scholar 

  23. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press, Cambridge (2000)

    Book  Google Scholar 

  24. van Emde Boas, P.: The connection between modal logic and algorithmic logics. In: Winkowski, J. (ed.) MFCS 1978. LNCS, vol. 64, pp. 1–15. Springer, Heidelberg (1978)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ICS, Utrecht University, The Netherlands

    M. Birna van Riemsdijk, Frank S. de Boer & John-Jules Ch. Meyer

  2. CWI, Amsterdam, The Netherlands

    Frank S. de Boer

  3. LIACS, Leiden University, The Netherlands

    Frank S. de Boer

Authors
  1. M. Birna van Riemsdijk
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Frank S. de Boer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. John-Jules Ch. Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    João Leite

  2. DEIS, University of Bologna, V.le Risorgimento 2Q, 40136, Bologna, Italy

    Paolo Torroni

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van Riemsdijk, M.B., de Boer, F.S., Meyer, JJ.C. (2005). Dynamic Logic for Plan Revision in Intelligent Agents. In: Leite, J., Torroni, P. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2004. Lecture Notes in Computer Science(), vol 3487. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11533092_2

Download citation

  • DOI: https://doi.org/10.1007/11533092_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-28060-6

  • Online ISBN: 978-3-540-31857-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation