Modeling of Change in Multi-Agent Organizations

Determining the performance of an organization is a must for both human and multi-agent organizations. The performance analysis enables organizations to uncover unexpected properties of organizations and allow them to reconsider their internal workings. To perform such an analysis, this paper represents organizations as labeled graphs that capture, not only the interactions of the entities, but also the characteristics of those interactions, such as their content, frequency, and so on through labels in the graph. Algebraic representation and manipulations of the labels enable analysis of a given organization. Hence, well-known phenomena, such as overloading of participants or asymmetric distribution of workload among participants can easily be detected. Finally, a case study is performed within the domain of incident management.

[1]  Averill M. Law,et al.  Simulation Modeling and Analysis , 1982 .

[2]  P. Maes.  How to Do the Right Thing , 1989 .

[3]  Noam Nisan,et al.  Bidding and allocation in combinatorial auctions , 2000, EC '00.

[4]  Victor R. Lesser,et al.  Solving distributed constraint optimization problems using cooperative mediation , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[5]  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).

[6]  Jacques Ferber,et al.  Organization models and behavioural requirements specification for multi-agent systems , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[7]  Philippe Morignot,et al.  The Reorganization of Societies of Autonomous Agents , 1997, MAAMAW.

[8]  Mark Hoogendoorn,et al.  A Labeled Graph Approach to Analyze Organizational Performance , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[9]  Winfried Lamersdorf,et al.  Evaluation of Agent-Oriented Software Methodologies - Examination of the Gap Between Modeling and Platform , 2004, AOSE.

[10]  Klaus Drosten.  Translating Algebraic Specifications to Prolog Programs: A Comparative Study , 1988, ALP.

[11]  E. A. Hall,et al.  How to Make Reengineering Really Work , 1994 .

[12]  Hong Zhang,et al.  Stagnation recovery behaviours for collective robotics , 1994, Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'94).

[13]  Mark S. Fox,et al.  The Design of a Coordination Language for Multi-Agent Systems , 1996, ATAL.

[14]  M.D.E. van der Lee,et al.  IMI - An information system for effective Multidisciplinary Incident Management , 2004 .

[15]  Edgar H. Schein,et al.  On dialogue, culture, and organizational learning , 1993 .

[16]  Dov M. Gabbay,et al.  The imperative future: principles of executable temporal logic , 1996 .

[17]  John V. Jackson.  Idea for a mind , 1987, SGAR.

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

[19]  Milind Tambe,et al.  Allocating tasks in extreme teams , 2005, AAMAS '05.

[20]  Mark Hoogendoorn,et al.  Formation of Virtual Organizations Through Negotiation , 2006, MATES.

[21]  Tibor Bosse,et al.  On the use of organisation modelling techniques to address biological organisation , 2007, Multiagent Grid Syst..

[22]  Tara A. Estlin,et al.  A comparison of coordinated planning methods for cooperating rovers , 1999, AGENTS '00.

[23]  Marc M. Lankhorst,et al.  Modelling networked enterprises , 2002, Proceedings. Sixth International Enterprise Distributed Object Computing.

[24]  Jan Treur,et al.  A Formal Model for the Dynamics of Compositional Reasoning Systems , 1994, ECAI.

[25]  Nidhi Kalra,et al.  Market-Based Multirobot Coordination: A Survey and Analysis , 2006, Proceedings of the IEEE.

[26]  Olivier Boissier,et al.  MOISE: An Organizational Model for Multi-agent Systems , 2000, IBERAMIA-SBIA.

[27]  Tibor Bosse,et al.  Specification and Verification of Dynamics in Cognitive Agent Models , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[28]  Michael P. Georgeff,et al.  Decision-Making in an Embedded Reasoning System , 1989, IJCAI.

[29]  Michael Wooldridge,et al.  Adaptive task resources allocation in multi-agent systems , 2001, AGENTS '01.

[30]  Tibor Bosse,et al.  Analysis of Design Process Dynamics , 2004, ECAI.

[31]  Lai Xu,et al.  Formal Analysis of Empirical Traces in Incident Management , 2004, SGAI Conf..

[32]  T. Notteboom.  Container Shipping And Ports: An Overview , 2004 .

[33]  Andrea Omicini,et al.  On the Role of Simulations in Engineering Self-organising MAS: The Case of an Intrusion Detection System in , 2005, Engineering Self-Organising Systems.

[34]  Maria L. Gini,et al.  Bidtree Ordering in IDA* Combinatorial Auction Winner-Determination with Side Constraints , 2002, AMEC.

[35]  Mark Hoogendoorn,et al.  Modeling centralized organization of organizational change , 2007, Comput. Math. Organ. Theory.

[36]  Nigel H. M. Wilson,et al.  A heuristic algorithm for the multi-vehicle advance request dial-a-ride problem with time windows , 1986 .

