Fonte: http://www.santafe.edu/projects/evca/ Introduction
Given a computational task such as density classification, we can now use a GA to try to evolve CAs that are capable of performing this task. We use one-dimensional CAs with two states (white and black), where the local neighborhood of a cell consists of the cell itself and the three neighboring cells on either side, i.e., a local neighborhood of seven cells. This gives rise to a lookup table with 27=128 entries. Since each of these entries can have either a 0 or a 1 for the cell's next state, there are 2128 possible CA lookup tables. This is the size of the space that the GA will be searching through.
The GA maintains a population of 100 individuals (representing CA lookup tables). The initial population is created at random. The fitness of an individual (CA) is determined as follows. Each CA in the population is given a random set of 100 initial configurations (ICs). The fraction of these ICs on which it gives the correct answer is its fitness. So, if the CA settles down to the correct answer state (all-white for a majority of white cells in the IC or all-black for a majority of black cells in the IC) on 75 of the ICs, its fitness is 0.75. The GA is run for a total of 100 generations.
Title: Evolving Cellular Automata to Perform Computations: Mechanisms and Impediments
Authors: Melanie Mitchell, James P. Crutchfield, and Peter T. Hraber
Reference: Physica D, 75:361-391, 1994.
SFI working paper: 93-11-071
LANL archive:
Abstract: We present results from experiments in which a genetic algorithm was used to evolve cellular automata (CAs) to perform a particular computational task---one-dimensional density classification. We look in detail at the evolutionary mechanisms producing the GA's behavior on this task and the impediments faced by the GA. In particular, we identify four ``epochs of innovation'' in which new CA strategies for solving the problem are discovered by the GA, describe how these strategies are implemented in CA rule tables, and identify the GA mechanisms underlying their discovery. The epochs are characterized by a breaking of the task's symmetries on the part of the GA. The symmetry breaking results in a short-term fitness gain but ultimately prevents the discovery of the most highly fit strategies. We discuss the extent to which symmetry breaking and other impediments are general phenomena in any GA earch.
Title: Genetic Algorithm Discovers Particle-Based Computation in Cellular Automata
Authors: Rajarshi Das, Melanie Mitchell, and James P. Crutchfield
Reference: In Y. Davidor, H.-P. Schwefel, and R. Männer (eds.), Parallel Problem Solving from Nature-III, 344-353, Springer-Verlag, 1994.
SFI working paper: 94-03-015
LANL archive:
Abstract: How does evolution produce sophisticated emergent computation in systems composed of simple components limited to local interactions? To model such a process, we used a genetic algorithm (GA) to evolve cellular automata to perform a computational task requiring globally-coordinated information processing. On most runs a class of relatively unsophisticated strategies was evolved, but on a subset of runs a number of quite sophisticated strategies was discovered. We analyze the emergent logic underlying these strategies in terms of information processing performed by ``particles'' in space-time, and we describe in detail the generational progression of the GA evolution of these strategies. Our analysis is a preliminary step in understanding the general mechanisms by which sophisticated emergent computational capabilities can be automatically produced in decentralized multiprocessor systems.
Authors: Rajarshi Das, James P. Crutchfield, Melanie Mitchell, and James E. Hanson
Reference: In L. J. Eshelman (ed.), Proceedings of the Sixth International Conference on Genetic Algorithms, 336-343, Morgan Kaufmann, 1995.
SFI working paper: 95-01-005
LANL archive:
Abstract: How does an evolutionary process interact with a decentralized, distributed system in order to produce globally coordinated behavior? Using a genetic algorithm (GA) to evolve cellular automata (CAs), we show that the evolution of spontaneous synchronization, one type of emergent coordination, takes advantage of the underlying medium's potential to form embedded particles. The particles, typically phase defects between synchronous regions, are designed by the evolutionary process to resolve frustrations in the global phase. We describe in detail one typical solution discovered by the GA, delineating the discovered synchronization algorithm in terms of embedded particles and their interactions. We also use the particle-level description to analyze the evolutionary sequence by which this solution was discovered. Our results have implications both for understanding emergent collective behavior in natural systems and for the automatic programming of decentralized spatially extended multiprocessor systems.
Authors: Melanie Mitchell, James P. Crutchfield, and Rajarshi Das
Reference: In T. Bäck, D. Fogel, and Z. Michalewicz, Handbook of Evolutionary Computation, Oxford University Press.
SFI working paper:
LANL archive:
Abstract: We describe an application of genetic algorithms (GAs) to the design of cellular automata (CAs) that can perform computations requiring global coordination. A GA was used to evolve CAs for two computational tasks: density classification and synchronization. In both cases, the GA discovered rules that gave rise to sophisticated emergent computational strategies. These strategies can be analyzed using a ``computational mechanics'' framework in which ``particles'' carry information and interaction between particles effects information processing. This framework can also be used to explain the process by which the strategies are designed by the GA. This work is a first step in employing GAs to engineer useful emergent computation in decentralized multi-processor systems.
Share with your friends: |