Vous êtes sur la page 1sur 25

1

Automates cellulaires, J.-Ph. Rennard

Jean-Philippe Rennard 12/2000 http://www.rennard.org/alife -- alife@rennard.org

Introduction aux Automates Cellulaires


La littrature sur les automates cellulaires est immense et les ressources Internet qui y sont consacres sont lgions. L'objectif ici est beaucoup plus limit. Ce site se voulant vou aux profanes, je me contenterai dapporter des lments de rponse aux deux questions essentielles que se pose toute personne dcouvrant les automates cellulaires, gnralement aprs une phase d'intense perplexit : - Mais qu'est ce que cela peut bien tre ? - quoi est ce que cela peut bien servir ? La rponse ces questions est malheureusement loin d'tre simple. Les automates cellulaires sont des constructions abstraites aux proprits trs complexes et dont l'abord n'est pas immdiat.

A- Historique
On fait gnralement remonter l'histoire des automates cellulaires aux annes quarante et Stanislas Ulam. Ce mathmaticien s'est intress l'volution de constructions graphiques engendres partir de rgles simples. La base en tait un espace deux dimensions divis en cellules , soit une sorte de feuille quadrille. Chacune des cellules pouvait avoir deux tats : allum ou teint. Partant d'une configuration donne, la gnration suivante tait dtermine en fonction de rgles de voisinage. Par exemple, si une cellule donne tait en contact avec deux cellules allumes elle s'allumait sinon elle s'teignait. Ulam, qui utilisait lun des premiers ordinateurs, a rapidement constat que ce mcanisme permettait de gnrer des figures complexes et esthtiques et que dans certains cas, ces figures pouvaient se rpliquer. Des rgles extrmement simples permettaient de construire des structures trs complexes. partir de l, se posait la question suivante : ces mcanismes rcursifs c'est--dire en l'occurrence dpendant de leur propre tat antrieur peuvent-ils expliquer la complexit du rel ? Cette complexit n'est elle quapparente, les lois fondamentales tant elles-mmes simples 1 ? En parallle, John von Neumann fort des travaux de A. Turing s'intressait la thorie des automates autorplicateurs et travaillait la conception d'une machine autorplicatrice le kinmaton. Une telle machine devait tre capable, partir de matriaux trouvs dans l'environnement, de produire n'importe quelle machine dcrite dans son programme, y compris une copie delle-mme. Von
1. Heudin JC, La Vie Artificielle, Herms, Paris, 1994, pp. 35 et suivantes. Stephen Wolfram a systmatis cette approche dans son dernier livre A New Kind of Science, Wolfram Media, 2002.

Automates cellulaires, J.-Ph. Rennard

Neumann montrait ici comment rsoudre le problme de lautorfrence de la description. Pour sautorpliquer, la machine devrait en effet contenir une description d'elle-mme, mais pour tre complte, cette description doit galement tre dcrite, etc. La solution rside dans la capacit donne la machine d'interprter sa description la fois comme un programme, une squence d'instruction, et comme un composant. La description sera d'abord interprte pour construire la nouvelle machine, elle sera ensuite simplement copie afin de donner la nouvelle machine une description d'elle-mme. Ce mcanisme correspond de fait l'interprtation actuelle du fonctionnement de la molcule d'ADN dcouverte aprs les travaux de von Neumann. A.C. Clarke a rendu les machines de von Neumann clbre avec la srie 2001 Odysse de l'espace. Pour transformer Jupiter en toile, un premier monolithe se reproduit, les descendants font de mme, la population crot ainsi de manire exponentielle pour atteindre rapidement la taille ncessaire la ralisation d'une aussi gigantesque tche. C'est S. Ulam qui a suggr von Neumann d'utiliser ce qu'il appelait les espaces cellulaires (cellular spaces) pour construire sa machine autorplicatrice. Il pouvait ainsi s'affranchir des conditions physiques relles pour travailler dans un univers extrmement simplifi pourtant apte engendrer une haute complexit. Le passage cet univers formel l'a amen constater : En axiomatisant les automates [autorplicateurs] de cette manire, on a jet la moiti du problme par la fentre et cest peut-tre la moiti la plus importante. On sest rsign ne pas expliquer comme ces lments sont constitus de choses relles, particulirement comment ces lments sont constitus de particules lmentaires ou mme de molcules () on considrera simplement que des particules lmentaires dotes de certaines proprits existent. La question laquelle on espre rpondre, ou au moins examiner, est : Quels principes sont mis en uvre dans lorganisation de ces molcules dans les tres vivants fonctionnels () Je discuterai de tout cela seulement de ce point de vue limit 1. Sur cette base, il conut un automate cellulaire de quelques 200.000 cellules 29 tats contenant un copieur universel, une description de lui-mme et une machine de Turing pour la supervision. Les automates cellulaires sont sortis des laboratoires en 1970 avec le dsormais fameux Jeu de la vie (Life Game) de John Horton Conway.

