Semantics of plan revision in intelligent agents

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

Volumn 3116, Issue , 2004, Pages 426-442

  Van Birna Riemsdijk, M ^a   Meyer, John Jules Charles ^b   De Boer, Prank S ^c  

^a UTRECHT UNIVERSITY   (Netherlands)

^b CWI   (Netherlands)

^c LEIDEN UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; INTELLIGENT AGENTS; SOFTWARE ENGINEERING;

DENOTATIONAL SEMANTICS; META LANGUAGE;

SEMANTICS;

EID: 26844441850     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (20)

1. M. E. Bratman. Intention, plans, and practical reason. Harvard University Press, Massachusetts, 1987.
2. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213-261, 1990.
3. M. Dastani, F. S. de Boer, F. Dignum, and J.-J. Ch. Meyer. Programming agent deliberation - an approach illustrated using the 3apl language. In Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS'03), pages 97-104, Melbourne, 2003.
4. J. de Bakker. Mathematical Theory of Program Correctness. Series in Computer Science. Prentice-Hall International, London, 1980.
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(12):109-169, 2000.
7. K. Hindriks, F. S. de Boer, W. van der Hoek, and J.-J. C. Meyer. Control structures of rule-based agent languages. In J. Müller, M. P. Singh, and A. S. Rao, editors, Proceedings of the 5th International Workshop on Intelligent Agents V : Agent Theories, Architectures, and Languages (ATAL-98), volume 1555, pages 381-396. Springer-Verlag: Heidelberg, Germany, 1999.
8. 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(4):357-401, 1999.
9. R. Kuiper. An operational semantics for bounded nondeterminism equivalent to a denotational one. In J. W. de Bakker and J. C. van Vliet, editors, Proceedings of the International Symposium on Algorithmic Languages, pages 373-398. NorthHolland, 1981.
10. P. D. Mosses. Denotational semantics. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 575-631. Elsevier, Amsterdam, 1990.
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 and J. Perram, editors, Agents Breaking Away (LNAI 1038), pages 42-55. Springer-Verlag, 1996.
13. A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In J. Alien, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91), pages 473-484. Morgan Kaufmann, 1991.
14. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51-92, 1993.
15. J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge, MA, 1977.
16. R. Tennent. Semantics of Programming Languages. Series in Computer Science. Prentice-Hall International, London, 1991.
17. M. B. van Riemsdijk, F. S. de Boer, and J.-J. Ch. Meyer. Semantics of plan revision in intelligent agents. Technical report, Utrecht University, Institute of Information and Computing Sciences, 2003. UU-CS-2004-002.
18. 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 systems (AAMAS'OS), pages 393-400, Melbourne, 2003.
19. M. Wooldridge. Agent-based software engineering. IEEE Proceedings Software Engineering, 144(l):26-37, 1997.
20. M. Wooldridge and P. Ciancarini. Agent-Oriented Software Engineering: The State of the Art. In P. Ciancarini and M. Wooldridge, editors, First Int. Workshop on Agent-Oriented Software Engineering, volume 1957, pages 1-28. Springer-Verlag, Berlin, 2000.