Formalization of emergence in multi-agent systems

Emergence is a distinguishing feature in systems, especially when complexity grows with the number of components, interactions, and connectivity. There is immense interest in emergence, and a plethora of definitions from philosophy to sciences. Despite this, there is a lack of consensus on the definition of emergence and this hinders the development of a formal approach to understand and predict emergent behavior in multi-agent systems. This paper proposes a grammar-based set-theoretic approach to formalize and verify the existence and extent of emergence without prior knowledge or definition of emergent properties. Our approach is based on weak (basic) emergence that is both generated and autonomous from the underlying agents. In contrast with current work, our approach has two main advantages. By focusing only on system interactions of interest and feasible combinations of individual agent behavior, state-space explosion is reduced. In formalizing emergence, our extended grammar is designed to model agents of diverse types, mobile agents, and open systems. Theoretical and experimental studies using the boids model demonstrate the complexity of our formal approach.

[1]  Walter Truszkowski,et al.  Properties of a formal method for prediction of emergent behaviors in swarm-based systems , 2004, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..

[2]  Jeffrey C. Mogul,et al.  Emergent (mis)behavior vs. complex software systems , 2006, EuroSys.

[3]  Zhengping Li,et al.  A Survey of Emergent Behavior and Its Impacts in Agent-based Systems , 2006, 2006 4th IEEE International Conference on Industrial Informatics.

[4]  Mark A. Bedau,et al.  DOWNWARD CAUSATION AND THE AUTONOMY OF WEAK EMERGENCE , 2010 .

[5]  W ReynoldsCraig.  Flocks, herds and schools: A distributed behavioral model , 1987 .

[6]  Christel Baier,et al.  Principles of model checking , 2008 .

[7]  Raymond R. Hill,et al.  A Survey of Agent-Based Modeling Practices (January 1998 to July 2008) , 2009, J. Artif. Soc. Soc. Simul..

[8]  Vince Darley.  Emergent Phenomena and Complexity , 2004 .

[9]  Yaneer Bar-Yam,et al.  A mathematical theory of strong emergence using multiscale variety , 2004, Complex..

[10]  Russ Abbott,et al.  Emergence Explained , 2006, ArXiv.

[11]  Russ Abbott,et al.  Emergence explained: Abstractions: Getting epiphenomena to do real work , 2006, Complex..

[12]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[13]  P. Kidwell,et al.  Darwin Among the machines: The evolution of global intelligence , 1999, IEEE Annals of the History of Computing.

[14]  J. Crutchfield.  Is anything ever new?: considering emergence , 1999 .

[15]  Wai Kin Chan.  Interaction metric of emergent behaviors in agent-based simulation , 2011, Proceedings of the 2011 Winter Simulation Conference (WSC).

[16]  Christopher W. Johnson,et al.  What are emergent properties and how do they affect the engineering of complex systems? , 2006, Reliab. Eng. Syst. Saf..

[17]  Ales Kubík,et al.  Toward a Formalization of Emergence , 2002, Artif. Life.

[18]  Laurent Magnin,et al.  Elements about the Emergence Issue: A Survey of Emergence Definitions , 2006, Complexus.

[19]  A. Taleb-Bendiab,et al.  A Formal Approach to the Engineering of Emergence and its Recurrence , 2007 .

[20]  Yong Meng Teo,et al.  An integrated approach for the validation of emergence in component-based simulation models , 2012, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).

[21]  Christian Müller-Schloer,et al.  Quantitative Emergence -- A Refined Approach Based on Divergence Measures , 2010, 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems.

[22]  Sergio A. Velastin,et al.  Crowd analysis: a survey , 2008, Machine Vision and Applications.

[23]  Yong Meng Teo,et al.  Semantic Validation of Emergent Properties in Component-Based Simulation Models , 2013, Ontology, Epistemology, and Teleology for Modeling and Simulation.

[24]  Yong Meng Teo,et al.  An Objective-Based Approach for Semantic Validation of Emergence in Component-Based Simulation Models , 2012, 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation.

[25]  C. Emmeche,et al.  On emergence and explanation , 1997 .

[26]  Guillaume Hutzler,et al.  Automatic characterization of emergent phenomena in complex systems , 2010 .

[27]  Ross Gore,et al.  Applying causal inference to understand emergent behavior , 2008, 2008 Winter Simulation Conference.

[28]  M. Newman.  Complex Systems: A Survey , 2011, 1112.1440.

[29]  Craig W. Reynolds.  Flocks, herds, and schools: a distributed behavioral model , 1987, SIGGRAPH.

[30]  Jean-Louis Dessalles,et al.  Detection and emergence , 2011, ArXiv.

[31]  Chih-Chun Chen,et al.  Complex event types for agent-based simulation , 2009 .

[32]  Christel Baier,et al.  Principles of Model Checking (Representation and Mind Series) , 2008 .

[33]  Christopher A. Rouff,et al.  Detecting Emergence in Social Networks , 2010, 2010 IEEE Second International Conference on Social Computing.

[34]  George B. Dyson.  Darwin among the Machines: The Evolution of Global Intelligence , 1997 .

[35]  Christian Müller-Schloer,et al.  Quantitative Emergence , 2006, 2006 IEEE Mountain Workshop on Adaptive and Learning Systems.

[36]  J. Fromm.  Types and Forms of Emergence , 2005, nlin/0506028.

[37]  I. Norros,et al.  Flash crowd in a file sharing system based on random encounters , 2006 .

[38]  P. Davies,et al.  The Re-Emergence of Emergence: The Emergentist Hypothesis from Science to Religion , 2008 .

[39]  M. Newman.  Resource Letter CS-1: Complex Systems , 2011 .

[40]  Anil K. Seth.  Measuring emergence via nonlinear Granger causality , 2008, ALIFE.

[41]  Tao Cheng,et al.  Understanding Road Congestion as an Emergent Property of Traffic Networks , 2010 .