Multiagent robustness: autonomy vs. organisation

This thesis reports on work conducted under the Schwerpunktprogramm Sozionik,1 a basic research project funded by the Deutsche Forschungsgemeinschaft to transfer knowledge between sociology and distributed artificial intelligence (DAI). The motivation of this work is to use sociological notions and theories of ’organisation’ to blueprint more robust multiagent systems. Based on an analysis of the DAI literature, we give a precise and empirically verifiable definition of robustness, which we call τ-robustness. This notion consists of (i) the definition of a performance measure, (ii) the definition of a perturbation against which the performance measure is evaluated, and (iii) a threshold τ , which marks the maximally allowed deviation of the performance measure to call the tested system τ-robust. The main theoretic contribution of this thesis is a framework of design parameters for robust multiagent organisation based on a sociological notion of organisation. This framework, called the Framework for selfOrganisation and Robustness in Multiagent systems (FORM), can be applied to multiagent organisation using the concept of holonic multiagent systems, for which a new, extended definition is presented. By freely combining all possible values of the parameters in the framework, it allows to model more than 90 000 different forms of multiagent organisation. Furthermore, we discuss how the holonic design parameters relate to different dimensions of the autonomy of the participating agents. This discussion shows that, and how, the notion of self-organisation is connected to the notion of adjustable autonomy. As the notion of autonomy is central to the definition of an agent, this constitutes an important contribution to the general theory of multiagent systems. In order to make the large design space spanned by FORM concrete, we chose to model a subset of the possible organisational forms. This choice is based on a sociological analysis of organisations in today’s economy and makes a diverse use of the available values for the design parameters. The modelled forms of organisation are arranged on a spectrum of autonomy ranging from fully autonomous agents to more and more coupled agents, until we reach an organisational form where the boundaries between individual agents dissolve and only one single agent remains. This spectrum can be used to devise a mechanism for self-organisation in the sense that agents start to organise in a loosely coupled holon and increase the 1 Collaborative research group in Socionics.

[1]  Klaus Fischer,et al.  Holonic Multiagent Systems - Theory and Applications , 1999, EPIA.

[2]  Kathleen M. Carley,et al.  Modeling Organizational Adaptation as a Simulated Annealing Process , 1996 .

[3]  Jörg H. Siekmann,et al.  The Link between Autonomy and Organisation in Multiagent Systems , 2003, HoloMAS.

[4]  Roberto A. Flores,et al.  To Commit or Not to Commit: Modeling Agent Conversations for Action , 2002, Comput. Intell..

[5]  H. Simon Models of Bounded Rationality: Empirically Grounded Economic Reason , 1997 .

[6]  Steven Durlauf,et al.  Growing artificial societies , 1997, Complex.

[7]  Munindar P. Singh Commitments Among Autonomous Agents in Information-Rich Environments , 1997, MAAMAW.

[8]  Gerhard Weiß,et al.  Adaptation and Learning in Multi-Agent Systems: Some Remarks and a Bibliography , 1995, Adaption and Learning in Multi-Agent Systems.

[9]  Kay Schröter,et al.  The C-IPS Agent Architecture for Modeling Negotiating Social Agents , 2003, MATES.

[10]  Chris N. Potts Scheduling in Computer and Manufacturing Systems (Second Edition) , 1996 .

[11]  S.J.J. Smith,et al.  Empirical Methods for Artificial Intelligence , 1995 .

[12]  Stefan Schirra,et al.  Robustness and Precision Issues in Geometric Computation , 2000, Handbook of Computational Geometry.

[13]  Jürgen Lind,et al.  SIF - the social interaction framework system : description and user's guide to a multi-agent system testbed , 1999 .

[14]  Jeffrey S. Rosenschein,et al.  Deals Among Rational Agents , 1985, IJCAI.

[15]  Jack P. C. Kleijnen,et al.  Sensitivity analysis and related analyses: A review of some statistical techniques , 1997 .

[16]  Klaus Fischer,et al.  A Multiagent-Based Peer-to-Peer Network in Java for Distributed Spam Filtering , 2003, CEEMAS.

[17]  Yun Peng,et al.  Agent communication languages: the current landscape , 1999, IEEE Intell. Syst..

[18]  Michael Rovatsos,et al.  Using trust for detecting deceitful agents in artificial societies , 2000, Appl. Artif. Intell..

