Skip to main content
SpringerLink
Log in

Proving BDI Properties of Agent-Oriented Programming Languages: The asymmetry thesis principles in AgentSpeak(L)

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript

Abstract

In this paper, we consider each of the nine BDI principles defined by Rao and Georgeff based on Bratman's asymmetry thesis, and we verify which ones are satisfied by Rao's AgentSpeak(L), a logic programming language inspired by the BDI architecture for cognitive agents. In order to set the grounds for the proofs, we first introduce a rigorous way in which to define the informational, motivational, and deliberative modalities of BDI logics for AgentSpeak(L) agents, according to its structural operational semantics that we introduced in a recent paper. This computationally grounded semantics for the BDI modalities forms the basis of a framework that can be used to further investigate BDI properties of AgentSpeak(L) agents, and contributes towards establishing firm theoretical grounds for a BDI approach to agent-oriented programming.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  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.

    Google Scholar 

  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.

    Google Scholar 

  3. M.E. Bratman, Intentions, Plans and Practical Reason (Harvard University Press, Cambridge, MA, 1987).

    Google Scholar 

  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.

    Google Scholar 

  5. M. d'Inverno and M. Luck, Engineering AgentSpeak(L): A formal computational model, Journal of Logic and Computation 8(3) (1998) 1–27.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  8. M.P. Georgeff and A.L. Lansky, Reactive reasoning and planning, in: Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87), Seattle, WA, 13-17 July, 1987 (AAAI Press, Menlo Park, CA, 1987) pp. 677–682.

    Google Scholar 

  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.

    Google Scholar 

  10. N. Howden, R. Rönnquist, A. Hodgson and A. Lucas, JACK intelligent agentsTM-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).

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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).

    Google Scholar 

  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.

    Google Scholar 

  20. A.S. Rao, Decision procedures for propositional 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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  23. A.S. Rao and M.P. Georgeff, Decision procedures for BDI logics, Journal of Logic and Computation 8(3) (1998) 293–343.

    Google Scholar 

  24. Y. Shoham, Agent-oriented programming, Artificial Intelligence 60 (1993) 51–92.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  27. J.M. Spivey, The Z Notation: A Reference Manual, 2nd edition (Prentice Hall, Englewood Cliffs, NJ, 1992).

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, U.K.

    Rafael H. Bordini

  2. Departamento de Informática Teórica, Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre RS, 91501-970, Brazil

    Álvaro F. Moreira

Authors
  1. Rafael H. Bordini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Álvaro F. Moreira
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bordini, R.H., Moreira, Á.F. Proving BDI Properties of Agent-Oriented Programming Languages: The asymmetry thesis principles in AgentSpeak(L). Annals of Mathematics and Artificial Intelligence 42, 197–226 (2004). https://doi.org/10.1023/B:AMAI.0000034527.45635.e5

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:AMAI.0000034527.45635.e5

Search

Navigation