Formal modelling of a bio-inspired paradigm capable of exhibiting emergence
Authors: 
Konstantinos Rousis, 
George Eleftherakis, Ognen Paunovski, Anthony J. CowlingAuthors Info & Claims
Pages 223 - 228
Abstract
The Emergent Distributed Bio-Organization (EDBO) case study has demonstrated the potential of harnessing emergent properties in Artificial Distributed Systems (ADS). Introducing biologically inspired attributes and functions to the microscopic level (i.e. the biobots) has allowed for the emergence of global-level behaviours such as network scalability, availability and super-node formations. Experience gained during work with EDBO was further incorporated into a disciplined framework for harnessing emergence in ADS. In an attempt to increase confidence in this framework and the results gathered so far by EDBO simulations, this paper performs a feasibility study on formally modelling, documenting, and validating the EDBO case study. By using the X-machine formalism, this step further serves as a preliminary, transition, step for running EDBO on FLAME; an agent-based simulation platform built upon the theoretical foundation of X-machines.
References
[1]
S. Coakley, R. Smallwood, and M. Holcombe. Using x-machines as a formal basis for describing agents in agent-based modelling. In Proceedings of the 2006 Agent-Directed Simulation Conference, 2006.
[2]
C. Deissenberg, S. van der Hoog, and H. Dawid. Eurace: A massively parallel agent-based model of the european economy. Applied Mathematics and Computation, 204(2):541--552, 2008. Special Issue on New Approaches in Dynamic Optimization to Assessment of Economic and Environmental Systems.
[3]
S. Eilenberg. Automata, Languages, and Machines, volume A. Academic Press, 1974.
[4]
G. Eleftherakis and P. Kefalas. Formal verification of generalised state machines. In PCI '08: Proceedings of the 2008 Panhellenic Conference on Informatics, pages 227--231. IEEE Computer Society, 2008.
[5]
G. Eleftherakis, P. Kefalas, and A. Sotiriadou. Formal verification of agent models. In Proceedings of the 2nd Hellenic Conference on AI (SETN02), pages 425--435, 2002.
[6]
G. Eleftherakis, O. Paunovski, K. Rousis, and A. J. Cowling. Harnessing emergent properties in artificial distributed networks: an experimental framework. In C. Ritson, P. Andrews, and S. Stepney, editors, 4th Workshop on Complex Systems Modelling and Simulation, pages 141--144, Paris, France, August 2011. Luniver Press.
[7]
M. Holcombe. X-machines as a basis for system specification. Software Engineering Journal, 3(2):69--76, 1988.
[8]
M. Holcombe, S. Coakley, and R. Smallwood. A general framework for agent-based modelling of complex systems. In Proceedings of the 2006 European Conference on Complex Systems, 2006.
[9]
M. Holcombe and F. Ipate. Correct systems: building a business process solution. Applied Computing Series. Springer-Verlag, Berlin, Germany, 1998.
[10]
P. Kefalas. Formal modelling of reactive agents as an aggregation of simple behaviours. In Methods and Applications of Artificial Intelligence, volume 2308 of Lecture Notes in Computer Science LNCS, pages 461--472. Springer-Verlag, 2002.
[11]
P. Kefalas, G. Eleftherakis, and A. Sotiriadou. Developing tools for formal methods. In PCI '03: Proceedings of the 2003 Panhellenic Conference on Informatics, pages 625--639, Washington, DC, USA, 2003. IEEE Computer Society.
[12]
P. Kefalas, M. Holcombe, G. Eleftherakis, and M. Gheorghe. Intelligent Agent Software Engineering, chapter A Formal Method for the Development of Agent-Based Systems, pages 68--98. Idea Group Publishing, 2003.
[13]
O. Paunovski. Exploring Emergent Phenomena: Towards Analysis and Synthesis of Emergent Formations in Complex Systems. PhD thesis, University of Sheffield, 2012.
[14]
M. Pogson, M. Holcombe, R. Smallwood, and E. Qwarnstrom. Introducing spatial information into predictive NF-kB modelling - an agent-based approach. PLoS ONE, 3(6):e2367, June 2008.
[15]
S. Steinsiek, S. Frixel, S. Stagge, and K. Bettenbrock. Characterization of e. coli mg1655 and frda and sdhc mutants at various aerobiosis levels. Biotechnology, 2011. {Epub ahead of print}.
[16]
T. Suda, T. Nakano, M. Moore, A. Enomoto, and K. Fujii. Biologically inspired approaches to networks: The bio-networking architecture and the molecular communication. In P. Liò, E. Yoneki, J. Crowcroft, and D. Verma, editors, Bio-Inspired Computing and Communication, volume 5151 of Lecture Notes in Computer Science, pages 241--254. Springer Berlin/Heidelberg, 2008.
Index Terms
- Formal modelling of a bio-inspired paradigm capable of exhibiting emergence
Recommendations
A Formal Framework for ASTRAL Intralevel Proof Obligations
ASTRAL is a formal specification language for real-time systems. It is intended to support formal software development, and therefore has been formally defined. This paper focuses on how to formally prove the mathematical correctness of ASTRAL ...
Formal modelling of agents acting under artificial emotions
BCI '12: Proceedings of the Fifth Balkan Conference in InformaticsArtificial Agents infused with emotions have attracted considerable attention in recent years. Many domain areas require agents to be able to demonstrate an emotional reaction to stimuli, beliefs, goals, communication etc., thus exhibiting a believable ...
Identifying Multi-Level Emergent Behaviors in Agent-Directed Simulations using Complex Event Type Specifications
Agent-directed simulations (ADS) are used in many domains to study complex systems. These are systems where non-linear effects can result from these emergent behaviors, making them difficult to analyze and predict. Correspondingly, in ADS, as well as ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
September 2012
312 pages
Copyright © 2012 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
- MSTD: Ministry of Education, Science and Technological Development - Serbia
- Novi Sad: Faculty of Technical Sciences, University of Novi Sad
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 16 September 2012
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
BCI '12
Sponsor:
- MSTD
- Novi Sad
Acceptance Rates
Overall Acceptance Rate 97 of 250 submissions, 39%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 89Total Downloads
- Downloads (Last 12 months)1
- Downloads (Last 6 weeks)0
Reflects downloads up to 24 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in