B- Le Jeu de la vie
l'origine, le Jeu de la vie fut prsent comme un jeu mathmatique. Sa description va nous permettre de matrialiser et mieux comprendre ce que sont les automates cellulaires.
1. Von Neumann J. et Burks A. ed., Theory of Self-Reproduction Automata, University of Illinois Press, 1966, p. 77.

Automates cellulaires, J.-Ph. Rennard

l'instar des espaces cellulaires d'Ulam, le Jeu de la vie se prsente sous la forme d'une grille constitue de cellules, par exemple :

Exemple de configuration de dpart L'univers est limit ici un rectangle de 5 par 3. Pour faciliter l'explication, nous avons numrot les cellules de 0 4 en horizontal et de 0 2 en vertical. Les cellules claires sont actives. Dans le Jeu de la vie, est considre comme voisine toute cellule contigu, y compris les diagonales.

Dtermination du voisinage La figure ci-dessus montre le voisinage de la cellule 12. En l'occurrence, sur les huit voisins, deux sont actifs. Les rgles du Jeu de la vie sont simples : - Une cellule inactive entoure de 3 cellules actives devient active ( nat ) ; - Une cellule active entoure de 2 ou 3 cellules actives reste active ; - Dans tous les autres cas, la cellule meurt ou reste inactive. On peut interprter ces rgles en considrant qu'une naissance ncessite un certain rassemblement de population (3 en l'occurrence), que les cellules ne peuvent survivre un trop grand isolement (moins de 2 voisines) et qu'une trop forte concentration (plus de 3 voisines) les touffe.

Automates cellulaires, J.-Ph. Rennard

Les automates cellulaires fonctionnent de manire discrte. C'est--dire que le temps s'coule par -coups. Ceci signifie dans notre cas qu' la gnration t, chaque cellule examine son environnement et dtermine son tat futur. Quand l'ensemble des cellules a t trait, et seulement ce moment l, toutes les cellules passent l'tat calcul. On simule ainsi un traitement parallle. Illustrons ce mcanisme partir de la configuration prcdente :

Valeurs de voisinage Dans le schma prcdent, le nombre de voisins actifs est not pour chaque cellule : - Les cellules inactives 00, 04, 10, 14, 20 et 24 ont une voisine active et restent donc en l'tat. - Les cellules inactives 01, 03, 21 et 23 ont deux voisines, elles ne changent donc pas. - Les deux cellules inactives restantes (02 et 22) ont trois voisines actives, la rgle 1 s'applique : elles naissent. - Les cellules actives 11 et 13 n'ont qu'une voisine active : elles meurent. - Enfin la cellule active 12 ayant deux voisines actives elle reste en vie. la gnration suivante, seules les cellules 02, 12 et 22 seront donc actives.

Seconde gnration

Automates cellulaires, J.-Ph. Rennard

On met ici en vidence les trois proprits fondamentales des automates cellulaires standards 1 : 1. Le paralllisme : Un systme est dit parallle si ses constituants voluent simultanment et de manire indpendante. 2. La proximit (locality) : Le nouvel tat d'une cellule ne dpend que de son tat actuel et de l'tat du voisinage immdiat. 3. L'homognit : Les lois sont universelles, c'est--dire communes l'ensemble de l'espace de l'automate.

C- Les autres types d'Automates Cellulaires


Le Jeu de la vie n'est qu'un type d'automate cellulaire parmi une infinit. Il est en effet possible de jouer sur l'ensemble des rgles qui rgissent l'univers de l'automate cellulaire. Le paramtre le plus vident est le nombre de dimensions. Rien n'oblige en effet considrer des environnements deux dimensions. L'analyse thorique des automates cellulaires s'est essentiellement effectue partir d'automates une dimension. En rduisant le nombre de dimensions, on limite l'explosion combinatoire, donc le nombre d'automates possibles. Si l'on considre le cas simple d'un voisinage de trois cellules, soit la cellule concerne et ses voisines de droite et de gauche, dans un automate une dimension et deux tats, il nexiste que 2 puissance 23 = 256 rgles possibles. La reprsentation des automates une dimension (soit une ligne), utilise la seconde dimension pour reprsenter le temps. chaque gnration, une nouvelle ligne est ajoute au-dessous de la prcdente, on peut visualiser ainsi la dynamique de ce type d'automate.

Exemple d'automate une dimension (Triangle de Pascal) Il est naturellement possible de crer des automates trois dimensions voire plus.
1. Rucker R., Walker J., Introduction to CelLab, http://www.fourmilab.ch/cellab/

Automates cellulaires, J.-Ph. Rennard

Il est galement possible de jouer sur la dtermination du voisinage. Si l'on considre les automates deux dimensions, les voisinages les plus courants sont 1 : - Von Neumann : on considre les seuls voisins Nord/Sud/Est/Ouest. - Moore : on ajoute les diagonales. C'est le cas du Jeu de la vie. - Moore tendu : on tend la distance de voisinage au-del de un. - Margolus : on considre des ensembles de 2x2 ventuellement alterns. C'est ce type de voisinage qui est utilis dans la simulation du comportement des gaz. Par exemple, l'automate de Fredkin qui utilise un voisinage de Moore est bas sur la parit du voisinage. C'est un automate de type sommatif, c'est--dire que l'tat des cellules dpend du nombre de voisins actifs, indpendamment de leur position. En l'occurrence, il n'y a reproduction que si la valeur de voisinage est impaire. Cet automate a la proprit remarquable de reproduire toute configuration de base en neuf exemplaires. La rgle de Fredkin est gnralisable plus de deux dimensions.

Fredkin gnration 0 et Fredkin gnration 8 Il est galement possible de jouer sur le nombre d'tats. Rien n'oblige en effet se cantonner aux deux tats vie/mort. Brians Brain par exemple, prsent par Brian Silverman en 1984 utilise trois tats (vie/fantme/mort) pour engendrer une grande diversit de planeurs complexes au sein de configurations graphiques tonnantes.

1. Shatten A., Cellular Automata, Institute of General Chemistry Vienna University of Technology, Austria, 1997.

Automates cellulaires, J.-Ph. Rennard

Brian's Brain Des rgles plus complexes sont imaginables. On peut par exemple construire des automates stochastiques dont les rgles de transition intgrent une fonction de probabilit. D'une manire gnrale, on peut construire tout type d'automate en jouant sur les rgles structurelles et fonctionnelles. Les premires dfinissent la structure spatiale du rseau d'automates, soit son nombre de dimensions, le mode d'arrangement des cellules (carr, hexagonal... dans un automate deux dimensions) et le mode de dtermination du voisinage. Les secondes dterminent le nombre dtats et les rgles de transition 1. Le choix de ces deux types de rgles permet de construire un univers adapt l'objectif recherch.

D- Les applications pratiques


Les applications pratiques des automates cellulaires sont nombreuses et diverses. Fondamentalement ils constituent des univers dont on fixe les lois. Notre Univers est soumis aux lois de la Physique. Ces lois ne sont que partiellement connues et apparaissent hautement complexes. Dans un automate cellulaire, les lois sont simples et compltement connues. On peut ainsi tester et analyser le comportement global d'un univers simplifi. Voici quelques exemples dapplication : - Simulation du comportement d'un gaz. Un gaz est compos d'un ensemble de molcules dont le comportement est fonction de celui des molcules voisines.

1. Langlois A., Phipps M., Automates cellulaires. Application la simulation urbaine, Herms, 1997, pp. 17 et suivantes.

Automates cellulaires, J.-Ph. Rennard

- tude des matriaux magntiques selon le modle d'Ising : ce modle (1925) reprsente le matriau partir d'un rseau dont chaque noeud est dans un tat magntique donn. Cet tat en l'occurrence l'une des deux orientations du moment magntique dpend de l'tat des noeuds voisins. - Simulation des processus de percolation. - Dans un domaine diffrent, les automates cellulaires peuvent tre utiliss comme alternative aux quations diffrentielles 1. - Conception d'ordinateurs massivement parallles. - Simulation et tude du dveloppement urbain 2. - Simulation des processus de cristallisation. - Simulation de la propagation des feux de fort. Dans un domaine plus quotidien, les automates cellulaires peuvent tre utiliss comme gnrateur graphique 3. Les quelques figures ci-dessous, construites avec Capow 4 montrent certains effets graphiques.

1. Toffoli T., Cellular automata as an alternative to Differential equations, in Modelling Physics, Physica 10D, 1984. 2. Langlois A., Phipps M., idem. 3. Selon Rucker et Walker op. cit., dans quelques annes on ne pourra pas regarder la tlvision une heure sans voir un automate cellulaire sous une forme ou une autre. 4. http://www.cs.sjsu.edu/faculty/rucker/capow/

Automates cellulaires, J.-Ph. Rennard

E-mergences, autorplication et complexit


1- mergences la base du concept dmergence on trouve lide commune selon laquelle : le tout est plus que la somme des parties. La notion dmergence est ainsi lie la non-linarit en ce quun processus mergent ne respecte pas le principe de superposition. On peut appeler mergence les qualits ou proprits dun systme qui prsentent un caractre de nouveaut par rapport aux qualits ou proprits des composants considrs isolment ou agencs diffremment dans un autre type de systme 1. L'association complexe d'lments induit l'apparition de phnomnes, de mcanismes nouveaux. chaque niveau (de l'volution prbiotique, biotique et sociale) mergent des proprits nouvelles qui ne peuvent tre expliques par la somme des proprits de chacune des parties qui constituent le tout. Il y a un saut qualitatif (...) La proprit d'mergence est lie la complexit. L'accroissement de la diversit des lments, l'accroissement du nombre de liaisons entre ces lments et le jeu des interactions non linaires conduisent des comportements difficilement prdictibles 2. Les mergences dites globales caractrisent donc les proprits dun systme qui sont nouvelles par rapport aux proprits de ses composants isols ou organiss de manire diffrente. La vie en fait indniablement partie 3. Les processus mergents sont gnralement fondes sur la multiplication des interactions parallles entre lments indpendants. Les automates cellulaires fonctionnent prcisment selon ce principe. Ils consituent ainsi un outil prcieux danalyse de lmergence. On a examin plus haut le comportement d'une ligne de trois cellules verticales : la premire gnration on obtient trois cellules horizontales et la seconde de nouveau trois cellules verticales, etc. Une ligne de trois cellules vivantes engendre donc un cycle.

