Skip to main content
SpringerLink
Log in

A methodology and modelling technique for systems of BDI agents

  • Frameworks and Architectures
  • Conference paper
  • First Online:
Agents Breaking Away (MAAMAW 1996)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1038))

Abstract

The construction of large-scale embedded software systems demands the use of design methodologies and modelling techniques that support abstraction, inheritance, modularity, and other mechanisms for reducing complexity and preventing error. If multi-agent systems are to become widely accepted as a basis for large-scale applications, adequate agent-oriented methodologies and modelling techniques will be essential. This is not just to ensure that systems are reliable, maintainable, and conformant, but to allow their design, implementation, and maintenance to be carried out by software analysts and engineers rather than researchers. In this paper we describe an agent-oriented methodology and modelling technique for systems of agents based upon the Belief-Desire-Intention (BDI) paradigm. Our models extend existing Object-Oriented (OO) models. By building upon and adapting existing, well-understood techniques, we take advantage of their maturity to produce an approach that can be easily learnt and understood by those familiar with the OO paradigm.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Mihai Barbuceanu and Mark S. Fox. COOL: A language for describing coordination in multi-agent systems. In Proceedings of the International Conference on Multi-Agent Systems, ICMAS-95, San Francisco, CA, 1995.

    Google Scholar 

  2. Grady Booch. Object-Oriented Analysis and Design with Applications. Benjamin/Cummings, Redwood City, CA, 2nd edition, 1994.

    Google Scholar 

  3. F. Brazier, B. D. Keplicz, N. R. Jennings, and J. Treur. Formal specification of multi-agent systems: A real-world case. In Proceedings of the International Conference on Multi-Agent Systems, ICMAS-95, San Francisco, CA, 1995.

    Google Scholar 

  4. Hans-Dieter Burkhard. Agent-oriented programming for open systems. In Intelligent Agents: Theories, Architectures, and Languages. Lecture Notes in Artificial Intelligence LNAI 890. Springer Verlag, 1995.

    Google Scholar 

  5. B. Burmeister and K. Sundermeyer. Cooperative problem-solving guided by intentions and perception. In E. Werner and Y. Demazeau, editors, Decentralized A.I. 3, Amsterdam, 1992. North Holland.

    Google Scholar 

  6. Jennifer Chu-Carrol and Sandra Carberry. Generating information-sharing subdialogues in expert-user consultation. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95, pages 1243–1250, Montreal, 1995.

    Google Scholar 

  7. Philip R. Cohen and Hector J. Levesque. Communicative actions for artificial agents. In Proceedings of the International Conference on Multi-Agent Systems, ICMAS-95, San Francisco, CA, 1995.

    Google Scholar 

  8. E. Dubois, P. Du Bois, and M. Petit. OO requirements analysis: An agent perspective. In ECOOP'93 — Object-Oriented Programming. Lecture notes in Computer Science LNCS 707, pages 458–481. Springer Verlag, 1993.

    Google Scholar 

  9. Tim Finin et al. Specification of the KQML agent communication language. Technical report, DARPA Knowledge Sharing Initiative, External Working Group, 1992.

    Google Scholar 

  10. Michael P. Georgeff and Amy L. Lansky. Procedural knowledge. In Proceedings of the IEEE Special Issue on Knowledge Representation, volume 74, 1986.

    Google Scholar 

  11. Barbara J. Grosz and Candace L. Sidner. Plans for discourse. In P. R. Cohen, J. Morgan, and M. E. Pollack, editors, Intentions in Communication. MIT Press, Cambridge, MA, 1990.

    Google Scholar 

  12. Afsaneh Haddadi. Reasoning About Interactions in Agent Systems: A Pragmatic Theory. PhD thesis, University of Manchester Institute of Science and Technology, United Kingdom, 1995.

    Google Scholar 

  13. D. Harel and C. Kahana. On statecharts with overlapping. ACM Transactions on Software Engineering and Methodology, 1(4), 1992.

    Google Scholar 

  14. N. R. Jennings. Specification and implementation of belief, desire, joint-intention architecture for collaborative problem solving. Journal of Intelligent and Cooperative Information Systems, 2(3):289–318, 1993.

    Article  Google Scholar 

  15. N. R. Jennings, J. M. Corera, and I. Laresgoiti. Developing industrial multi-agent systems. In Proceedings of the International Conference on Multi-Agent Systems, ICMAS-95, San Francisco, CA, 1995.

    Google Scholar 

  16. David Kinny. The Distributed Multi-Agent Reasoning System Architecture and Language Specification. Australian Artificial Intelligence Institute, Melbourne, Australia, 1993.

    Google Scholar 

  17. David Kinny and Michael Georgeff. Commitment and effectiveness of situated agents. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91, pages 82–88, Sydney, 1991.

    Google Scholar 

  18. David Kinny and Michael Georgeff. A design methodology for BDI agent systems. Technical Report 55, Australian Artificial Intelligence Institute, Melbourne, Australia, 1995.

    Google Scholar 

  19. David Kinny and Michael Georgeff. Modelling techniques for BDI agent systems. Technical Report 54, Australian Artificial Intelligence Institute, Melbourne, Australia, 1995.

    Google Scholar 

  20. Magnus Ljungberg. The OASIS air traffic management system. Technical Report 28, Australian Artificial Intelligence Institute, Melbourne, Australia, 1992.

    Google Scholar 

  21. J. P. Muller, M. Pischel, and M. Thiel. Modelling reactive behaviour in vertically layered agent architectures. In Intelligent Agents: Theories, Architectures, and Languages. Lecture Notes in Artificial Intelligence LNAI 890. Springer Verlag, 1995.

    Google Scholar 

  22. J. Y. C. Pan and J. M. Tenenbaum. An intelligent agent framework for enterprise integration. IEEE Transactions on Systems, Man and Cybernetics, 21(6), 1991.

    Google Scholar 

  23. Anand S. Rao and Michael P. Georgeff. Modeling rational agents within a BDI architecture. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, KR'91, pages 473–484, Cambridge, MA, 1991.

    Google Scholar 

  24. Anand S. Rao and Michael P. Georgeff. An Abstract Architecture for Rational Agents. In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, KR'92, pages 439–449, Boston, MA, 1992.

    Google Scholar 

  25. James Rumbaugh, Michael Blaha, William Premerlani, Frederick Eddy, and William Lorensen. Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliifs, NJ, 1991.

    Google Scholar 

  26. Yoav Shoham. AGENTO: a simple agent language and its interpreter. In Proceedings of the Ninth National Conference on Artificial Intelligence, AAAI-91, pages 704–709, San Jose, CA, 1991.

    Google Scholar 

  27. Yoav Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51–92, 1993.

    Article  Google Scholar 

  28. Candace L. Sidner. An artificial discourse language for collaborative negotiation. In Proceedings of the Twelfth National Conference on Artificial Intelligence, AAAI-94, pages 814–819, Seattle, WA, 1994.

    Google Scholar 

  29. S. Rebecaa Thomas. The placa agent programming language. In Intelligent Agents: Theories, Architectures, and Languages. Lecture Notes in Artificial Intelligence LNAI 890. Springer Verlag, 1995.

    Google Scholar 

  30. Gil Tidhar, Mario Selvestrel, and Clinton Heinze. Modelling teams and team tactics in whole air mission modelling. Technical Report 60, Australian Artificial Intelligence Institute, Melbourne, Australia, 1995.

    Google Scholar 

  31. R. Wirfs-Brock, B. Wilkerson, and L. Wiener. Designing Object-Oriented Software. P T R Prentice Hall, Englewood Cliffs, New Jersey, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Australian Artificial Intelligence Institute, 171 Latrobe Street, 3000, Melbourne, Australia

    David Kinny, Michael Georgeff & Anand Rao

Authors
  1. David Kinny
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Georgeff
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Anand Rao
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Walter Van de Velde John W. Perram

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kinny, D., Georgeff, M., Rao, A. (1996). A methodology and modelling technique for systems of BDI agents. In: Van de Velde, W., Perram, J.W. (eds) Agents Breaking Away. MAAMAW 1996. Lecture Notes in Computer Science, vol 1038. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031846

Download citation

  • DOI: https://doi.org/10.1007/BFb0031846

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60852-3

  • Online ISBN: 978-3-540-49621-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation