An Architecture for Self-Organising Evolvable Virtual Machines

Contemporary software systems are exposed to demanding, dynamic, and unpredictable environments where the traditional adaptability mechanisms may not be sufficient. To imitate and fully benefit from life-like adaptability in software systems that might come closer to the complexity levels of biological organisms, we seek a formal mathematical model of certain fundamental concepts such as: life, organism, evolvability and adaptation. In this work we concentrate on the concept of software evolvability. Our work proposes an evolutionary computation model, based on the theory of hypercycles and autopoiesis. The intrinsic properties of hypercycles allow them to evolve into higher levels of complexity, analogous to multi-level, or hierarchical evolutionary processes. We aim to obtain structures of self-maintaining ensembles, that are hierarchically organised, and our primary focus is on such open-ended hierarchically organised evolution.

[1]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[2]  Michael O'Neill,et al.  Grammatical Evolution: Evolving Programs for an Arbitrary Language , 1998, EuroGP.

[3]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

[4]  J. Neumann.  The General and Logical Theory of Au-tomata , 1963 .

[5]  Juergen Schmidhuber,et al.  A General Method For Incremental Self-Improvement And Multi-Agent Learning In Unrestricted Environme , 1999 .

[6]  Jürgen Schmidhuber,et al.  Optimal Ordered Problem Solver , 2002, Machine Learning.

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

[8]  Neil D. Jones,et al.  Computability and complexity - from a programming perspective , 1997, Foundations of computing series.

[9]  G. Chaitin,et al.  TOWARD A MATHEMATICAL DEFINITION OF “ LIFE ” , 1979 .

[10]  Michael D. Vose,et al.  The simple genetic algorithm - foundations and theory , 1999, Complex adaptive systems.

[11]  Charles H. Moore,et al.  Forth - a language for interactive computing , 1970 .

[12]  Ilya Prigogine,et al.  From Being To Becoming , 1980 .

[13]  Mark Stefik.  H. A. Simon, The Sciences of the Artificial , 1984, Artif. Intell..

[14]  S. Wright,et al.  Evolution in Mendelian Populations. , 1931, Genetics.

[15]  David B. Fogel,et al.  Evolutionary Computation: The Fossil Record , 1998 .

[16]  Mieczyslaw M. Kokar,et al.  Control theory-based foundations of self-controlling software , 1999, IEEE Intell. Syst..

[17]  Robert Laddaga,et al.  Self-adaptive software : first International Workshop, IWSAS 2000, Oxford, UK, April 17-19, 2000 : revised papers , 2001 .

[18]  A. Gray,et al.  I. THE ORIGIN OF SPECIES BY MEANS OF NATURAL SELECTION , 1963 .

[19]  Stuart A. Kauffman,et al.  The origins of order , 1993 .

[20]  L. Orgel.  The Origins of Life: Molecules and Natural Selection , 1973 .

[21]  John von Neumann,et al.  Theory Of Self Reproducing Automata , 1967 .

[22]  Lee Spector,et al.  Hierarchy helps it work that way , 2002 .

[23]  Gary William Flake,et al.  The Computational Beauty of Nature: Computer Explorations of Fractals, Chaos, Complex Systems and Adaptation , 1998 .

[24]  E. Schrödinger.  What is life? : the physical aspect of the living cell , 1944 .

[25]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[26]  Lee Spector,et al.  Genetic Programming and Autoconstructive Evolution with the Push Programming Language , 2002, Genetic Programming and Evolvable Machines.

[27]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[28]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[29]  H. Maturana,et al.  Autopoiesis and Cognition , 1980 .

[30]  R. Fox.  Review of Stuart Kauffman, The Origins of Order: Self-Organization and Selection in Evolution , 1993 .

[31]  John R. Koza,et al.  Genetic programming - on the programming of computers by means of natural selection , 1993, Complex adaptive systems.

[32]  Alex C. Meng,et al.  On Evaluating Self-Adaptive Software , 2000, IWSAS.

[33]  G. J. Chaitin,et al.  TO A MATHEMATICAL DEFINITION OF “ LIFE ” , 1970 .

[34]  Bill Venners,et al.  Inside the Java Virtual Machine , 1997 .

[35]  A. Gecow,et al.  Self-improvement in a complex cybernetic system and its implications for biology , 1983, Acta biotheoretica.

[36]  Jürgen Schmidhuber,et al.  The Speed Prior: A New Simplicity Measure Yielding Near-Optimal Computable Predictions , 2002, COLT.

[37]  L. Brillouin,et al.  Science and information theory , 1956 .

[38]  G. J. Chaltin,et al.  To a mathematical definition of 'life' , 1970, SIGA.

[39]  M. Eigen,et al.  The Hypercycle: A principle of natural self-organization , 2009 .

[40]  Justinian Rosca,et al.  Hierarchical learning with procedural abstraction mechanisms , 1997 .

[41]  Martin K. Purvis,et al.  The NZDIS project: an agent-based distributed information systems architecture , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[42]  Ming Li,et al.  An Introduction to Kolmogorov Complexity and Its Applications , 1997, Texts in Computer Science.

[43]  N. Eldredge,et al.  What Is Life , 1995 .