1. Morin E.,La Mthode. I-La Nature de la Nature., Points, Seuil, Paris 1977 , p. 106. 2. Rosnay (de) J., Le macroscope. Vers une vision globale. Points, Seuil, Paris, 1975, pp.131-132. 3. Morin E., idem, p. 107.

10

Automates cellulaires, J.-Ph. Rennard

Animation d'un clignotant Cette figure appartient la catgorie des clignotants (blinker) ou oscillateurs. Un oscillateur n'est pas constitu d'un groupe de cellules donnes, c'est une configuration dynamique au sein de l'espace de l'automate cellulaire. Le clignotant semble tre autonome, il est une structure spcifique, particulire au sein de son milieu. D'une manire gnrale, les rgles du Jeu de la vie ont t fixes de faon engendrer une grande diversit de structures imprvisibles. Les spcialistes ont recens toute une faune de configurations aux comportements plus tonnants les uns que les autres. Des bibliothques entires sont disponibles 1. L'une des plus fameuses est le planeur (glider) qui apparat souvent aprs un remplissage alatoire. Une configuration donne de cinq cellules se rplique toutes les quatre gnrations une cellule de distance.

1. voir : http://www.rennard.org/alife/french/liens.html

11

Automates cellulaires, J.-Ph. Rennard

Animation d'un planeur Plus encore que les oscillateurs, les planeurs voquent le phnomne d'mergence. On a l'illusion d'un tre rampant, parcourant l'espace en ligne droite. Un planeur n'est pas un ensemble de cellules. chaque gnration, les cellules qui le composent sont remplaces. De la mme manire que les atomes qui vous constituent ne sont pas ceux dont vous disposiez votre naissance, les composants du planeur sont perptuellement renouvels. L'application des rgles du Jeu de la vie fait ainsi apparatre une structure dynamique, cohrente et autonome, ayant des proprits spcifiques, c'est le caractre mme de l'mergence. Ces proprits en l'occurrence le dplacement peuvent tre utilises des fins spcifiques. Le planeur permet de reprsenter un signal, on en trouve un exemple dans LogiCell 1. On peut galement citer une autre figure remarquable : le canon planeur (glider gun). Il s'agit d'un ensemble de cellules engendrant des planeurs. Il a permis de prouver que la population du Jeu de la vie peut crotre indfiniment. Le classique canon de priode 30 est utilis comme gnrateur dans LogiCell.