[19]  K. Carley,et al.  Evolution of Networks ON THE EVOLUTION OF SOCIAL AND ORGANIZATIONAL NETWORKS , 2001 .

[20]  Jorg P. Muller,et al.  The Design of Intelligent Agents: A Layered Approach , 1996 .

[21]  A. Fleischmann Distributed Systems , 1994, Springer Berlin Heidelberg.

[22]  Nicholas R. Jennings,et al.  Applied Artificial Intelligence: An International Journal , 2022 .

[23]  Yves Demazeau,et al.  A Social Reasoning Mechanism Based On Dependence Networks , 1997, ECAI.

[24]  Christopher G. Langton,et al.  Artificial Life: Proceedings Of An Interdisciplinary Workshop On The Synthesis And Simulation Of Living Systems , 1989 .

[25]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[26]  Edmund H. Durfee,et al.  Congregating and market formation , 2002, AAMAS '02.

[27]  Nicholas R. Jennings,et al.  Commitments and conventions: The foundation of coordination in multi-agent systems , 1993, The Knowledge Engineering Review.

[28]  Donald L. Mills,et al.  Organizations: Rational, Natural and Open Systems , 1983 .

[29]  Victor R. Lesser,et al.  Advantages of a Leveled Commitment Contracting Protocol , 1996, AAAI/IAAI, Vol. 1.

[30]  Les Gasser,et al.  Social Conceptions of Knowledge and Action: DAI Foundations and Open Systems Semantics , 1991, Artif. Intell..

[31]  Jörg H. Siekmann,et al.  Holonic Multiagent Systems: A Foundation for the Organisation of Multiagent Systems , 2003, HoloMAS.

[32]  Nicholas R. Jennings,et al.  Implementing a business process management system using adept: A real-world case study , 2000, Appl. Artif. Intell..

[33]  Victor Lesser,et al.  Negotiation among self-interested computationally limited agents , 1996 .

[34]  Edeltraud Hanappi-Egger,et al.  Modelling Social Processes: Between Reality and Virtuality , 2000 .

[35]  Jacques Ferber,et al.  A meta-model for the analysis and design of organizations in multi-agent systems , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[36]  Nicholas R. Jennings,et al.  Reasoning about commitments and penalties for coordination between autonomous agents , 2001, AGENTS '01.

[37]  C. Gerber,et al.  SIF : an Agent-Based Simulation Toolbox using the EMS Paradigm , 1998 .

[38]  R. Sun Cognitive science meets multi-agent systems: A prolegomenon , 2001 .

[39]  P. Bourdieu,et al.  实践与反思 : 反思社会学导引 = An invitation to reflexive sociology , 1994 .

[40]  Nicholas R. Jennings,et al.  A Roadmap of Agent Research and Development , 2004, Autonomous Agents and Multi-Agent Systems.

[41]  Mark Klein,et al.  An experimental evaluation of domain-independent fault handling services in open multi-agent systems , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[42]  P. Bourdieu La distinctíon: Critique sociale du jugement , 1980 .

[43]  T. Shallice What ghost in the machine? , 1992, Nature.

[44]  Julie A. Adams,et al.  Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence , 2001, AI Mag..

[45]  Les Gasser,et al.  Organizations as Complex, Dynamic Design Problems , 1993, EPIA.

[46]  Michael H. Bowling,et al.  Towards robust teams with many agents , 2002, AAMAS '02.

[47]  Roy Sterritt,et al.  Towards an Autonomic Computing Environment , 2003, DEXA Workshops.

[48]  Victor R. Lesser,et al.  Toward robust agent control in open environments , 2000, AGENTS '00.

[49]  Jürgen Lind,et al.  Transportation Scheduling and Simulation in a Railroad Scenario: A Multi-Agent Approach , 1999 .

[50]  Robert W. Brennan,et al.  The holonic enterprise: a model for Internet‐enabled global manufacturing supply chain and workflow management , 2002 .

[51]  Jim Doran,et al.  From computer simulation to artificial societies , 1997 .

[52]  Michael Schillo Vertrauen und Betrug in Multi-Agenten Systemen : Erweiterung des Vertrauensmodells von Castelfranchi und Falcone um eine Kommunikationskomponente , 2000 .

[53]  E. Shils The Constitution Of Society , 1982 .

[54]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[55]  H. Van Dyke Parunak,et al.  Entropy and self-organization in multi-agent systems , 2001, AGENTS '01.

