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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
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.
Grady Booch. Object-Oriented Analysis and Design with Applications. Benjamin/Cummings, Redwood City, CA, 2nd edition, 1994.
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.
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.
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.
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.
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.
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.
Tim Finin et al. Specification of the KQML agent communication language. Technical report, DARPA Knowledge Sharing Initiative, External Working Group, 1992.
Michael P. Georgeff and Amy L. Lansky. Procedural knowledge. In Proceedings of the IEEE Special Issue on Knowledge Representation, volume 74, 1986.
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.
Afsaneh Haddadi. Reasoning About Interactions in Agent Systems: A Pragmatic Theory. PhD thesis, University of Manchester Institute of Science and Technology, United Kingdom, 1995.
D. Harel and C. Kahana. On statecharts with overlapping. ACM Transactions on Software Engineering and Methodology, 1(4), 1992.
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.
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.
David Kinny. The Distributed Multi-Agent Reasoning System Architecture and Language Specification. Australian Artificial Intelligence Institute, Melbourne, Australia, 1993.
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.
David Kinny and Michael Georgeff. A design methodology for BDI agent systems. Technical Report 55, Australian Artificial Intelligence Institute, Melbourne, Australia, 1995.
David Kinny and Michael Georgeff. Modelling techniques for BDI agent systems. Technical Report 54, Australian Artificial Intelligence Institute, Melbourne, Australia, 1995.
Magnus Ljungberg. The OASIS air traffic management system. Technical Report 28, Australian Artificial Intelligence Institute, Melbourne, Australia, 1992.
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.
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.
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.
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.
James Rumbaugh, Michael Blaha, William Premerlani, Frederick Eddy, and William Lorensen. Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliifs, NJ, 1991.
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.
Yoav Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51–92, 1993.
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.
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.
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.
R. Wirfs-Brock, B. Wilkerson, and L. Wiener. Designing Object-Oriented Software. P T R Prentice Hall, Englewood Cliffs, New Jersey, 1990.
Author information
Authors and Affiliations
Editor information
Rights 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