Emergence in stigmergic and complex adaptive systems: A formal discrete event systems perspective

Complex systems have been studied by researchers from every discipline: biology, chemistry, physics, sociology, mathematics and economics and more. Depending upon the discipline, complex systems theory has accrued many flavors. We are after a formal representation, a model that can predict the outcome of a complex adaptive system (CAS). In this article, we look at the nature of complexity, then provide a perspective based on discrete event systems (DEVS) theory. We pin down many of the shared features between CAS and artificial systems. We begin with an overview of network science showing how adaptive behavior in these scale-free networks can lead to emergence through stigmergy in CAS. We also address how both self-organization and emergence interplay in a CAS. We then build a case for the view that stigmergic systems are a special case of CAS. We then discuss DEVS levels of systems specifications and present the dynamic structure extensions of DEVS formalism that lends itself to a study of CAS and in turn, stigmergy. Finally, we address the shortcomings and the limitation of current DEVS extensions and propose the required augmentation to model stigmergy and CAS.

[1]  H. Stanley,et al.  Introduction to Phase Transitions and Critical Phenomena , 1972 .

[2]  Dina Q. Goldin,et al.  Modeling indirect interaction in open computational systems , 2003, WET ICE 2003. Proceedings. Twelfth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2003..

[3]  Eduardo Izquierdo-Torres,et al.  Collective Intelligence in Multi-Agent Robotics: Stigmergy, Self-Organization and Evolution , 2004 .

[4]  Fernando J. Barros,et al.  Modeling formalisms for dynamic structure systems , 1997, TOMC.

[5]  Albert-László Barabási,et al.  Linked - how everything is connected to everything else and what it means for business, science, and everyday life , 2003 .

[6]  Fernando J. Barros Dynamic structure discrete event system specification: a new formalism for dynamic structure modeling and simulation , 1995, WSC '95.

[7]  Michael L. Kalish,et al.  Stigmergy: Indirect Communication in Multiple Mobile Autonomous Agents , 2004 .

[8]  Xiaolin Hu,et al.  Variable Structure in DEVS Component-Based Modeling and Simulation , 2005, Simul..

[9]  Adelinde M. Uhrmacher,et al.  VARIABLE STRUCTURE MODELS IN OBJECT-ORIENTED SIMULATION∗ , 1996 .

[10]  M. Newman Clustering and preferential attachment in growing networks. , 2001, Physical review. E, Statistical, nonlinear, and soft matter physics.

[11]  Chris Melhuish,et al.  Stigmergy, Self-Organization, and Sorting in Collective Robotics , 1999, Artificial Life.

[12]  Scott A. Smolka,et al.  Turing Machines, Transition Systems, and Interaction , 2002, EXPRESS.

[13]  M. Newman Power laws, Pareto distributions and Zipf's law , 2005 .

[14]  Fernando J. Barros,et al.  Abstract simulators for the DSDE formalism , 1998, 1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274).

[15]  Adelinde M. Uhrmacher,et al.  Introducing Variable Ports and Multi-Couplings for Cell Biological Modeling in DEVS , 2006, Proceedings of the 2006 Winter Simulation Conference.

[16]  D. Chalmers Strong and Weak Emergence , 2006 .

[17]  Mathias John,et al.  Combining micro and macro-modeling in DEVS for computational biology , 2007, 2007 Winter Simulation Conference.

[18]  Adelinde M. Uhrmacher,et al.  Dynamic structures in modeling and simulation: a reflective approach , 2001, TOMC.

[19]  C. Peterson,et al.  Topological properties of citation and metabolic networks. , 2001, Physical review. E, Statistical, nonlinear, and soft matter physics.

[20]  Sharon L. Milgram,et al.  The Small World Problem , 1967 .

[21]  Dina Q. Goldin Persistent Turing Machines as a Model of Interactive Computation , 2000, FoIKS.

[22]  William Sulis,et al.  Fundamental Concepts of Collective Intelligence , 1997 .

[23]  Duncan J. Watts,et al.  Collective dynamics of ‘small-world’ networks , 1998, Nature.

[24]  Z. Neda,et al.  Measuring preferential attachment in evolving networks , 2001, cond-mat/0104131.

[25]  Francis Heylighen,et al.  The Science of Self-Organization and Adaptivity , 1999 .

[26]  H. Vangheluwe DEVS as a common denominator for multi-formalism hybrid systems modelling , 2000, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537).

[27]  George Henry Lewes,et al.  Problems of life and mind , 1874 .

[28]  Roman Frigg,et al.  Ubiquity. The Science of History ... Or Why The World is Simpler Than We Think , 2002 .

[29]  Gesine Reinert,et al.  Small worlds , 2001, Random Struct. Algorithms.

[30]  M. Newman,et al.  Renormalization Group Analysis of the Small-World Network Model , 1999, cond-mat/9903357.

[31]  Saurabh Mittal,et al.  Netcentric System of Systems Engineering with DEVS Unified Process , 2013 .

[32]  K. Wilson Renormalization Group and Critical Phenomena. I. Renormalization Group and the Kadanoff Scaling Picture , 1971 .

[33]  John H. Holland,et al.  Studying Complex Adaptive Systems , 2006, J. Syst. Sci. Complex..

[34]  S. Pinker How the Mind Works , 1999, Philosophy after Darwin.

[35]  R. Albert,et al.  The large-scale organization of metabolic networks , 2000, Nature.

[36]  Guy Theraulaz,et al.  Self-Organization in Biological Systems , 2001, Princeton studies in complexity.

[37]  Tom De Wolf,et al.  Emergence Versus Self-Organisation: Different Concepts but Promising When Combined , 2004, Engineering Self-Organising Systems.

[38]  Bernard P. Zeigler,et al.  Discrete Event Abstraction: An Emerging Paradigm For Modeling Complex Adaptive Systems , 2002 .

[39]  Stephen Lansing,et al.  Complex Adaptive Systems , 2003 .

[40]  Leo P. Kadanoff,et al.  From order to chaos II : essays : critical, chaotic and otherwise , 1993 .

[41]  C. Shalizi,et al.  Causal architecture, complexity and self-organization in time series and cellular automata , 2001 .

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

[43]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[44]  Aric A. Hagberg,et al.  Giant Component and Connectivity in Geographical Threshold Graphs , 2007, WAW.

[45]  Saurabh Mittal,et al.  A Framework for Modeling and Simulation of the Artificial , 2013, Ontology, Epistemology, and Teleology for Modeling and Simulation.

[46]  Rodney A. Brooks,et al.  Intelligence Without Reason , 1991, IJCAI.

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

[48]  P.-P. Grasse La reconstruction du nid et les coordinations interindividuelles chezBellicositermes natalensis etCubitermes sp. la théorie de la stigmergie: Essai d'interprétation du comportement des termites constructeurs , 1959, Insectes Sociaux.

[49]  Corrado Priami,et al.  Discrete event systems specification in systems biology - a discussion of stochastic pi calculus and DEVS , 2005, Proceedings of the Winter Simulation Conference, 2005..

[50]  A. Barabasi,et al.  Lethality and centrality in protein networks , 2001, Nature.

[51]  Hava T. Siegelmann,et al.  Neural networks and analog computation - beyond the Turing limit , 1999, Progress in theoretical computer science.

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