Abstract
Emergence becomes a distinguishing system feature as system complexity grows with the number of components, interactions, and connectivities. Examples of emergent behaviors include the flocking of birds, traffic jams, and hubs in social networks, among others. Despite significant research interest in recent years, there is a lack of formal methods to understand, identify, and predict emergent behavior in multiagent systems. Existing approaches either require detailed prior knowledge about emergent behavior or are computationally infeasible. This article introduces a grammar-based approach to formalize and identify the existence and extent of emergence without the need for prior knowledge of emergent properties. Our approach is based on weak (basic) emergence that is both generated and autonomous from the underlying agents. We employ formal grammars to capture agent interactions in the forms of words written on a common tape. Our formalism captures agents of diverse types and open systems. We propose an automated approach for the identification of emergent behavior and show its benefits through theoretical and experimental analysis. We also propose a significant reduction of state-space explosion through the use of our proposed degree of interaction metrics. Our experiments using the boids model show the feasibility of our approach but also highlight future avenues of improvement.
- R. Abbott. 2006. Emergence explained: Abstractions getting epiphenomena to do real work. Complexity 12, 1, 13--26. Google ScholarDigital Library
- L. A. Adamic and B. A. Huberman. 2000. Power-law distribution of the World Wide Web. Science 287, 2115.Google ScholarCross Ref
- R. Albert, H. Jeong, and A. L. Barabasi. 1999. Diameter of the World Wide Web. Nature 401, 130--131.Google ScholarCross Ref
- N. A. Baas and C. Emmeche. 1997. On emergence and explanation. Intellectica 2, 67--83.Google Scholar
- Y. Bar-Yam. 2004. A mathematical theory of strong emergence using multiscale variety. Complexity 9, 6, 15--24. Google ScholarDigital Library
- M. A. Bedau. 1997. Philosophical perspectives: Mind, causation and world. Philosophical Perspectives Annual Volume 11.Google Scholar
- M. A. Bedau. 2003. Downward causation and the autonomy of weak emergence. Principia 3 3, 5--50.Google Scholar
- C. Bernon, M.-P. Gleizes, S. Peyruqueou, and G. Picard. 2003. Adelfe: A methodology for adaptive multi-agent systems engineering. In Engineering Societies in the Agents World III. Springer, 156--169. Google ScholarDigital Library
- L. Birdsey and C. Szabo. 2014. An architecture for identifying emergent behavior in multi-agent systems. In Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems. 1455--1456. Google ScholarDigital Library
- E. Bonabeau and J. Dessalles. 1997. Detection and emergence. Intellectica 25, 2.Google Scholar
- D. J. Chalmers. 2006. Strong and weak emergence. In The Re-emergence of Emergence. Oxford University Press.Google Scholar
- W. K. V. Chan. 2010. Interaction metric of emergent behaviors in agent-based simulation. In Proceedings of Winter Simulation Conference, S. Jain, R. R. Creasey, J. Himmelspach, K. P. White, and M. Fu (Eds.). Institute of Electrical and Electronics Engineers, 357--336. Google ScholarDigital Library
- C. C. Chen, S. B. Nagl, and C. D. Clack. 2009a. Complexity and emergence in engineering systems. Complex Systems in Knowledge-based Environments: Theory, Models and Applications 168, 99--128.Google ScholarCross Ref
- C. C. Chen, S. B. Nagl, and C. D. Clack. 2009b. A formalism for multi-level emergent behaviours in designed component-based systems and agent-based simulations. In From System Complexity to Emergent Properties. Springer-Verlag, 101--114.Google Scholar
- L. Chi. 2009. Translating social capital to the online world: Insights from two experimental studies. Journal of Organizational Computing and Electronic Commerce 19, 214--236.Google ScholarCross Ref
- N. Chomsky. 1956. Three models for the description of language. IRE Transactions on Information Theory 2, 113--124.Google ScholarCross Ref
- J. P. Crutchfield. 1999. Is anything ever new? Considering emergence. In Complexity, Vol. 19, 515--537. Addison-Wesley. Google ScholarDigital Library
- V. Darley. 1994. Emergent phenomena and complexity. Artificial Life IV, 4, 411--416.Google Scholar
- J. Deguet, L. Magnin, and Y. Demazeau. 2006. Elements about the emergence issue: A survey of emergence definitions. ComPlexUs 3, 24--31.Google ScholarCross Ref
- G. B. Dyson. 1998. Darwin Among the Machines: The Evolution of Global Intelligence. Perseus Books Group. Google ScholarDigital Library
- D. Fisch, M. Janicke, B. Sick, and C. Muller-Schloer. 2010. Quantitative emergence - A refined approach based on divergence measures. In Proceedings of 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems. 94--103. Google ScholarDigital Library
- S. Floyd and V. Jacobson. 1994. The synchronization of periodic routing messages. IEEE/ACM Transactions on Networking 2, 2, 122--136. Google ScholarDigital Library
- J. Fromm. 2007. Types and Forms of Emergence. http://arxiv.org/abs/nlin.AO/0506028.Google Scholar
- J. M. E. Gabbai, H. Yin, W. A. Wright, and N. M. Allinson. 2005. Self-organization, emergence and multi-agent systems. In Proceedings of International Conference on Neural Networks and Brain. 1858--1863.Google Scholar
- R. Gore and P. F. Reynolds. 2008. Applying causal inference to understand emergent behavior. In Proceedings of the Winter Simulation Conference. 712--721. Google ScholarDigital Library
- P. Haglich, C. Rouff, and L. Pullum. 2010. Detecting emergence in social networks. In Proceedings of IEEE 2nd International Conference on Social Computing. 693--696. Google ScholarDigital Library
- B. Heath, R. Hill, and F. Ciarallo. 2009. A survey of agent-based modeling practices (January 1998 to July 2008). Journal of Artificial Societies and Social Simulation 12, 4, 9+.Google Scholar
- J. H. Holland. 1997. Emergence: From Chaos To Order. Addison Wesley. Google ScholarDigital Library
- R. Holzer, H. De Meer, and C. Bettstetter. 2008. On autonomy and emergence in self-organizing systems. In Proceedings of 3rd International Workshop on Self-Organizing Systems. 157--169. Google ScholarDigital Library
- J. Hopcroft, R. Motwani, and J. Ullman. 2001. Introduction to Automata Theory, Languages and Computation. Addison-Wesley. Google ScholarDigital Library
- P. Hovda. 2008. Quantifying weak emergence. Journal of Minds and Machine 18, 4, 461--473. Google ScholarDigital Library
- M. Jacyno, S. Bullock, M. Luck, and T. R. Payne. 2009. Emergent service provisioning and demand estimation through self-organizing agent communities. In Proceedings of the International Conference on Autonomous Agents and Multiagent Systems-Volume 1. 481--488. Google ScholarDigital Library
- C. W. Johnson. 2006. What are emergent properties and how do they affect the engineering of complex systems? Reliability Engineering and System Safety 12, 1475--1481.Google ScholarCross Ref
- A. Kubik. 2003. Towards a formalization of emergence. Journal of Artificial Life 9, 1, 41--65. Google ScholarDigital Library
- Z. Li, C. H. Sim, and M. Y. H. Low. 2006. A survey of emergent behaviour and impacts in agent-based systems. In Proceedings of IEEE International Conference on Industrial Economics. 1295--1300.Google Scholar
- E. J. Manley and T. Cheng. 2010. Understanding road congestion as an emergent property of traffic networks. In Proceedings of 14th World Multi-Conference on Systemics, Cybernetics and Informatics. 25--34.Google Scholar
- F. S. Melo and M. Veloso. 2009. Learning of coordination: Exploiting sparse interactions in multiagent systems. In Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems-Volume 2. 773--780. Google ScholarDigital Library
- S. Mittal. 2013. Emergence in stigmergic and complex adaptive systems: A formal discrete event systems perspective. Cognitive Systems Research 21, 22--39. Google ScholarDigital Library
- M. Mnif and C. Muller-Schloer. 2006. Quantitative emergence. In Proceedings of IEEE Mountain Workshop on Adaptive and Learning Systems. 78--84.Google Scholar
- J. C. Mogul. 2006. Emergent (mis)behavior vs. complex software systems. In Proceedings of 1st ACM SIGOPS/EuroSys European Conference on Computer Systems. 293--304. Google ScholarDigital Library
- T. Moncion, P. Amar, and G. Hutzler. 2010. Automatic characterization of emergent phenomena in complex systems. Journal of Biological Physics and Chemistry 10, 16--23.Google ScholarCross Ref
- I. Norros, B. J. Prabhu, and H. Reittu. 2006. Flash crowd in a file sharing system based on random encounters. In Proceedings of Workshop on Interdisciplinary Systems Approach in Performance Evaluation and Design of Computer & Communications Systems. 42--51. Google ScholarDigital Library
- T. O’Conner. 1994. Emergent properties. American Philosophical Quarterly 31, 2, 91--104.Google Scholar
- K. K. Ramakrishnan and H. Yang. 1994. The Ethernet capture effect: Analysis and solution. In Proceedings of 19th Conference on Local Computer Networks. 228--240.Google Scholar
- M. Randles, H. Zhu, and A. Taleb-Bendiab. 2007. A formal approach to the engineering of emergence and its recurrence. In Proceedings of 2nd International Workshop on Engineering Emergence in Decentralized Autonomic Systems. 1--10.Google Scholar
- C. W. Reynolds. 1987. Flocks, herds and schools: A distributed behavioral model. In Proceedings of 14th Annual Conference on Computer Graphics and Interactive Techniques. 25--34. Google ScholarDigital Library
- C. Rouff, A. Vanderbilt, M. Hinchey, W. Truszkowski, and J. Rash. 2004. Properties of a formal method for prediction of emergent behaviors in swarm-based systems. In Proceedings of 2nd IEEE International Conference on Software Engineering and Formal Methods. 24--33. Google ScholarDigital Library
- N. Salazar Salazar, J. Rodriguez-Aguilar, J. Arcos, A. Peleteiro, and J. Burguillo-Rial. 2011. Emerging cooperation on complex networks. In Proceedings of the International Conference on Autonomous Agents and Multiagent Systems. 669--676. Google ScholarDigital Library
- A. K. Seth. 2008. Measuring emergence via nonlinear Granger causality. Artificial Life XI 324, 1, 545--552.Google Scholar
- C. E. Shannon. 2000. A mathematical theory of communication. Bell System Technical Journal 27, 3, 379--423.Google ScholarCross Ref
- C. Szabo and Y. M. Teo. 2012a. An integrated approach for the validation of emergence in component-based simulation models. In Proceedings of the Winter Simulation Conference. 2412--2423. Google ScholarDigital Library
- C. Szabo and Y. M. Teo. 2012b. Semantic validation of emergent properties in component-based simulation models. Ontology, Epistemology, and Teleology of Modeling and Simulation Philosophical Foundations for Intelligent M&S Applications. 319--333.Google Scholar
- Y. M. Teo, L. B. Linh, and C. Szabo. 2013. Formalization of emergence in multi-agent systems. In Proceedings of the ACM SIGSIM Conference on Principles of Advanced Discrete Simulation. 231--240. Google ScholarDigital Library
- T. De Wolf, G. Samaey, T. Holvoet, and D. Roose. 2005. De-centralized autonomic computing: Analysing self-organizing emergent behavior using advanced numerical methods. In Proceedings of the 2nd International Conference on Autonomic Computing. 52--63. Google ScholarDigital Library
- B. Zhan, D. N. Monekosso, P. Remagnino, S. A. Velastin, and L. Q. Xu. 2008. Crowd analysis: A survey. Machine Vision and Application 19, 5--6, 345--357. Google ScholarDigital Library
Index Terms
- Formalization of Weak Emergence in Multiagent Systems
Recommendations
Formalization of emergence in multi-agent systems
SIGSIM PADS '13: Proceedings of the 1st ACM SIGSIM Conference on Principles of Advanced Discrete SimulationEmergence 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 ...
Accidental emergence within an agent based model: Simulation of agent interactions in an emergency situation
CGAMES '12: Proceedings of the 2012 17th International Conference on Computer Games: AI, Animation, Mobile, Interactive Multimedia, Educational & Serious Games (CGAMES)This paper describes an agent based modeling (ABM) study oriented towards simulating crowds and movements of agents within a confined area. The region of interest is a rectangular room with one or two exits, where the sounding of an alarm triggers ...
Norm Emergence in Multiagent Systems: A Viewpoint Paper
AAMAS '20: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent SystemsThe literature on norm emergence and normative MAS considers norms from two perspectives, namely: prescriptive norms using deontic concepts, and emergent norms that capture preference behaviour. We find that both perspectives lend themselves naturally ...
Comments