Architectural Properties of Multi-Agent Systems

One aspect of multi-agent systems (MAS) that has been only partially studied is their role in software engineering, and in particular their merit as a software architecture style. As we demonstrate, multi-agent systems developed to date have several common architectural characteristics, even though differences in their design and implementation result in variations in their strengths and weaknesses. A large portion of the research in the design and implementation of MAS addresses questions such as: given a computational problem—can one build a MAS to solve it? What should be the properties of this MAS given the problem? Having developed a MAS, what is the class of problems that this MAS, either as developed or with slight modifications, can solve? MAS research has provided several answers to the questions above. However, more fundamental questions were left un-answered: given a computational problem—is a MAS an appropriate solution? If it is, what type of MAS should be preferred? Asking these questions (and answering them) should precede the previous ones, lest multiagent systems may be designed and implemented where much simpler, more efficient solutions apply. In this report we provide analysis guidelines which—although do not explicitly answer these questions—support designers in their assessment of the suitability of MAS as a solution to computational problem they address. We discuss the architectural properties that should be considered when analyzing such systems and support our work with case-studies of several MAS.

[1]  Somesh Jha,et al.  A Formal Treatment of Distributed Matchmaking. , 1998 .

[2]  Joseph Y. Halpern A Theory of Knowledge and Ignorance for Many Agents , 1997, J. Log. Comput..

[3]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[4]  Katia P. Sycara,et al.  Middle-Agents for the Internet , 1997, IJCAI.

[5]  Nicholas R. Jennings,et al.  Formal Specification of Multi-Agent Systems: A Real-World Case , 1995, ICMAS.

[6]  Victor R. Lesser,et al.  Coalitions Among Computationally Bounded Agents , 1997, Artif. Intell..

[7]  Munindar P. Singh,et al.  Readings in agents , 1997 .

[8]  Daniel Kuokka,et al.  On Using KQML for Matchmaking , 1995, ICMAS.

[9]  George Cybenko,et al.  D'Agents: Security in a Multiple-Language, Mobile-Agent System , 1998, Mobile Agents and Security.

[10]  Jeffrey S. Rosenschein,et al.  Rules of Encounter - Designing Conventions for Automated Negotiation among Computers , 1994 .

[11]  Joseph Bates,et al.  The role of emotion in believable agents , 1994, CACM.

[12]  Keith L. Clark,et al.  April - Agent PRocess Interaction Language , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[13]  Nicholas R. Jennings,et al.  Designing and Implementing a Multi-Agent Architecture for Business Process Management , 1997, ATAL.

[14]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[15]  Douglas B. Moran,et al.  The Open Agent Architecture: A Framework for Building Distributed Software Systems , 1999, Appl. Artif. Intell..

[16]  Katia P. Sycara,et al.  Distributed Intelligent Agents , 1996, IEEE Expert.

[17]  Marian H. Nodine,et al.  Facilitating Open Communication in Agent Systems: The InfoSleuth Infrastructure , 1997, ATAL.

[18]  Tim Finin,et al.  KQML - A Language and Protocol for Knowledge and Information Exchange , 1994 .

[19]  J. Davenport Editor , 1960 .

[20]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[21]  Ernst-Erich Doberkat Ernst-Erich Doberkat über Mary Shaw und David Garlan: Software Architecture - Perspectives on an Emerging Discipline , 2000, Softwaretechnik-Trends.

[22]  George Cybenko,et al.  Mobile agents for mobile computing , 1996 .

[23]  Weiming Shen,et al.  DIDE: A Multi-Agent Environment for Engineering Design , 1995, ICMAS.

[24]  Thomas Wagner,et al.  MACRON: An Architecture for Multi-agent Cooperative Information Gathering , 1995, CIKM 1995.

[25]  Sarit Kraus,et al.  Multiagent Negotiation under Time Constraints , 1995, Artif. Intell..

[26]  Sarit Kraus,et al.  A Kernel-Oriented Model for Coalition-Formation in General Environments: Implementation and Results , 1996, AAAI/IAAI, Vol. 1.

[27]  Michael R. Genesereth,et al.  Software agents , 1994, CACM.

[28]  Sandip Sen,et al.  Learning cases to resolve conflicts and improve group behavior , 1998, Int. J. Hum. Comput. Stud..

[29]  Moshe Tennenholtz,et al.  On the Synthesis of Useful Social Laws for Artificial Agent Societies (Preliminary Report) , 1992, AAAI.

[30]  Thomas J. Mowbray,et al.  Inside CORBA - distributed object standards and applications , 1998, Addison-Wesley object technology series.

[31]  Michael Wooldridge,et al.  Agent-based software engineering , 1997, IEE Proc. Softw. Eng..