Dynamic logic for plan revision in agent programming

Journal of Logic and Computation

Volumn 16, Issue 3, 2006, Pages 375-402

  Van Birna Riemsdijk, M ^a   De Boer, Frank S ^a,b,c   Meyer, John Jules Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

^b CWI   (Netherlands)

^c LEIDEN UNIVERSITY   (Netherlands)

Author keywords

Agent programming languages; Dynamic logic; Operational semantics; Plan revision; Specification and verification of programs

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LOGIC; INTELLIGENT AGENTS; SEMANTICS;

AGENT PROGRAMMING LANGUAGES; DYNAMIC LOGIC; OPERATIONAL SEMANTICS; PLAN REVISION; SPECIFICATION AND VERIFICATION OF PROGRAMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33744730401     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exi084     Document Type: Article

References (39)

1. K. R. Apt. Ten years of Hoare's logic: A survey - part I. ACM Transactions of Programming Languages and Systems, 3, 431-483, 1981.
2. R. H. Bordini, M. Fisher, C. Pardavila, and M. Wooldridge. Model checking AgentSpeak. In Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'03), pp. 409-416, Melbourne, 2003.
3. M. E. Bratman. Intention, Plans, and Practical Reason. Harvard University Press, MA, 1987.
4. L. Braubach, A. Pokahr, D. Moldt, and W. Lamersdorf. Goal representation for BD1 agent systems. In Programming Multiagent Systems, Second International Workshop (ProMAS'04), volume 3346 of Lecture Notes in Artificial Intelligence, pp. 44-65. Springer, Berlin, 2005.
5. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42, 213-261, 1990.
6. M. Dastani, M. B. van Riemsdijk, F. Dignum, and J.-J. Ch. Meyer. A programming language for cognitive agents: goal directed 3APL. In Programming Multiagent Systems, First International Workshop (ProMAS'03), volume 3067 of Lecture Notes in Artificial Intelligence, pp. 111-130. Springer, Berlin, 2004.
7. J. de Bakker. Mathematical Theory of Program Correctness. Series in Computer Science. Prentice-Hall International, London, 1980.
8. B. Drabble, J. Dalton, and A. Tate. Repairing plans on the fly. In Proceedings of the NASA Workshop on Planning and Scheduling for Space, 1997.
9. E.M.Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, Cambridge, MA, 2000.
10. R. Evertsz, M. Fletcher, R. Jones, J. Jarvis, J. Brusey, and S. Dance. Implementing industrial multi-agent systems using JACK™. In Proceedings of the First International Workshop on Programming Multiagent Systems (ProMAS'03), volume 3067 of Lecture Notes in Artificial Intelligence, pp. 18-49. Springer, Berlin, 2004.
11. M. Georgeff and A. Lansky. Reactive reasoning and planning. In Proceedings of the Sixth National Conference, on Artificial Intelligence (AAAI-87), pp. 677-682, 1987.
12. G. d. Giacomo, Y. Lespérance, and H. Levesque. ConGolog, a Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence, 121, 109-169, 2000.
13. K. J. Hammond. Explaining and repairing plans that fail. Artificial Intelligence, 45, 173-228, 1990.
14. D. Harel. First-Order Dynamic Logic. Volume 68 of LectureNotes in Computer Science. Springer, Berlin, 1979.
15. D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. The MIT Press, Cambridge, MA, 2000.
16. M. Hinchey, J. Rash, W. Truszkowski, C. Rouff, and D. Gordon-Spears, eds. Formal Approaches to Agent-Based Systems (Proceedings of FAABS'02), Volume 2699 of Lecture Notes in Artificial Intelligence, Berlin, 2003. Springer.
17. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. Agent programming in 3APL. Int. J. of Autonomous Agents and Multi-Agent Systems, 2, 357-401, 1999.
18. K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Meyer. A programming logic for part of the agent language 3APL. In Proceedings of the First Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS'00), 2000.
19. B. Nebel and J. Koehler. Plan reuse versus plan generation: a theoretical and empirical analysis. Artificial Intelligence, 76, 427-454, 1995.
20. G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMIFN-19, University of Aarhus, 1981.
21. A. Pokahr, L. Braubach, and W. Lamersdorf. Jadex: a BDI reasoning engine. In Multi-Agent Programming: Languages, Platforms and Applications. R. H. Bordini, M. Dastani, J. Dix, and A. El Fallah Seghrouchni, eds, Springer, Berlin, 2005.
22. A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In Agents Breaking Away (LNAI 1038), W. van der Velde and J. Perram, eds, pp. 42-55. Springer-Verlag, 1996.
23. A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In Proceedings of the Second International Conference, on Principles of Knowledge Representation and Reasoning (KR'91), J. Allen, R. Fikes, and E. Sandewall, eds, pp. 473-484. Morgan Kaufmann, 1991.
24. J. Rash, C. Rouff, W. Truszkowski, D. Gordon, and M. Hinchey, editors. Formal Approaches to Agent-Based Systems (Proceedings of FAABS'01), volume 1871 of Lecture Notes in Artificial Intelligence, Berlin, 2001. Springer.
25. R.E.Fikes and N.J.Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 189-208, 1971.
26. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60, 51-92, 1993.
27. W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. An integrated modal approach to rational agents. In Foundations of Rational Agency, Applied Logic Series 14, M. Wooldridge and A. S. Rao, editors, pp. 133-168. Kluwer, Dordrecht, 1998.
28. R. P. van der Krogt and M. M. de Weerdt. Plan repair as an extension of planning. In Proceedings of the International Conference on Planning and Scheduling (ICAPS'05), pp. 161-170, 2005.
29. R. P. van der Krogt and M. M. de Weerdt. Plan repair using a plan library. In Proceedings of the Belgium-Dutch Conference on Artificial Intelligence (BNAIC'05), pp. 254-259. BNVKI, 2005.
30. P. van Emde Boas. The connection between modal logic and algorithmic logics. In Mathematical foundations of computer science 1978, volume 64 of Lecture Notes in Computer Science, pp. 1-15. Springer, Berlin, 1978.
31. M. B. van Riemsdijk, M. Dastani, F. Dignum, and J.-J. Ch. Meyer. Dynamics of declarative goals in agent programming. In J. A. Leite, A. Omicini, P. Torroni, and P. Yolum, editors, Declarative agent languages and technologies II: second international workshop (DALT'04), volume 3476 of Lecture Notes in Artificial Intelligence, pp. 1-18, 2005.
32. M. B. van Riemsdijk, M. Dastani, and J.-J. Ch. Meyer. Semantics of declarative goals in agent programming. In Proceedings of the fourth international joint conference on autonomous agents and multiagent systems (AAMAS'05), pp. 133-140, Utrecht, 2005.
33. M. B. van Riemsdijk, M. Dastani, and J.-J. Ch. Meyer. Subgoal semantics in agent programming. In Progress in Artificial. Intelligence: 12th Portuguese Conference on Artificial Intelligence (EPIA'05) C. Bento, A. Cardoso and G. Dias, eds, pp. 548-559. Volume 3808 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 2005.
34. M. B. van Riemsdijk, F. S. de Boer, and J.-J. Ch. Meyer. Dynamic logic for plan revision in intelligent agents. In J. A. Leite and P. Torroni, editors, Computational logic in multi-agent systems: fifth international workshop (CLIMA'04), Volume 3487 of Lecture Notes in Artificial Intelligence, pp. 16-32, 2005.
35. M. B. van Riemsdijk, J.-J. Ch. Meyer, and F. S. de Boer. Semantics of plan revision in intelligent agents. In Proceedings of the Wth International Conference on Algebraic Methodology And Software Technology (AMAST04), C. Rattray, S. Maharaj, and C. Shankland, editors, Volume 3116 of Lecture Notes in Computer Science, pp. 426-442. Springer-Verlag, 2004.
36. M. B. van Riemsdijk, J.-J. Ch. Meyer and F. S. de Boer. Semantics of Plan Revision in Intelligent Agents. C. Rattray, S. Maharaj and C.Shankland, eds. Theoretical Computer Science, 351, 240-257, 2006. Speical issue of Algebraic Methodology and Software Technology (AMAST04).
37. M. B. van Riemsdijk, W. van der Hoek, and J.-J. Ch. Meyer. Agent programming in Dribble: from beliefs to goals using plans. In Proceedings of the second international joint conference on Autonomous Agents and Multiagent Systesm (AAMAS'03), pp.393-400. Melbourne, 2003.
38. M. Winikoff, L. Padgham, J. Harland, and J. Thangarajah. Declarative and procedural goals in intelligent agent systems. In Proceedings of the eighth international conference on principles of knowledge respresentation and reasoning (KR2002), Toulouse, 2002.
39. M. Wooldridge. Agent-based software engineering. IEEE Proceedings Software Engineering, 144, 26-37, 1997.