[37]  Mark Hoogendoorn,et al.  Formal Modelling and Comparing of Disaster Plans , 2005 .

[38]  Guy Theraulaz,et al.  Response Threshold Reinforcement and Division of Labor in Insect Societies , 1998 .

[39]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[40]  Catholijn M. Jonker,et al.  Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements , 2001, AOSE.

[41]  Thomas L. Magnanti,et al.  Combinatorial optimization and vehicle fleet planning: Perspectives and prospects , 1981, Networks.

[42]  David Jaffee,et al.  Organization Theory : Tension and Change , 2000 .

[43]  Holly A. H. Handley,et al.  A Model to Evaluate the Effect of Organizational Adaptation , 2001, Comput. Math. Organ. Theory.

[44]  Catholijn M. Jonker,et al.  A temporal modelling environment for internally grounded beliefs, desires and intentions , 2003, Cognitive Systems Research.

[45]  Michael P. Wellman,et al.  Exploring bidding strategies for market-based scheduling , 2003, EC '03.

[46]  Wright-Patterson Afb,et al.  Intelligent Interface Agents for Intelligent Environments , 1998 .

[47]  R. Emerson.  Power-Dependence Relations , 1962, Power in Modern Societies.

[48]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[49]  Olivier Boissier,et al.  Dependence Relations between Roles in a Multi-Agent System: Towards the Detection of Inconsistencies in Organization , 1998, MABS.

[50]  Makoto Yokoo,et al.  An asynchronous complete method for distributed constraint optimization , 2003, AAMAS '03.

[51]  Tibor Bosse,et al.  A Temporal Trace Language for the Formal Analysis of Dynamic Properties , 2005 .

[52]  Gilbert Laporte,et al.  The Dial-a-Ride Problem (DARP): Variants, modeling issues and algorithms , 2003, 4OR.

[53]  Antony Galton,et al.  Operators vs. Arguments: The Ins and Outs of Reification , 2006, Synthese.

[54]  G. Nigel Gilbert,et al.  Simulation for the social scientist , 1999 .

[55]  Mark L. Winston,et al.  Factors determining temporal division of labor in honeybees , 1982 .

[56]  Wil M. P. van der Aalst,et al.  Bridging The Gap Between Business Models And Workflow Specifications , 2004, Int. J. Cooperative Inf. Syst..

[57]  Catholijn M. Jonker,et al.  Relating Structure and Dynamics in Organisation Models , 2002, MABS.

[58]  Tibor Bosse,et al.  Automated Evaluation of Coordination Approaches , 2006, COORDINATION.

[59]  Toby Tyrrell,et al.  Computational mechanisms for action selection , 1993 .

[60]  Craig C. Lundberg,et al.  Power and politics in organizations , 1980 .

[61]  Jan Treur,et al.  Compositional modelling of reflective agents , 1999, Int. J. Hum. Comput. Stud..

[62]  Jan Treur,et al.  Strategic knowledge in design: a compositional approach , 1998, Knowl. Based Syst..

[63]  Jan Treur,et al.  Formal semantics of meta‐level architectures: Temporal epistemic reflection , 2003, Int. J. Intell. Syst..

[64]  Edmund H. Durfee,et al.  A distributed framework for solving the Multiagent Plan Coordination Problem , 2005, AAMAS '05.

[65]  Michael Winikoff,et al.  Prometheus: A Methodology for Developing Intelligent Agents , 2002, AOSE.

[66]  Jan Treur,et al.  Agent Modelling in METATEM and DESIRE , 1997, ATAL.

[67]  Martijn C. Schut,et al.  APPROACH: Decentralised Rotation Planning for Container Barges , 2004, ECAI.

[68]  Jan Treur,et al.  Compositional Design and Reuse of a Generic Agent Model . , 2000 .

[69]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[70]  Mark Hoogendoorn,et al.  Simulating Organizational Change Triggered by a Changing Environment , 2006 .

[71]  Catholijn M. Jonker,et al.  A compositional process control model and its application to biochemical processes , 2002, Appl. Artif. Intell..

[72]  P. H. Lindsay,et al.  Human Information Processing: An Introduction to Psychology , 1972 .

[73]  Catholijn M. Jonker,et al.  Principles of component-based design of intelligent agents , 2002, Data Knowl. Eng..

[74]  Nicholas R. Jennings,et al.  Dynamic Evaluation of Coordination Mechanisms for Autonomous Agents , 2001, EPIA.

[75]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[76]  T. Gelder,et al.  Mind as Motion: Explorations in the Dynamics of Cognition , 1995 .

[77]  Luke Hunsberger,et al.  A combinatorial auction for collaborative planning , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[78]  Dian Marie Hosking.  Social Construction as Process: Some New Possibilities for Research and Development , 1999 .

[79]  Michael P. Wellman,et al.  Auction Protocols for Decentralized Scheduling , 2001, Games Econ. Behav..

