Abstract
Agent technologies are now being applied to the development of large-scale commercial and industrial software systems. Such systems are complex, involving hundreds, perhaps thousands of agents, and there is a pressing need for system modelling techniques that permit their complexity to be effectively managed, and principled methodologies to guide the process of system design. Without adequate techniques to support the design process, such systems will not be sufficiently reliable, maintainable or extensible, will be difficult to comprehend, and their elements will not be re-usable.
In this paper, we present techniques for modelling agents and multi-agent systems which adapt and extend existing Object-Oriented representation techniques, and a methodology which provides a clear conceptual framework to guide system design and specification. We have developed these techniques for systems of agents based upon a particular Belief-Desire-Intention architecture, but have sought to provide a framework for the description of agent systems that is sufficiently general to be applicable to other agent architectures, and which may be extended in various ways.
This work was supported in part by the Cooperative Research Centre for Intelligent Decision Systems under the Australian Government's Cooperative Research Centres Program.
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.
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.
Innes A. Ferguson. Integrated control and coordinated behaviour: a case for agent models. In Intelligent Agents: Proceedings of the ECAI-94 Workshop on Agent Theories, Architectures, and Languages. LNAI 890, Amsterdam, 1995. Springer Verlag.
Tim Finin et al. Specification of the KQML agent communication language. Technical report, DARPA Knowledge Sharing Initiative, External Working Group, 1992.
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.
David Kinny. The Distributed Multi-Agent Reasoning System Architecture and Language Specification. Australian Artificial Intelligence Institute, Melbourne, Australia, 1993.
David Kinny. A semantics for inheritance in multi-agent systems. Technical Report 63, Australian Artificial Intelligence Institute, Melbourne, Australia, 1996.
David Kinny and Michael Georgeff. Commitment and effectiveness of situated agents. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93, pages 82–88, Sydney, 1991.
J. P. Müller, M. Pischel, and M. Thiel. Modelling reactive behaviour in vertically layered agent architectures. In Intelligent Agents: Proceedings of the ECAI-94 Workshop on Agent Theories, Architectures, and Languages. LNAI 890, Amsterdam, 1995. Springer Verlag.
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. 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.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kinny, D., Georgeff, M. (1997). Modelling and design of multi-agent systems. In: Müller, J.P., Wooldridge, M.J., Jennings, N.R. (eds) Intelligent Agents III Agent Theories, Architectures, and Languages. ATAL 1996. Lecture Notes in Computer Science, vol 1193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013569
Download citation
DOI: https://doi.org/10.1007/BFb0013569
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62507-0
Online ISBN: 978-3-540-68057-4
eBook Packages: Springer Book Archive