1. http://www.rennard.org/alife/french/logicell.html.

12

Automates cellulaires, J.-Ph. Rennard

Le canon planeur 2- Autorplication Avec le kinmaton rencontr plus haut, von Neumann a essay de rendre compte des conditions de lautorplication. Il se posait plus prcisment la question de l'organisation logique d'un automate suffisante pour assurer lautorplication 1. Face l'impossibilit physique de raliser cette machine, on a vu que von Neumann s'est tourn vers les automates cellulaires pour construire son automate autorplicateur. Cet automate tait extrmement complexe car il intgrait un constructeur universel. En 1968, Edgar Codd a propos une version simplifie de l'automate de von Neumann n'utilisant que huit tats, mais l encore, Codd intgrait un constructeur universel. Les choses ont chang dans les annes 1980 avec Christopher Langton. Langton a considr que l'tude des systmes vivants au sein d'un calculateur ncessitait de considrer les seuls lments ncessaires et non les lments suffisants 2. Il a ainsi abandonn l'ide d'universalit du rplicateur. L'ide de base de Langton est qu'il est possible de concevoir un automate cellulaire supportant une structure dont les composants constituent l'information ncessaire sa propre rplication. Cette structure est donc la fois elle-mme et reprsentation d'elle-mme. Lautomate de Langton 3 utilise huit tats et vingt-neuf rgles. La structure qui se rplique est une boucle constitue d'une membrane au sein de laquelle circule l'information ncessaire la rplication.

1. Adami Ch., Introduction to Artificial Life, Springer-Verlag, New-York, 1998, p. 27. 2. Adami Ch., idem, p. 27. 3. Langton C.G., Studying Artificial Life with cellular automata, Physica D 22, 1986.

13

Automates cellulaires, J.-Ph. Rennard

