Vous êtes sur la page 1sur 8

1.

Resumen

En esta investigacin se aborda el tema de los autmatas celulares, su


definicin, clasificacin, historia, caractersticas y aplicaciones en diversas
reas de estudio.

Se pretende reforzar los conocimientos adquiridos en la clase de


Inteligencia Artificial, as como aportar nuevas definiciones y conceptos, con
la intencin de estimular la investigacin en esta rea de la Ingeniera en
Sistemas.

2. Introduccin

En general, los modelos matemticos se han utilizado como herramientas


que permiten representar los fenmenos que nos rodean y, a travs de
ellos, buscar respuesta a dichos fenmenos.

De esta forma, podemos sealar el gran avance adquirido en el estudio de


los sistemas dinmicos, destacando el de los autmatas celulares.

Antes de presentar la definicin de autmata celular, creo que es


conveniente abordar, de manera general, las definiciones de modelo
matemtico y sistema dinmico, respectivamente.

a. Modelo matemtico

Con frecuencia la palabra modelo tiene distintas interpretaciones, en esta


investigacin la aplicaremos en el sentido dado por el profesor Sixto Ros:
un modelo es un objeto, concepto o conjunto de relaciones, que se utiliza
para representar y estudiar de forma simple y comprensible una porcin de
la realidad emprica.

Partiendo de esta interpretacin de la palabra modelo, podemos definir lo


que es un modelo matemtico: un modelo matemtico es una descripcin,
en lenguaje matemtico, de un objeto que existe en un universo no-
matemtico.

b. Sistema dinmico

Los sistemas dinmicos son sistemas cuyos parmetros internos (variables


de estado) siguen una serie de reglas temporales. Se llaman sistemas
porque estn descritos por un conjunto de ecuaciones (sistema) y
dinmicos porque sus parmetros varan con respecto a alguna variable
que generalmente es el tiempo.

1
3. Autmata celular

a. Definicin

Un autmata celular es un modelo matemtico para un sistema dinmico,


compuesto por un conjunto de clulas que toman determinados valores.
Estos valores evolucionan en pasos discretos segn una determinada
expresin matemtica, que es sensible a los estados de las clulas vecinas.
Es adecuado para modelar sistemas naturales o artificiales que puedan ser
descritos como una coleccin de objetos simples que interactan
localmente unos con otros.

El aspecto que ms caracteriza a los autmatas celulares es su capacidad


de lograr una serie de propiedades que surgen de la propia dinmica local a
travs del paso del tiempo y no desde un inicio, aplicndose a todo el
sistema en general.

Elementos de un autmata celular

La definicin de un AC requiere mencionar sus elementos bsicos:

Arreglo Regular: Ya sea un plano de 2 dimensiones o un espacio


n-dimensional, este es el espacio de evoluciones, y cada divisin
homognea del arreglo es llamada clula.
Conjunto de Estados: Es finito y cada elemento o clula del
arreglo toma un valor de este conjunto de estados. Tambin se
denomina alfabeto. Puede ser expresado en valores o colores.
Configuracin Inicial: Consiste en asignar un estado a cada una
de las clulas del espacio de evolucin inicial del sistema.
Vecindades: Define el conjunto contiguo de clulas y posicin
relativa respecto a cada una de ellas. A cada vecindad diferente
corresponde un elemento del conjunto de estados.
Funcin Local: Es la regla de evolucin que determina el
comportamiento del autmata celular. Se conforma de una clula
central y sus vecindades. Define como debe cambiar de estado
cada clula dependiendo de los estados anteriores de sus
vecindades.

2
Caractersticas de un autmata celular
Las clulas viven en una rejilla.
Cada celda tiene un estado. El nmero de posibilidades de estado
es tpicamente finito.
Cada celda tiene un vecino, tpicamente es una lista de clulas
adyacentes.

b. Historia de los autmatas celulares.

Pese a que los Autmatas Celulares han sido reinventados muchas veces,
el concepto data de 1940. Su gnesis es atribuida a Stanislaw Ulam y John
von Neumann, dos expertos en fsica computacional con una fuerte relacin
de amistad tras las colaboraciones que realizaron durante el desarrollo del
proyecto Manhattan.

Von Neumann comenz estudiando el desarrollo de autmatas auto-


