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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Wooldridge, M.: Agent-based software engineering. IEEE Proceedings Software Engineering 144, 26–37 (1997)
Rash, J., Rouff, C., Truszkowski, W., Gordon, D., Hinchey, M. (eds.): FAABS 2000. LNCS (LNAI), vol. 1871. Springer, Heidelberg (2001)
Hinchey, M., Rash, J., Truszkowski, W., Rouff, C., Gordon-Spears, D. (eds.): FAABS 2002. LNCS (LNAI), vol. 2699. Springer, Heidelberg (2003)
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)
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)
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)
Bratman, M.E.: Intention, plans, and practical reason. Harvard University Press, Massachusetts (1987)
Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)
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)
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)
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)
Shoham, Y.: Agent-oriented programming. Artificial Intelligence 60, 51–92 (1993)
de Giacomo, G., Lespérance, Y., Levesque, H.: ConGolog, a Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence 121, 109–169 (2000)
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)
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)
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)
de Bakker, J.: Mathematical Theory of Program Correctness. Series in Computer Science. Prentice-Hall International, London (1980)
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)
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
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)
Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)
Harel, D.: First-Order Dynamic Logic. LNCS, vol. 68. Springer, Heidelberg (1979)
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press, Cambridge (2000)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)