La boucle de Langton Les cellules l'tat 2 forment la membrane, les cellules internes contiennent l'information de rplication. D'une certaine manire, elles sont l'ADN de la boucle. Les squences 7-0 et 4-0 se propagent vers la queue. Quand elles atteignent l'extrmit, les premires prolongent la queue, les secondes construisent un angle droit vers la gauche 1. L'ajout d'une rgle de strilisation qui bloque l'volution au bout d'un certain nombre de gnrations permet la cristallisation des boucles les plus anciennes et amne la construction d'une sorte de corail.

1. Langton C., Artificial Life in The philosophy of Artificial Life, Boden M. A. dir., Oxford readings in Philosophy, Oxford University Press, 1996, pp. 64 et suivantes.

14

Automates cellulaires, J.-Ph. Rennard

Daprs S. Levy, Artificial Life., Penguin, 1992. Les boucles de Langton Les boucles de Langton, comme l'automate de von Neumann montrent que : () l'une des proprits fondamentales des organismes vivants, l'autoreproduction, est explicable en termes d'interactions d'lments simples et qu'elle peut tre tudie dans ses principes logiques indpendamment de sa ralisation physique 1. En aucune manire, les boucles de Langton ne peuvent tre considres comme vivantes , elles ne sont qu'une construction autorplicatrice limite.

1. Heudin JC., La Vie..., idem, p. 54.

15

Automates cellulaires, J.-Ph. Rennard

3- Chaos et complexit Le nombre d'univers possibles est virtuellement infini. Dans ce contexte, Wolfram sest interrog sur lexistence de rgles gnrales de comportement des automates cellulaires 1. S.Wolfram s'est intress aux automates une dimension, deux tats avec un voisinage de deux. Il considre que ne sont lgaux que les automates qui d'une part liminent toute cellule dont le voisinage est vide, et d'autre part sont symtriques. Il n'existe alors que 32 automates lgaux dont l'auteur a ralis une tude systmatique. Cette tude a montr que, selon l'auteur, de nombreux automates cellulaires (peut-tre tous) s'intgrent dans quatre classes principales : 1. Classe I- L'volution conduit des configurations homognes.

Un automate de classe I (rgle 36) 2. Classe II- L'volution conduit des structures simples ou priodiques.

1. Wolfram S., Universality and complexity in cellular automata, Physica D, 10:1-35, 1984. Ce texte est disponible : http://www.stephenwolfram.com/publications/articles/ca/84-universality/ index.html

16

Automates cellulaires, J.-Ph. Rennard

Un automate de classe II (rgle 40) 3. Classe III- L'volution conduit des configurations chaotiques.

Un automate de classe III (rgle 18) Ces trois classes peuvent tre lies des comportements physiques connus que lauteur prsente en termes dattracteurs dans lespace des phases. Un tel espace est utilis pour reprsenter la dynamique dun systme. Chacun des points dune reprsentation graphique figure les tats du systme en fonction du temps. Par exemple, le mouvement dun pendule sans frottement sera reprsent par un cer-

17

Automates cellulaires, J.-Ph. Rennard

cle dcrivant son caractre cyclique. Si lon considre un pendule rel (cest--dire soumis aux frottements) la trajectoire sera une spirale rejoignant progressivement le centre de la figure, soit le point reprsentant la position darrt. Ce point, comme le cercle, est un attracteur, il correspond la trajectoire du systme stabilis. On connat depuis longtemps lattracteur fixe o la stabilisation correspond larrt, ainsi que lattracteur cyclique. Dans ce dernier cas, le systme rpte en permanence le mme mouvement (votre cur tant que vous tes en vie par exemple), on obtient alors une figure plus ou moins circulaire, mais dans tout les cas bouclant sur elle-mme. Plus rcemment, en 1963, une nouvelle forme dattracteur t dcouverte : lattracteur de LORENZ 1 gnralis sous la forme des attracteurs tranges. Ce type de reprsentation dans lespace des phases correspond aux systmes chaotiques. La complexit des figures engendres y voque clairement la sensibilit aux conditions initiales.

1. Edward N. LORENZ tait un mtorologiste amricain. Il a montr en 1963 que le comportement de latmosphre est extrmement sensible aux conditions initiales (le clbre effet papillon) et en consquence, que la prvision du temps long terme est impossible. Ces travaux avec notamment la prsentation de lattracteur de LORENZ, sont lorigine du dveloppement moderne de la thorie du chaos.

18

Automates cellulaires, J.-Ph. Rennard

Attracteurs Dans le cas de la classe IV, le parallle avec des mcanismes connus est beaucoup moins vident. Les automates de cette classe voluent vers des configurations globales complexes.

19

Automates cellulaires, J.-Ph. Rennard