[56]  Victor R. Lesser,et al.  Designing a Family of Coordination Algorithms , 1997, ICMAS.

[57]  Gerhard Roth,et al.  Self-organizing systems : an interdisciplinary approach , 1981 .

[58]  John Mylopoulos,et al.  A Goal-Based Organizational Perspective on Multi-agent Architectures , 2001, ATAL.

[59]  Robert L. Axtell,et al.  Effects of Interaction Topology and Activation Regime in Several Multi-Agent Systems , 2000, MABS.

[60]  Frank Hillebrandt,et al.  Bourdieus Theorie der Praxis : Erklärungskraft - Anwendung - Perspektiven , 2002 .

[61]  Rino Falcone,et al.  Tuning the Collaboration Level with Autonomous Agents: A Principled Theory , 2001, AI*IA.

[62]  Reid G. Smith,et al.  The Contract Net: A Formalism for the Control of Distributed Problem Solving , 1977, IJCAI.

[63]  B. R. Odgers,et al.  Agent-enhanced Workflow , 1998 .

[64]  Thomas Malsch,et al.  Naming the Unnamable: Socionics or the Sociological Turn of/to Distributed Artificial Intelligence , 2001, Autonomous Agents and Multi-Agent Systems.

[65]  Jörg P. Müller,et al.  A Model for Cooperative Transportation Scheduling , 1995, ICMAS.

[66]  Michael Rovatsos,et al.  Indicators for Self-Diagnosis: Communication-Based Performance Measures , 2003, MATES.

[67]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[68]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[69]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[70]  Michael Luck,et al.  Development and application of a formal agent framework , 1997, First IEEE International Conference on Formal Engineering Methods.

[71]  Nicholas R. Jennings,et al.  Agent-Based Computing: Promise and Perils , 1999, IJCAI.

[72]  Edmund H. Durfee,et al.  Trends in Cooperative Distributed Problem Solving , 1989, IEEE Trans. Knowl. Data Eng..

[73]  Edmund H. Durfee,et al.  On the design of an adaptive meeting scheduler , 1994, Proceedings of the Tenth Conference on Artificial Intelligence for Applications.

[74]  Christian Gerber,et al.  Self-adaptation and scalability in multi-agent societies , 1999 .

[75]  John Mylopoulos,et al.  Multi-Agent Architectures as Organizational Structures , 2006, Autonomous Agents and Multi-Agent Systems.

[76]  Alan H. Bond,et al.  Readings in Distributed Artificial Intelligence , 1988 .

[77]  T. Yamagishi The provision of a sanctioning system as a public good , 1986 .

[78]  Maria L. Gini,et al.  MAGNET: A Multi-Agent Contracting System for Plan Execution , 1998 .

[79]  Sape J. Mullender,et al.  Distributed systems (2nd Ed.) , 1993 .

[80]  Pamela J. Fink,et al.  If at First You Don’t Succeed , 1993 .

[81]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[82]  Edmund H. Durfee,et al.  Designing tree-structured organizations for computational agents , 1996, Comput. Math. Organ. Theory.

[83]  Christian Kray,et al.  RAJA: a resource-adaptive Java agent infrastructure , 2001, AGENTS '01.

[84]  Klaus Fischer,et al.  The contract-net with confirmation protocol : an improved mechanism for task assignment , 2001 .

[85]  Christoph G. Jung Layered and Resource-Adapting Agents in the RoboCup Simulation , 1998, RoboCup.

[86]  Hyacinth S. Nwana,et al.  Software agents: an overview , 1996, The Knowledge Engineering Review.

[87]  Victor R. Lesser,et al.  Poaching and distraction in asynchronous agent activities , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[88]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[89]  Klaus Fischer,et al.  Holonic transport scheduling with teletruck , 2000, Appl. Artif. Intell..

[90]  Nicholas R. Jennings,et al.  A methodology for agent-oriented analysis and design , 1999, AGENTS '99.

[91]  Les Gasser,et al.  Organizational Approaches to Coordination in Multi-Agent Systems , 1998, Informationstechnik Tech. Inform..

[92]  Claudia V. Goldman,et al.  Self-organization through bottom-up coalition formation , 2003, AAMAS '03.

[93]  H. V. Parunak Chapter 10 – Manufacturing Experience with the Contract Net , 1987 .

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

[95]  Carl Hewitt,et al.  Open Information Systems Semantics for Distributed Artificial Intelligence , 1991, Artif. Intell..