reproductivos basndose en ecuaciones diferenciales parciales, pero
desech este mtodo porque no fue capaz de encontrar reglas explcitas y
claras para poder llevar a la prctica estos autmatas. Sin embargo, Arthur
W. Burks2 confirma que Stanislaw Ulam sugiri a John Von Neumann el
uso de componentes celulares para desarrollar sus autmatas auto-
reproductivos, lo cual llev a una solucin del problema de Von Neumann.
El estudio no fue concluido, debido a la prematura muerte del cientfico en
1957.

Aunque la idea fue concebida, como decimos, a partir del ao 1947, no


sera hasta el ao 1966 cuando se publicar en "Theory of Self-reproducing
Automata, libro de Von Neumann a ttulo pstumo, completado y
estructurado por el citado Arthur W. Burks. La intencin de Von Neumann
era principalmente desarrollar una mquina que pudiera construir a partir de
s misma otras mquinas y soportar comportamiento complejo. Finalmente,

3
implement la teora de autmatas celulares en un vector de dos
dimensiones en un dominio de enteros ( x ).

Existe un autmata celular que se hizo famoso en la dcada de los setenta


del siglo pasado; se trata del denominado Juego de la Vida (ver inciso).

Es importante mencionar que en la dcada de los ochenta del siglo XX, se


destaca el trabajo de Stephen Wolfram sobre la Teora Computacional de
los Autmatas Celulares. Haciendo uso de las ideas del primer ejemplo de
von Neumann, Wolfram introduce variaciones sobre el reticulado
unidimensional Z. Cada punto, o clula, admitiendo dos valores: 0 y 1. La
evolucin del estado de cada clula regido por una regla que dependa de
los estados de la propia clula y sus dos vecinas contiguas.

c. Clasificacin de los autmatas celulares.

Wolfram define cuatro clases de autmatas celulares. La clasificacin de


Wolfram fue el primer intento de clasificacin global. En orden de
complejidad las clases que identifica son:

Clase I: Casi todos los patrones iniciales evolucionan rpidamente en un


estado estable y homogneo. Cualquier aleatoriedad en el patrn inicial
desaparece.

Clase II: Casi todos los patrones iniciales evolucionan rpidamente


hacia estructuras estables u oscilantes. Parte de la aleatoriedad del
patrn inicial puede permanecer, pero solo algunos restos. Los cambios
locales en el patrn inicial tienden a permanecer locales.

Clase III: Casi todos los patrones iniciales evolucionan de forma pseudo-
aleatoria o catica. Las estructuras estables que aparecen son
destruidas rpidamente por el ruido circundante. Los cambios locales en
el patrn inicial tienden a propagarse indefinidamente.

Clase IV: Casi todos los patrones iniciales evolucionan en las


estructuras que interactan de manera compleja e interesante, con la
formacin de las estructuras locales que son capaces de sobrevivir por
largos perodos de tiempo.

4
d. Ejemplo de un autmata celular: El juego de la vida

El juego de la vida es un "autmata celular" propuesto por el matemtico


John H. Conway en 1970. Consiste en una malla cuadriculada, donde cada
celda puede tomar uno de dos valores: "viva" o "muerta". Cada estado se
puede representar con colores o con nmeros, por ejemplo 1 = viva y 0 =
muerta.

Las reglas del Juego de la Vida son las siguientes. Para cada celda:

1. Se cuentan cuntas clulas vivas hay en los ocho vecinos cercanos


(cero si no hay vecinos, ocho si toda la vecindad est ocupada).

2. Si la celda est viva, permanece viva slo si tiene dos o tres vecinos (si
hay uno o ninguno, se muere; si hay cuatro o ms, tambin muere).

3. Si la celda est muerta y tiene exactamente tres vecinos, nace una


clula nueva (si hay otro nmero de vecinos, permanece muerta).

e. Aplicaciones de los autmatas celulares.

Los autmatas celulares han sido utilizados con xito en distintas


disciplinas.

Una de las aplicaciones ms interesantes hoy en da, es en las Ciencias de


la Computacin, donde los autmatas celulares han permitido a los
investigadores construir modelos con los que estudiar fcilmente el
procesamiento de informacin en paralelo as como el diseo de

5
computadoras cuya arquitectura sea basada en principios y materiales
biolgicos.

En realidad, podemos generalizar las aplicaciones de los autmatas


