Dynamic logic for plan revision in intelligent agents

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3487 LNAI, Issue , 2005, Pages 16-32

  Van Riemsdijk, M Birna ^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

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; LOGIC PROGRAMMING;

AGENT PROGRAMMING LANGUAGE; AXIOMATIZATION; PROPOSITIONAL DYNAMIC LOGIC;

INTELLIGENT AGENTS;

EID: 26844513019     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11533092_2     Document Type: Conference Paper

References (24)

1. Wooldridge, M.: Agent-based software engineering. IEEE Proceedings Software Engineering 144 (1997) 26-37
2. Rash, J., Rouff, C., Truszkowski, W., Gordon, D., Hinchey, M., eds.: Formal Approaches to Agent-Based Systems (Proceedings of FAABS'01). Volume 1871 of LNAI., Berlin, Springer (2001)
3. Hinchey, M., Rash, J., Truszkowski, W., Rouff, C., Gordon-Spears, D., eds.: Formal Approaches to Agent-Based Systems (Proceedings of FAABS'02). Volume 2699 of LNAI., Berlin, Springer (2003)
4. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.J.Ch.: Agent programming in 3APL. Int. J. of Autonomous Agents and Multi-Agent Systems 2 (1999) 357-401
5. van Riemsdijk, M.B., van der Hoek, W., Meyer, J.J.Ch.: 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'03), Melbourne (2003) 393-400
6. Dastani, M., van Riemsdijk, M.B., Dignum, F., Meyer, J.J.Ch.: A programming language for cognitive agents: goal directed 3APL. In: Programming multiagent systems, First International Workshop (ProMAS'03). Volume 3067 of LNAI. Springer, Berlin (2004) 111-130
7. Bratman, M.E.: Intention, plans, and practical reason. Harvard University Press, Massachusetts (1987)
8. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42 (1990) 213-261
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'91), Morgan Kaufmann (1991) 473-484
10. van der Hoek, W., van Linder, B., Meyer, J.J.Ch.: An integrated modal approach to rational agents. In Wooldridge, M., Rao, A.S., eds.: Foundations of Rational Agency. Applied Logic Series 14. Kluwer, Dordrecht (1998) 133-168
11. Rao, A.S.: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In van der Velde, W., Perram, J., eds.: Agents Breaking Away (LNAI1038), Springer-Verlag (1996) 42-55
12. Shoham, Y.: Agent-oriented programming. Artificial Intelligence 60 (1993) 51-92
13. Giacomo, G.d., Lespérance, Y., Levesque, H.: ConGolog, a Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence 121 (2000) 109-169
14. Evertsz, R., Fletcher, M., Jones, R., Jarvis, J., Brusey, J., Dance, S.: Implementing Industrial Multi-Agent Systems Using JACK™. In: Proceedings of the first international workshop on programming multiagent systems (ProMAS'03). Volume 3067 of LNAI. Springer, Berlin (2004) 18-49
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'03), Melbourne (2003) 409-416
16. Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.J.Ch.: 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)
17. de Bakker, J.: Mathematical Theory of Program Correctness. Series in Computer Science. Prentice-Hall International, London (1980)
18. van Riemsdijk, M.B., Meyer, J.J.Ch., de Boer, F.S.: Semantics of plan revision in intelligent agents. In Rattray, C., Maharaj, S., Shankland, C., eds.: Proceedings of the 10th International Conference on Algebraic Methodology And Software Technology (AMAST04). Volume 3116 of LNCS, Springer-Verlag (2004) 426-442
19. van Riemsdijk, M.B., Meyer, J.J.Ch., 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.
20. Hayashi, H., Cho, K., Ohsuga, A.: A new HTN planning framework for agents in dynamic environments. In: Proceedings of the Fourth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-IV). (2003) 108-133
21. Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)
22. Harel, D.: First-Order Dynamic Logic. Lectures Notes in Computer Science 68. Springer, Berlin (1979)
23. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press, Cambridge, Massachusetts and London, England (2000)
24. van Emde Boas, P.: The connection between modal logic and algorithmic logics. In: Mathematical foundations of computer science 1978. Volume 64 of LNCS. Springer, Berlin (1978) 1-15