[96]  Klaus Fischer,et al.  Inter-organizational networks as patterns for self-organizing multiagent systems , 2003, AAMAS '03.

[97]  Said Elnaffar,et al.  Today's DBMSs: how autonomic are they , 2003, 14th International Workshop on Database and Expert Systems Applications, 2003. Proceedings..

[98]  Khaled Nagi Transactional Agents: Towards a Robust Multi-Agent System , 2001, Lecture Notes in Computer Science.

[99]  Michael Wooldridge,et al.  Intelligent agents: theory and practice The Knowledge Engineering Review , 1995 .

[100]  Klaus Fischer,et al.  Agent-based design of holonic manufacturing systems , 1999, Robotics Auton. Syst..

[101]  Agostino Poggi,et al.  A Contract Decommitment Protocol for Automated Negotiation in Time Variant Environments , 2001, WOA.

[102]  E. Ostrom,et al.  A Grammar of Institutions , 1995, American Political Science Review.

[103]  R. Gulati,et al.  Where Do Interorganizational Networks Come From?1 , 1999, American Journal of Sociology.

[104]  H. Maturana,et al.  Autopoiesis and Cognition : The Realization of the Living (Boston Studies in the Philosophy of Scie , 1980 .

[105]  Petr Jan Horn,et al.  Autonomic Computing: IBM's Perspective on the State of Information Technology , 2001 .

[106]  Klaus Fischer,et al.  Holonic Multiagent Systems , 2003, Künstliche Intell..

[107]  Cristiano Castelfranchi,et al.  Founding Agents' "Autonomy" on Dependence Theory , 2000, ECAI.

[108]  Gerald W. Both,et al.  Object-oriented analysis and design with applications , 1994 .

[109]  H. Poser Handlung, Norm und Intention , 1978 .

[110]  Petra Funk,et al.  Self-stabilization as multiagent systems property , 2002, AAMAS '02.

[111]  A. Koller,et al.  Speech Acts: An Essay in the Philosophy of Language , 1969 .

[112]  Claudio Bartolini,et al.  Economic dynamics of agents in multiple auctions , 2001, AGENTS '01.

[113]  M. Golfarelli,et al.  A Task-Swap Negotiation Protocol Based on the Contract Net Paradigm , 2000 .

[114]  Edmund H. Durfee,et al.  Scaling Up Agent Coordination Strategies , 2001, Computer.

[115]  Michael Wooldridge,et al.  Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence , 1999 .

[116]  M. Schillo Self-Organization and Adjustable Autonomy : Two Sides of the Same Medal ? , 2002 .

[117]  Michael Florian,et al.  Sozionik: Expedition ins Grenzgebiet zwischen Soziologie und Künstlicher Intelligenz , 1996, Künstliche Intell..

[118]  Mark Klein,et al.  Using Domain-Independent Exception Handling Services to Enable Robust Open Multi-Agent Systems: The Case of Agent Death , 2003, Autonomous Agents and Multi-Agent Systems.

[119]  Julie A. McCann,et al.  The patia autonomic Webserver: feasibility experimentation , 2003, 14th International Workshop on Database and Expert Systems Applications, 2003. Proceedings..

[120]  Winfried Hochstättler,et al.  The Simulated Trading Heuristic for Solving Vehicle Routing Problems , 1996, Discret. Appl. Math..

[121]  Timothy W. Finin,et al.  A Proposal for a new KQML Specification , 1997 .

[122]  Orlando Belo,et al.  A MULTI-AGENT BASED APPROACH FOR LOAD DISTRIBUTION IN MULTI-ENTERPRISE ENVIRONMENTS , 1997 .

[123]  David Ríos Insua,et al.  Sensitivity analysis in multi-objective decision making , 1990 .

[124]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[125]  Svetha Venkatesh,et al.  Learning other Agents' Preferences in Multiagent Negotiation , 1996, AAAI/IAAI, Vol. 1.

[126]  Christian Kray,et al.  The eager bidder problem: a fundamental problem of DAI and selected solutions , 2002, AAMAS '02.

[127]  Michael N. Huhns,et al.  Robust software via agent-based redundancy , 2003, AAMAS '03.

[128]  Katia Sycara,et al.  Multi-Agent Meeting Scheduling: Preliminary Experimental Results , 1996 .

[129]  Milind Tambe,et al.  Robust Agent Teams via Socially-Attentive Monitoring , 2000, J. Artif. Intell. Res..

[130]  Cristiano Castelfranchi,et al.  The theory of social functions: challenges for computational social science and multi-agent learning , 2001, Cognitive Systems Research.

[131]  Thomas Malsch,et al.  SOCIONICS: Introduction and Potential , 1998, J. Artif. Soc. Soc. Simul..

[132]  B. Neuman Scale in Distributed Systems , 1994 .

[133]  Jürgen Lind Specifying Agent Interaction Protocols with Standard UML , 2001, AOSE.

[134]  Klaus G. Troitzsch,et al.  Social Science Microsimulation , 1997 .

[135]  Munindar P. Singh A Customizable Coordination Service for Autonomous Agents , 1997, ATAL.

[136]  D. Norrie,et al.  An Agent-Based Approach for Dynamic Manufacturing Scheduling , 1998 .

[137]  Victor R. Lesser,et al.  Distributed Interpretation: A Model and Experiment , 1980, IEEE Transactions on Computers.

[138]  Matthias Klusch,et al.  Brokering and Matchmaking for Coordination of Agent Societies: A Survey , 2001, Coordination of Internet Agents: Models, Technologies, and Applications.

[139]  Milind Tambe,et al.  What Is Wrong With Us? Improving Robustness Through Social Diagnosis , 1998, AAAI/IAAI.

[140]  D. Manivannan,et al.  Finding Consistent Global Checkpoints in a Distributed Computation , 1997, IEEE Trans. Parallel Distributed Syst..

[141]  Terry Winograd,et al.  Understanding computers and cognition - a new foundation for design , 1987 .

[142]  Klaus Fischer,et al.  Towards a Theory of Flexible Holons: Modelling Institutions for Making Multi-Agent Systems Robust , 2001 .

[143]  Rino Falcone,et al.  Towards a theory of delegation for agent-based systems , 1998, Robotics Auton. Syst..

[144]  Hamideh Afsarmanesh,et al.  Mutigent perspectives to agile scheduling , 1998, BASYS.

[145]  Nicholas R. Jennings,et al.  Foundations of distributed artificial intelligence , 1996, Sixth-generation computer technology series.

[146]  Matthias Klusch,et al.  Towards a definition of robustness for market-style open multi-agent systems , 2001, AGENTS '01.

[147]  R. Gulati,et al.  STRATEGIC NETWORKS , 2000 .

[148]  W. K. Vickery,et al.  Counter-Speculation Auctions and Competitive Sealed Tenders , 1961 .

[149]  Jeffrey S. Rosenschein and Gilad Zlotkin Rules of Encounter , 1994 .

[150]  Michael Luck,et al.  Foundations and Applications of Multi-Agent Systems , 2002, Lecture Notes in Computer Science.

[151]  Klaus Fischer,et al.  The Micro-Macro Link in DAI and Sociology , 2000, MABS.

[152]  Michael Wooldridge,et al.  The logical modelling of computational multi-agent systems , 1992 .

[153]  J. van Leeuwen,et al.  Performance Engineering , 2001, Lecture Notes in Computer Science.

[154]  Alois Knoll,et al.  Framework for implementing self-organizing task-oriented multisensor networks , 1998, Other Conferences.

[155]  R. Rosner Computer software , 1978, Nature.

[156]  Ipke Wachsmuth,et al.  Contract-Net-Based Learning in a User-Adaptive Interface Agency , 1996, ECAI Workshop LDAIS / ICMAS Workshop LIOME.

[157]  Douglas B. Lenat,et al.  BEINGS: Knowledge as Interacting Experts , 1975, IJCAI.

[158]  Susan Leigh Star,et al.  The Structure of Ill-Structured Solutions: Boundary Objects and Heterogeneous Distributed Problem Solving , 1989, Distributed Artificial Intelligence.

[159]  Stefan Bussmann,et al.  A Multi-Agent Approach to Dynamic, Adaptive Scheduling of Material Flow , 1994, MAAMAW.

[160]  T. Parsons,et al.  Toward a General Theory of Action , 1952 .

[161]  Cristiano Castelfranchi,et al.  Guarantees for Autonomy in Cognitive Agent Architecture , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[162]  Edmund H. Durfee,et al.  An adaptive agent bidding strategy based on stochastic modeling , 1999, AGENTS '99.

[163]  Michael N. Huhns,et al.  Robust Software , 2002, IEEE Internet Comput..