Semantics of plan revision in intelligent agents

Theoretical Computer Science

Volumn 351, Issue 2, 2006, Pages 240-257

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

^a UTRECHT UNIVERSITY   (Netherlands)

^b CWI   (Netherlands)

^c LEIDEN UNIVERSITY   (Netherlands)

Author keywords

Agent programming language; Denotational semantics; Structural operational semantics

Indexed keywords

COMPUTER SOFTWARE; INTELLIGENT AGENTS; OBJECT ORIENTED PROGRAMMING; PROGRAM INTERPRETERS; SEMANTICS;

AGENT PROGRAMMING LANGUAGE; DENOTATIONAL SEMANTICS; OBJECT-LEVEL 3APL; STRUCTURAL OPERATIONAL SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 31544431987     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.09.070     Document Type: Conference Paper

References (20)

1. J. de Bakker Mathematical Theory of Program Correctness, Series in Computer Science 1980 Prentice-Hall London
2. M.E. Bratman Intention, Plans, and Practical Reason 1987 Harvard University Press Cambridge, MA
3. P.R. Cohen, and H.J. Levesque Intention is choice with commitment Artificial Intelligence 42 1990 213 261
4. M. Dastani, F.S. de Boer, F. Dignum, and J.-J.Ch. Meyer Programming agent deliberation - an approach illustrated using the 3APL language Proc. Second Internat. Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS'03) Melbourne 2003 97 104
5. H. Egli, A mathematical model for nondeterministic computations, Technical Report, ETH, Zürich, 1975.
6. G.d. Giacomo, Y. Lespérance, and H. Levesque ConGolog, A concurrent programming language based on the situation calculus Artificial Intelligence 121 1-2 2000 109 169
7. K.V. Hindriks, F.S. de Boer, W. van der Hoek, and J.-J.Ch. Meyer Agent programming in 3APL Internat. J. of Autonomous Agents and Multi-Agent Systems 2 4 1999 357 401
8. K. Hindriks, F.S. de Boer, W. van der Hoek, J.-J.Ch. Meyer, Control structures of rule-based agent languages, in: J. Müller, M.P. Singh, A.S. Rao (Eds.), Proc. Fifth Internat. Workshop on Intelligent Agents V: Agent Theories, Architectures, and Languages (ATAL-98), Vol. 1555, Springer, Heidelberg, Germany, 1999, pp. 381-396.
9. R. Kuiper, An operational semantics for bounded nondeterminism equivalent to a denotational one, in: J.W. de Bakker, J.C. van Vliet (Eds.), Proc. Internat. Symp. on Algorithmic Languages, North-Holland, 1981, pp. 373-398.
10. P.D. Mosses, Denotational semantics, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics, Elsevier, Amsterdam, 1990, pp. 575-631.
11. G. Plotkin, A structural approach to operational semantics, Technical Report, Aarhus University, Computer Science Department, 1981.
12. A.S. Rao, AgentSpeak(L): BDI agents speak out in a logical computable language, in: W. van der Velde, J. Perram (Eds.), Agents Breaking Away, Lecture Notes in Artificial Intelligence, Vol. 1038, Springer, Berlin, 1996, pp. 42-55.
13. A.S. Rao, and M.P. Georgeff Modeling rational agents within a BDI-architecture J. Allen R. Fikes E. Sandewall Proc. Second Internat. Conf. on Principles of Knowledge Representation and Reasoning (KR'91) 1991 Morgan Kaufmann Los Altos, CA 473 484
14. M.B. van Riemsdijk, W. van der Hoek, and J.-J.Ch. Meyer Agent programming in Dribble from beliefs to goals using plans Proc. Second Internat. joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS'03) Melbourne 2003 393 400
15. M.B. van Riemsdijk, J.-J.Ch. Meyer, F.S. de Boer, Semantics of plan revision in intelligent agents, Technical Report, Utrecht University, Institute of Information and Computing Sciences, UU-CS-2004-002, 2003.
16. Y. Shoham Agent-oriented programming Artificial Intelligence 60 1993 51 92
17. J.E. Stoy Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory 1977 MIT Press Cambridge, MA
18. R. Tennent Semantics of Programming Languages, Series in Computer Science 1991 Prentice-Hall London
19. M. Wooldridge Agent-based software engineering IEEE Proc. Software Eng. 144 1 1997 26 37
20. M. Wooldridge, P. Ciancarini, Agent-oriented software engineering: the state of the art, in: P. Ciancarini, M. Wooldridge (Eds.), First Internat. Workshop on Agent-Oriented Software Engineering, Vol. 1957, Springer, Berlin, 2001, pp. 1-28.