Un automate de classe IV (rgle 20) Pour Wolfram, Les automates cellulaires peuvent tre vus comme des ordinateurs dans lesquels les donnes sont reprsentes par les configurations initiales, et traites travers l'volution temporelle. Le calcul universel [dans le sens de la machine universelle de Turing] implique que des configurations initiales adquates peuvent grer des procdures algorithmiques arbitraire 1. Wolfram constate que les automates cellulaires de classe IV engendrent des structures qui rappellent fortement le Jeu de la vie. Or on sait, parce que cela a t ralis, que ce dernier permet de construire une machine universelle de Turing. partir de l, il pose l'hypothse selon laquelle cette classe caractrise les automates ayant des capacits de Calcul Universel. Pour que cette capacit merge, les cellules doivent pouvoir communiquer entre elles et transmettre l'information. Dans les automates de classe I et II, l'interdpendance des cellules est trop forte pour qu'un traitement utile puisse avoir lieu. Les automates de classe III quant eux se caractrisent par une interdpendance trop faible. Les classes I III sont les plus frquentes. Elles reprsentent 30 des 32 automates de Wolfram. Ce n'est donc que dans une minorit de cas 2 sur 32 en l'occurrence que l'on trouve des automates cellulaires de classe IV. Ces automates cellulaires qui sont la limite entre les classes I et II d'une part et III d'autre part, sont seuls aptes un traitement ventuel de l'information et sont donc les seuls intressants 2. C. Langton s'est intress lui aussi l'existence de rgles gnrales de classification des automates cellulaires. Le problme rside dans le nombre d'automates
1. Wolfram S., 1984, Idem. 2. Gutowitz H.A., Langton C.G., Methods for designing Cellular Automata with "Interesting" Behavior, 1994. Disponible : http://www.santafe.edu/~hag/interesting/interesting.html.

20

Automates cellulaires, J.-Ph. Rennard

cellulaires possibles. Si l'on considre les seuls automates une dimension, 8 tats et un voisinage de 5, il existe 8 puissance 85, soit 832768 (prs de 1030000) univers possibles. Langton a dcid de caractriser les automates cellulaires en fonction d'un paramtre gnral, le paramtre . est en fait la probabilit au sein de toutes les configurations de voisinages possibles, qu'une configuration donne entrane la vie de la cellule, soit : 1-(nombre de transitions mortelles /nombre total de transitions). En construisant des rgles de transitions partir de ce paramtre, Langton a pu proposer une classification des automates cellulaires. Pour une valeur faible, les cellules disparaissent rapidement. Si on lve la valeur grossirement au-dessus de 0,2 on constate l'apparition de structures cycliques ou persistantes. Au dessus de 0,3 des comportements complexes et imprvisibles apparaissent. Enfin, au dessus de 0,5 la multiplication de structures induit un comportement chaotique. D'une certaine manire, le paramtre indique la temprature de lunivers de lautomate cellulaire 1. Les quatre figures suivantes montrent des exemples d'automates une dimension huit tats avec un voisinage de cinq 2.

= 0.1

1. Adami, idem, pp. 38 et suivantes. 2. Construit avec CAV 2.0 : http://www.rennard.org/alife

21

Automates cellulaires, J.-Ph. Rennard

= 0.25

= 0.45

22

Automates cellulaires, J.-Ph. Rennard

= 0.8

On retrouve donc bien chez Langton, mais dans un cadre plus gnral, la classification de Wolfram. D'aprs Langton, les automates de classe IV, ceux dont le paramtre se situe entre environ 0.3 et 0.5, sont ceux dont la capacit de transmission de l'information est la plus importante : () les automates cellulaires capables de raliser des calculs non triviaux y compris la capacit de Calcul Universel ont plus de chance de se trouver au voisinage de la transition de phase entre lordre et le chaos () 1. On aurait ainsi la progression suivante dans lespace des phases : homogne -> cyclique -> complexe -> chaotique. J.-C. Heudin 2 utilise un paramtre ( ) qui, dans des automates cellulaires deux dimensions, correspond au nombre de cellules ncessaires pour qu'une cellule reste inchange. Si l'on prend le cas de Conway, ce paramtre vaut 2. Il redfinit les automates partir de quatre rgles soit : R1 : le voisinage est infrieur : la cellule meurt. R2 : une cellule entoure de cellules vivantes conserve son tat. R3 : une cellule ayant +1 voisines vivantes devient vivante. R4 : une cellule entoure de plus de +1 voisines meurt. Pour = 1, les probabilits d'excution des rgles sont : R4>R3>R2>R1. Pour = 2, les probabilits s'inversent. On obtient : R1>R2>R3>R4. Au del de 2, l'ordre reste identique mais les rgles R2 R4 ne s'excutent que marginalement.
1. 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. Ce texte est disponible : http://www.santafe.edu/projects/evca/Papers/rev-edge.html. 2. Heudin J.C., L'volution..., op. cit., pp. 90 et suivantes.

23

Automates cellulaires, J.-Ph. Rennard