celulares en tres ideas fundamentales:

Simulacin de sistemas naturales: podemos nombrar reas de la


psicologa (estudio de comportamiento de masas), medicina
(patrones de pigmentacin de la piel), ingeniera (mecnica de
fluidos), qumica (modelos de reacciones qumicas) o geologa y
ciencias de materiales (estudio de crecimiento de cristales)
Estudios tericos: se extienden desde el estudio de los sistemas
caticos a la computacin en paralelo, la computacin universal o el
estudio de patrones fractales.
Realizacin de tareas especficas: se pueden extender desde
finalidades artsticas a procesamiento de imgenes y encriptacin de
datos

Ahora se mostraran algunos ejemplos de cmo funciona un autmata


celular en diversas reas.

Bioinformtica

La bioinformtica consiste en analizar, comprender y predecir procesos


biolgicos con la ayuda de herramientas computacionales. Puede ser vista
como la disciplina que une dos ciencias: Biologa y Computacin.

Dependiendo de la naturaleza compleja del sistema y de la posibilidad de


identificar estados locales y reglas generales de evolucin, se podran
simular los fenmenos naturales por medio de un autmata celular, y por lo
menos se requiere conocer su comportamiento global. Ejemplos de esto
pueden ser: propagacin de virus, epidemias y bacterias, comportamiento
de glbulos en el cuerpo, contaminacin, evolucin galctica, ecosistemas,
gentica, etc.

Arquitectura

La conexin que se hace con la arquitectura, es la capacidad de los AC de


generar patrones o modelos y, de una forma organizada, estos modelos nos
pueden sugerir formas arquitectnicas.

El cerebro y los autmatas celulares

Un buen punto de inicio es el autmata celular construido por Von Neumann,


capaz de auto-reproducirse, demostrando que con un grupo pequeo de reglas
se pueden lograr estructuras muy complejas. Esto muestra un poco la idea de
cmo un rgano como el cerebro puede desarrollarse a partir de poca

6
informacin gentica. Tambin con las observaciones que se han hecho sobre
la corteza cerebral, se nota que est compuesta de una red de neuronas que
interactan a travs de impulsos elctricos, similar al comportamiento de un
autmata celular, que resulta de un arreglo simple de elementos.

Autmatas Celulares en el Control de Incendios Forestales

Primero se define un autmata celular bidimensional con reglas especficas de


propagacin del fuego segn la velocidad y direccin del viento, determinando
esto tambin las vecindades de cada clula en la simulacin. Es deseable que
se incluya la densidad del bosque o conjunto de arboles como un parmetro
ms en la concepcin del modelo. Es posible incluir caractersticas propias de
cada rbol, planta o elemento del bosque, proporcionando atributos particulares
a cada clula o sub-conjunto de clulas del autmata celular. Esta posibilidad
de crecimiento y precisin compleja del modelo son una ventaja adicional en el
empleo del mismo.

7
4. Bibliografa

http://digital.csic.es/bitstream/10261/21270/1/ACgenbits.pdf

http://matema.ujaen.es/jnavas/web_modelos/pdf_mmb08_09/introduccion.pdf

http://catarina.udlap.mx/u_dl_a/tales/documentos/lem/loaiza_r_m/capitulo3.pdf

https://www.uoc.edu/in3/emath/docs/Modelos_matematicos.pdf

http://www.fisem.org/www/union/revistas/2016/46/01_13-307-1-ED.pdf --
Conclusiones

http://www.investigacionyciencia.es/blogs/fisica-y-quimica/34/posts/el-juego-de-
la-vida-11499

http://mathworld.wolfram.com/CellularAutomaton.html

http://www.cs.us.es/~fsancho/?e=66

http://uncomp.uwe.ac.uk/genaro/Papers/Veranos_McIntosh_files/SD.pdf

http://www.enelnombredetux.com/project.php?project=autcel --aplicaciones

http://www.emis.de/journals/BAMV/conten/vol10/neptali.pdf --aplicaciones

http://uncomp.uwe.ac.uk/genaro/Papers/Veranos_McIntosh_files/Articulo%20V
erano%20De%20Investigacion%202011.pdf --aplicaciones

http://natureofcode.com/book/chapter-7-cellular-automata/

http://mypages.iit.edu/~krawczyk/rjkga02.pdf