Proving BDI properties of agent-oriented programming languages

Annals of Mathematics and Artificial Intelligence

Volumn 42, Issue 1-3, 2004, Pages 197-226

  Bordini, Rafael H ^a   Moreira, Álvaro F ^b  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b FEDERAL UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

Author keywords

agent oriented programming; asymmetry thesis principles; BDI logics; distributed artificial intelligence; structural operational semantics

Indexed keywords

EID: 4043060814     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:AMAI.0000034527.45635.e5     Document Type: Conference Paper

References (32)

1. R.H. Bordini, A.L.C. Bazzan, R.O. Jannone, D.M. Basso, R.M. Vicari and V.R. Lesser, AgentSpeak(XL): Efficient intention selection in BDI agents via decision-theoretic task scheduling, in: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2002), eds. C. Castelfranchi and W.L. Johnson, Bologna, Italy, 15-19 July (ACM, New York, 2002) pp. 1294-1302.
2. R.H. Bordini and Á.F. Moreira, Proving the asymmetry thesis principles for a BDI agent-oriented programming language, in: Proceedings of the Third International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-02), eds. J. Dix, J.A. Leite and K. Satoh, Copenhagen, Denmark, 1st August, http://www.elsevier.nl/locate/entcs/volume70.html. CLIMA-02 was held as part of FLoC-02. This paper was originally published in Datalogiske Skrifter number 93, Roskilde University, Denmark (2002) pp. 94-108.
3. M.E. Bratman, Intentions, Plans and Practical Reason (Harvard University Press, Cambridge, MA, 1987).
4. G. de Giacomo, Y. Lespérance and H.J. Levesque, ConGolog: A concurrent programming language based on the situation calculus, Artificial Intelligence 121 (2000) 109-169.
5. M. d'Inverno and M. Luck, Engineering AgentSpeak(L): A formal computational model, Journal of Logic and Computation 8(3) (1998) 1-27.
6. M. Fisher, A survey of concurrent METATEM - the language and its applications, in: Temporal Logics - Proceedings of the First International Conference, eds. D.M. Gabbay and H.J. Ohlbach, Lecture Notes in Artificial Intelligence, Vol. 827 (Springer, Berlin, 1994) pp. 480-505.
7. M. Georgeff, B. Pell, M. Pollack, M. Tambe and M. Wooldridge, The Belief-Desire-Intention model of agency, in: Intelligent Agents V - Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), held as part of the Agents' World, eds. J.P. Müller, M.P. Singh and A.S. Rao, Paris, 4-7 July, 1998 (Springer, Heidelberg, 1999) pp. 1-10.
8. M.P. Georgeff and A.L. Lansky, Reactive reasoning and planning, in: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAAI'87), Seattle, WA, 13-17 July, 1987 (AAAI Press, Menlo Park, CA, 1987) pp. 677-682.
9. K. V. Hindriks, F.S. de Boer, W. van der Hoek and J.-J.C. Meyer, Control structures of rule-based agent languages, in: Intelligent Agents V - Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), held as part of the Agents' World, eds. J.P. Müller, M.P. Singh and A.S. Rao, Paris, 4-7 July, 1998 (Springer, Heidelberg, 1999) pp. 381-396.
10. N. Howden, R. Rönnquist, A. Hodgson and A. Lucas, JACK intelligent agents™ - summary of an agent infrastructure, in: Proceedings of Second International Workshop on Infrastructure for Agents, MAS, and Scalable MAS, held with the Fifth International Conference on Autonomous Agents (Agents 2001), Montreal, Canada, 28 May-1 June (2001).
11. M.J. Huber, JAM: A BDI-theoretic mobile agent architecture, in: Proceedings of the Third International Conference on Autonomous Agents (Agents-99), Seattle, WA, 1-5 May (ACM Press, 1999) pp. 236-243.
12. D. Kinny, The distributed multi-agent reasoning system architecture and language specification, Technical report, Australian Artificial Intelligence Institute, Melbourne, Australia (1993).
13. D. Kinny, The Ψ calculus: An algebraic agent language, in: Intelligent Agents VIII - Proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), eds. J.-J. Meyer and M. Tambe, 2001, Seattle, WA, August 1-3 (Springer, Berlin, 2002) pp. 32-50.
14. D. Kinny, ViP: A visual programming language for plan execution systems, in: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2002, featuring 6th AGENTS, 5th ICMAS and 9th ATAL), eds. C. Castelfranchi and W.L. Johnson Bologna, Italy, 15-19 July (ACM, New York, 2002) pp. 721-728.
15. J.A. Leite, J.J. Alferes and L.M. Pereira, MINERVA - A dynamic logic programming agent architecture, in: Intelligent Agents VIII - Proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), eds. J.-J. Meyer and M. Tambe 2001, Seattle, WA, August 1-3 (Springer, Berlin, 2002) pp. 141-157.
16. R. Machado and R.H. Bordini, Running AgentSpeak(L) agents on SIM_AGENT, in: Intelligent Agents VIII - Proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001), eds. J.-J. Meyer and M. Tambe, Seattle, WA, August 1-3, 2001 (Springer, Berlin, 2002) pp. 158-174.
17. Á.F. Moreira and R.H. Bordini, An operational semantics for a BDI agent-oriented programming language, in: Proceedings of the Workshop on Logics for Agent-Based Systems (LABS-02), held in conjunction with the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France, April 22-25 (2002) pp. 45-59.
18. G.D. Plotkin, A structural approach to operational semantics, Technical report, Computer Science Department, Aarhus University, Aarhus (1981).
19. A.S. Rao, AgentSpeak(L): BDI agents speak out in a logical computable language, in: Proceedings of the Seventh Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW'96), eds. W. Van de Velde and J. Perram, Eindhoven, The Netherlands, 22-25 January (Springer, Berlin, 1996) pp. 42-55.
20. A.S. Rao, Decision procedures for prepositional linear-time belief-desire-intention logics, in: Intelligent Agents II - Proceedings of the Second International Workshop on Agent Theories, Architectures, and Languages (ATAL'95), held as part of IJCAI'95, eds. M. Wooldridge, J.P. Müller and M. Tambe, Montréal, Canada, August 1995 (Springer, Berlin, 1996) pp. 33-48.
21. A.S. Rao and M.P. Georgeff, An abstract architecture for rational agents, in: Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92), eds. C. Rich, W.R. Swartout and B. Nebel, Cambridge, MA, 25-29 October (Morgan Kaufman, San Mateo, CA, 1992) pp. 439-449.
22. Rao A.S. and M.P. Georgeff, BDI Agents: From theory to practice, in: Proceedings of the First International Conference on Multi-Agent Systems (ICMAS'95), eds. V. Lesser and L. Gasser, San Francisco, CA, 12-14 June (AAAI Press, Menlo Park, CA, 1995) pp. 312-319.
23. A.S. Rao and M.P. Georgeff, Decision procedures for BDI logics, Journal of Logic and Computation 8(3) (1998) 293-343.
24. Y. Shoham, Agent-oriented programming, Artificial Intelligence 60 (1993) 51-92.
25. M.P. Singh, A.S. Rao and M.P. Georgeff, Formal methods in DAI: Logic-based representation and reasoning, in: Multiagent Systems - A Modern Approach to Distributed Artificial Intelligence, eds. G. Weiß (MIT Press, Cambridge, MA, 1999) chapter 8, pp. 331-376.
26. A. Sloman and B. Logan, Building cognitively rich agents using the SIM_AGENT toolkit, Communications of the Association of Computing Machinery 43(2) (1999) 71-77.
27. J.M. Spivey, The Z Notation: A Reference Manual, 2nd edition (Prentice Hall, Englewood Cliffs, NJ, 1992).
28. 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 Representation and Reasoning (KR2002), Toulouse, France, 22-25 April (2002) pp. 470-481.
29. W.R. Wobcke, Intention and rationality for PRS-like agents, in: Proceedings of the 15th Australian Joint Conference on Artificial Intelligence, AI 2002: Advances in Artificial Intelligence, eds. B. McKay and J.K. Slaney, Canberra, Australia, 2-6 December (Springer, Berlin, 2002) pp. 167-178.
30. W.R. Wobcke, Modelling PRS-like agents' mental states, in: Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002: Trends in Artificial Intelligence, eds. M. Ishizuka and A. Sattar, Tokyo, Japan, 18-22 August (Springer, Berlin, 2002) pp. 138-147.
31. M. Wooldridge, Computationally grounded theories of agency, in: Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS-2000), ed. E. Durfee, Boston, 10-12 July (IEEE, Los Alamitos, CA, 2000) pp. 13-20. Paper for an Invited Talk.
32. M. Wooldridge and S. Parsons, Intention reconsideration reconsidered, in: Intelligent Agents V - Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), held as part of the Agents' World, eds. J.P. Müller, M.P. Singh and A.S. Rao, Paris, 4-7 July, 1998 (Springer, Heidelberg, 1999) pp. 63-79.