Heudin montre ainsi un changement fondamental dans l'univers des automates cellulaires pour = 2. C'est au cours de cette modification profonde des proprits de l'automate de cette transition de phase que se manifeste la complexit : Pour apparatre [le complexe a] besoin d'ordre et d'une pince de chaos. Cette situation n'est possible qu' l'interface des deux rgimes, la frontire qui mne au chaos 1. La gnralisation des enseignements des automates cellulaires, la diversit des structures universelles ou l'existence de la vie, amnent ainsi penser que, parmi l'infinit d'univers possibles, les lois de notre Univers sont prcisment la frontire entre l'ordre et le chaos. C'est lessence de lapproche de Langton dans son expression : La vie au bord du chaos 2.

Conclusion
Les automates cellulaires sont des structures abstraites qui permettent d'tudier des univers virtuels dont on matrise l'ensemble des lois. Ils contribuent la connaissance de notre propre Univers : Ainsi, les systmes physiques et biologiques complexes peuvent-ils reposer sur les mmes classes universelles que les modles mathmatiques idaux fournis par les automates cellulaires. La connaissance du comportement des automates cellulaires peut amener des rsultats plus gnraux concernant le comportement des systmes naturels complexes 3. La capacit de certains automates cellulaires supporter des machines de Turing, soit leur capacit construire des structures arbitrairement complexes n'est pas suffisante pour conclure la possibilit d'apparition de structures vivantes au sein de ces univers. De mme, la gnralisation de certains des comportements des automates cellulaires notre Univers peut s'avrer htive. Toutefois, et en guise de conclusion, je laisse votre rflexion les deux images suivantes.

1. Heudin J.C, idem, p. 98. 2. Langton C.G., Life at the edge of chaos, Artificial Life II, Addison-Wesley, 1991. 3. Wolfram S., 1984, idem.

24

Automates cellulaires, J.-Ph. Rennard

Daprs S. Levy, Artificial Life, Penguin, 1992. Le flocon de neige de Norman Packard

Langton ed., Artificial Life an overview, MIT press, 1997. La texture d'un vrai coquillage et son quivalent gnr par un automate cellulaire

Rfrences
Adami Ch., Introduction to Artificial Life, Springer-Verlag, New-York, 1998. Bertalanffy (von) L., Thorie gnrale des systmes. Dunod, Paris, 1973.

25

Automates cellulaires, J.-Ph. Rennard

Gutowitz H.A., Langton C.G., Methods for designing Cellular Automata with "Interesting" Behavior, 1994. Heudin JC, La Vie Artificielle, Herms, Paris, 1994. Heudin JC, L'volution au bord du chaos, Herms, Paris, 1998. Langlois A., Phipps M., Automates cellulaires. Application la simulation urbaine. Herms, Paris, 1997. Langton C.G., Studying Artificial Life with cellular automata, Physica D 22, 1986. Langton C.G., Life at the edge of chaos, Artificial Life II, Addison-Wesley, 1991. Langton C., Artificial Life in The philosophy of Artificial Life, Boden M. A. dir., Oxford readings in Philosophy, Oxford University Press, 1996. Langton ed., Artificial Life an overview, MIT press, 1997. Levy S., Artificial Life. The quest for a new creation, Penguin, 1992. Michell M., Hraber P.T., Crutchfield J., Revisiting the edge of chaos : Evolving Cellular Automate to perform Computations, Santa Fe Institute, Working Paper 93-03014. Morin E., La Mthode. I-La Nature de la Nature., Points, Seuil, Paris 1977. Rennard J.-Ph., Vie artificielle. O la biologie rencontre linformatique, Vuibert, 2002. Rosnay (de) J., Le macroscope. Vers une vision globale. Points, Seuil, Paris, 1975. Rucker R., Walker J., Introduction to CelLab. Ce texte est disponible : http://www.fourmilab.ch/cellab/ Shatten A., Cellular Automata, Institute of General Chemistry Vienna University of Technology, Austria, 1997. Toffoli T., Cellular automata as an alternative to Differential equations, in Modelling Physics, Physica 10D, 1984. Von Neumann J. et Burks A. ed., Theory of Self-Reproduction Automata, University of Illinois Press, 1966. Wolfram S., Universality and complexity in cellular automata, Physica D, 10:1-35, 1984. Wolfram S., A New Kind of Science, Wolfram Media, 2002. Jean-Philippe Rennard 12/2000 http://www.rennard.org/alife -- alife@rennard.org Copyright : Ce texte est mis la disposition du public seule fin pdagogique. Il est libre pour tout usage personnel. En cas d'usage public non commercial, je vous demande d'en citer l'origine et l'auteur. Tout usage commercial est formellement interdit hors accord crit de ma part.

