|
Artificial life |
|
Introduction
to Cellular Automata ---------------------------------------------------------------------------------------------------- |
The number of possible cellular automata is potentially infinite. In this context, Wolfram wondered about the existence of cellular automata's general behaviour rules22. S. Wolfram studied one dimensional
automata, with two states and a neighbourhood of 2. He only
considered as "legal" the automata that firstly eliminate any cell
without neighbour, and secondly, are symmetric. There are then
only 32 "legal" automata that Wolfram systematically studied. This study showed that, according to the author, numerous cellular automata, and maybe all of them, fall into four basic classes. Class I- evolution leads to an homogeneous state. Class I automata (rule 36) Class II- Evolution leads to simple or periodic structures. Class II automata (rule 40) Class III- Evolution leads to chaotic states. Class III automata (rule 18) Class IV- Evolution leads to complex global structures. Class IV automata (rule 20) According to Wolfram, cellular automata
belonging to class IV generate structures that are strongly
reminiscent of the game of life. Yet it is known that this
cellular automaton has the computational universality property.
This means that : "Cellular Automata may be viewed as
computers, in which data represented by initial configurations
is processed by time evolution. Computational universality
implies that suitable initial configurations can specify
arbitrary algorithmic procedures"23.
He then puts forward the hypothesis that class IV characterizes
the automata having universal computation capability. In order to
let this capability emerge, the cells must be able to communicate
and to transmit information. In classes I and II automata cells
are to strongly interdependent to allow a useful information
processing. Class III automata are characterized by a too weak
cells interdependence. Most of automata belong to classes I to
III. They represent 30 over the 32 Wolfram's automata. cellular
automata belonging to class IV are then only to be found in a
minority of cases. The cellular automata that are at the limit
between classes I and II on the one hand, and class III on the
other hand, are the only ones to be capable to deal with
information in a useful way, and therefore are the only
"interesting" ones24. C. Langton was also interested in the
existence of general classification rules of cellular automata but
in a more general way. The difficulty lies into the number of
possible automata. If we consider the only automata with 8 states
and a neighbourhood of 5, there are 8 power 85, i.e. 832768
possible universes. Langton decided to classify the cellular
automata depending on a general parameter . The parameter is, in fact, the
probability, within all possible neighbourhood configurations,
that one given configuration should lead to an "active" cell,
i.e. : 1 - (number of quiescent transitions/ total number of
transitions) . Using this parameter to build transition rules,
Langton managed to classify cellular automata. For a low value,
cells quickly disappear. If the value is raised over about 0.2,
cyclical or persisting structures appear. Over about 0.3, complex
and unpredictable behaviours appear. Finally, over about 0.5, the
multiplication of structures induces a chaotic behaviour. To a
certain extent the parameter indicates the temperature of the
universe of the cellular automata25. The four following figures show examples of one dimension automata with eight states and a neighbourhood of 526. =0.1 =0.25 =0.45 =0.8 We then find again Wolfram's
classification, but in a more general framework. According to
Langton, the automata belonging to class IV, those whose
parameter is roughly to be found between 0.3 and 0.5, are those
whose ability to process information is the most important. "(...)
cellular automata capable of performing non trivial computation
- including universal computation - are most likely to be found
in the vicinity of "phase transitions" between order and chaos
(...)"27. J.C. Heudin28 uses a parameter () that, in two dimensions cellular automata, corresponds to the number of active neighbours necessary for a cell to remain unchanged. In the game of life, this parameter value is 2. He then redefines automata with four rules :
For=1, the probabilities of rules execution are R4>R3>R2>R1. For = 2, we've got a complete inversion with R1>R2>R3>R4. Beyond 2, the order remains identical, but the rules R2, R3 and R4 are very seldom executed. Heudin then shows a fundamental change in the universe of cellular automata for = 2. It is during this deep modification of the automata properties - this phase transition - that complexity appears : "To appear [complex] needs order and a pinch of chaos. This situation occurs only at the interface of both systems, at the border who leads to chaos."29. With the generalization of cellular automata behaviours, diversity of universal structures or the existence of life, tends to show that the laws of our Universe are precisely at the border between order and chaos. This is what Langton means in the expression : "life at the edge of chaos"30. 22- Wolfram S., Universality and complexity in cellular automata, Physica D, 10:1-35, 1984. This text is available at : http://www.stephenwolfram.com/publications/articles/ca/84-universality/index.html 24- Gutowitz H.A., Langton C.G., Methods for designing Cellular Automata with "Interesting" Behavior, 1994. Available at : http://www.santafe.edu/~hag/interesting/interesting.html. 26- Generated with : http://alife.santafe.edu/cgi-bin/caweb/lambda.cgi 27- Michell M., Hraber P.T., Crutchfield J., Revisiting the edge of chaos : Evolving Cellular Automate to perform Computations, Santa Fe Institute, Working Paper 93-03-014, p. 8. This text is available at : http://www.santafe.edu/projects/evca/Papers/rev-edge.html 28- Heudin J.C., L'évolution..., op. cit., p. 90. Translated by me. 30- Langton C.G., Life at the edge of chaos, Artificial Life II, Addison-Wesley, 1991. |
Copyright ©rennard.org. 2000, 2001, 2002.
|