[80]  M. Alvesson.  Cultural perspectives on organizations , 1995 .

[81]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[82]  P. Ordeshook.  Game theory and political theory: Contents , 1986 .

[83]  Barbara J. Grosz,et al.  Socially Conscious Decision-Making , 2003, Autonomous Agents and Multi-Agent Systems.

[84]  Monique Snoeck,et al.  Enterprise Modelling , 1998, ECOOP Workshops.

[85]  Chris Park,et al.  The Environment , 2010 .

[86]  R. Lippitt,et al.  The dynamics of planned change , 1958 .

[87]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[88]  R. Dahl.  The concept of power , 2007 .

[89]  Oren Etzioni,et al.  An Approach to Planning with Incomplete Information , 1992, KR.

[90]  Michael Wooldridge,et al.  The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System , 2004, Autonomous Agents and Multi-Agent Systems.

[91]  Kenneth D. Forbus.  Qualitative Process Theory , 1984, Artif. Intell..

[92]  Michael P. Wellman,et al.  Combinatorial auctions for supply chain formation , 2000, EC '00.

[93]  Thomas Schiex,et al.  A constraint satisfaction framework for decision under uncertainty , 1995, UAI.

[94]  Nicholas Carriero,et al.  Linda and Friends , 1986, Computer.

[95]  Maria L. Gini,et al.  Solving combinatorial auctions with temporal constraints in economic agents , 2002 .

[96]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[97]  Mark Hoogendoorn,et al.  Adaptation of Organizational Models for Multi-Agent Systems Based on Max Flow Networks , 2007, IJCAI.

[98]  Paolo Ciancarini,et al.  Coordination models and languages as software integrators , 1996, CSUR.

[99]  Richard E. Korf,et al.  Depth-First Iterative-Deepening: An Optimal Admissible Tree Search , 1985, Artif. Intell..

[100]  T. G. Cummings,et al.  Organization development and change , 1975 .

[101]  Nicholas R. Jennings,et al.  DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework , 1997, Int. J. Cooperative Inf. Syst..

[102]  W. Orlikowski,et al.  An Improvisational Model of Change Management: The Case of Groupware Technologies , 1996 .

[103]  Tibor Bosse,et al.  LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn , 2005, IEA/AIE.

[104]  Maria L. Gini,et al.  A Multi-Agent Negotiation Testbed for Contracting Tasks with Temporal and Precedence Constraints , 2002, Int. J. Electron. Commer..

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

[106]  David E. Wilkins,et al.  Domain-Independent Planning: Representation and Plan Generation , 1984, Artif. Intell..

[107]  Tibor Bosse,et al.  Coordination Approaches for Complex Software Systems , 2006 .

[108]  Mark Hoogendoorn,et al.  Design of supplier agents for an auction-based market , 2002, AOIS@AAMAS.

[109]  Mark Hoogendoorn,et al.  An Agent-Based Meta-level Architecture for Strategic Reasoning in Naval Planning , 2005, AOIS.

[110]  Mark Hoogendoorn,et al.  An Adaptive Multi-agent Organization Model Based on Dynamic Role Allocation , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[111]  Olivier Boissier,et al.  A Model for the Structural, Functional, and Deontic Specification of Organizations in Multiagent Systems , 2002, SBIA.

[112]  Paolo Pirjanian,et al.  Behavior Coordination Mechanisms - State-of-the-art , 1999 .

[113]  J. Austin.  How to do things with words , 1962 .

[114]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[115]  Henning Dierks,et al.  PLC-automata: a new class of implementable real-time automata , 1997, Theor. Comput. Sci..

[116]  Monique Calisti,et al.  An adaptive solution to dynamic transport optimization , 2005, AAMAS '05.

[117]  Maja J. Mataric,et al.  Sold!: auction methods for multirobot coordination , 2002, IEEE Trans. Robotics Autom..

[118]  Martin Desrochers,et al.  A New Optimization Algorithm for the Vehicle Routing Problem with Time Windows , 1990, Oper. Res..

[119]  Moses Charikar,et al.  The finite capacity dial-a-ride problem , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[120]  Catholijn M. Jonker,et al.  Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness , 1997, Int. J. Cooperative Inf. Syst..

[121]  Wamberto Weber Vasconcelos,et al.  Verification and Analysis of Organisational Change , 2005, AAMAS Workshops.

[122]  Mark Hoogendoorn,et al.  A Meta-Level Architecture for Strategic Reasoning in Naval Planning (extended abstract) , 2005, BNAIC.

[123]  Farhad Arbab,et al.  Reo: A Channel-based Coordination Model for Component Composition , 2005 .

[124]  Michael J. B. Krieger,et al.  The call of duty: Self-organised task allocation in a population of up to twelve mobile robots , 2000, Robotics Auton. Syst..

[125]  Lai Xu,et al.  Automated support for adaptive incident management , 2004 .