Vous aimerez peut-être aussi

  • 326 31
    326 31
    Document2 pages
    326 31
    Ilias Benyekhlef
    Pas encore d'évaluation
  • Eqdiff Cours2
    Eqdiff Cours2
    Document3 pages
    Eqdiff Cours2
    Ilias Benyekhlef
    Pas encore d'évaluation
  • Divinematrice
    Divinematrice
    Document64 pages
    Divinematrice
    Lolo Batt
    100% (1)
  • Cours Lassagne 1
    Cours Lassagne 1
    Document187 pages
    Cours Lassagne 1
    pagniezpriscilla
    Pas encore d'évaluation
  • Font Romeu
    Font Romeu
    Document21 pages
    Font Romeu
    Ilias Benyekhlef
    Pas encore d'évaluation
  • Chain e Markov
    Chain e Markov
    Document32 pages
    Chain e Markov
    Ilias Benyekhlef
    Pas encore d'évaluation
  • Guide Evaluation
    Guide Evaluation
    Document30 pages
    Guide Evaluation
    Ilias Benyekhlef
    Pas encore d'évaluation
  • Tel 00009238
    Tel 00009238
    Document165 pages
    Tel 00009238
    Ilias Benyekhlef
    Pas encore d'évaluation
  • Tel 00009238
    Tel 00009238
    Document165 pages
    Tel 00009238
    Ilias Benyekhlef
    Pas encore d'évaluation
  • Tangente MPS
    Tangente MPS
    Document21 pages
    Tangente MPS
    Ilias Benyekhlef
    Pas encore d'évaluation
  • Chap2 Tariant
    Chap2 Tariant
    Document8 pages
    Chap2 Tariant
    Ilias Benyekhlef
    Pas encore d'évaluation
  • 2010 Memoire M2 Logistique - GOGUELIN Lucie 01
    2010 Memoire M2 Logistique - GOGUELIN Lucie 01
    Document95 pages
    2010 Memoire M2 Logistique - GOGUELIN Lucie 01
    Ilias Benyekhlef
    Pas encore d'évaluation
  • Chap2 APCE
    Chap2 APCE
    Document13 pages
    Chap2 APCE
    Ilias Benyekhlef
    Pas encore d'évaluation
  • CCP Informatique Oct2011
    CCP Informatique Oct2011
    Document6 pages
    CCP Informatique Oct2011
    Ilias Benyekhlef
    Pas encore d'évaluation
  • Chap2 APCE
    Chap2 APCE
    Document116 pages
    Chap2 APCE
    Ilias Benyekhlef
    Pas encore d'évaluation
  • Chap2 Para3 Denos
    Chap2 Para3 Denos
    Document23 pages
    Chap2 Para3 Denos
    Ilias Benyekhlef
    Pas encore d'évaluation
  • Brochure Strategie Prospect Ion
    Brochure Strategie Prospect Ion
    Document21 pages
    Brochure Strategie Prospect Ion
    Ilias Benyekhlef
    Pas encore d'évaluation
  • These
    These
    Document185 pages
    These
    Ilias Benyekhlef
    Pas encore d'évaluation
  • MOAD
    MOAD
    Document15 pages
    MOAD
    Banque Banquier
    Pas encore d'évaluation
  • Chap1 Para6 Denos
    Chap1 Para6 Denos
    Document10 pages
    Chap1 Para6 Denos
    Ilias Benyekhlef
    Pas encore d'évaluation
  • Chap1 Para3 Denos
    Chap1 Para3 Denos
    Document33 pages
    Chap1 Para3 Denos
    Ilias Benyekhlef
    Pas encore d'évaluation
  • Baubeau Pereira
    Baubeau Pereira
    Document16 pages
    Baubeau Pereira
    Ilias Benyekhlef
    100% (1)
  • Cah 20 Kebabdjian
    Cah 20 Kebabdjian
    Document10 pages
    Cah 20 Kebabdjian
    Ilias Benyekhlef
    Pas encore d'évaluation
  • Bibliographie
    Bibliographie
    Document8 pages
    Bibliographie
    Ilias Benyekhlef
    Pas encore d'évaluation
  • Bates On 1
    Bates On 1
    Document1 page
    Bates On 1
    Ilias Benyekhlef
    Pas encore d'évaluation
  • Bilansocial
    Bilansocial
    Document14 pages
    Bilansocial
    Youssef Jouira
    Pas encore d'évaluation
  • Asservissement Non Lineaire 2
    Asservissement Non Lineaire 2
    Document87 pages
    Asservissement Non Lineaire 2
    Nouha Kh
    50% (2)
  • Art 15-1-5 Guzelian
    Art 15-1-5 Guzelian
    Document8 pages
    Art 15-1-5 Guzelian
    Ilias Benyekhlef
    Pas encore d'évaluation
  • ALES Formation 2012
    ALES Formation 2012
    Document8 pages
    ALES Formation 2012
    Ilias Benyekhlef
    Pas encore d'évaluation
  • A Me 6043 Syllabus
    A Me 6043 Syllabus
    Document8 pages
    A Me 6043 Syllabus
    Ilias Benyekhlef
    Pas encore d'évaluation