La Matem tica en la Bioinform tica y los Aut matas Celulares

69
Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones La Matemática en la Bioinformática y los Autómatas Celulares Rosaura Palma-Orozco Departmento de Posgrado, ESCOM Departamento de Computación, CINVESTAV [email protected] CUDI, Agosto 2008

Transcript of La Matem tica en la Bioinform tica y los Aut matas Celulares

Page 1: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

La Matemática en la Bioinformática y losAutómatas Celulares

Rosaura Palma-Orozco

Departmento de Posgrado, ESCOMDepartamento de Computación, CINVESTAV

[email protected]

CUDI, Agosto 2008

Page 2: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Contenido

MotivaciónIntroducciónMatemática y Biología

Autómatas Celulares y BiologíaAutómatas celularesEstructura de un Autómata Celular

Ejemplos y AplicacionesAC implementados en Mathematica

Page 3: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Contenido

MotivaciónIntroducciónMatemática y Biología

Autómatas Celulares y BiologíaAutómatas celularesEstructura de un Autómata Celular

Ejemplos y AplicacionesAC implementados en Mathematica

Page 4: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

Bioinformática es la aplicación del desarrollo de laComputación y las Matemáticas que permite la administración,análisis y comprensión de datos para resolver preguntasbiológicas.

Figure: La transcripción del genoma humano es uno de los mayoreslogros de la Bioinformática.

Page 5: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

Su importancia puede ser en parte por las siguientes razones:

• El incremento explosivo de conjuntos de informacióndebido a la revolución genómica, las cuales son difícilesde entender sin el uso de herramientas analíticas.

• El reciente desarrollo de herramientas matemáticas (comopor ejemplo la Teoría del Caos) que ayuda alentendimiento de mecanismos complejos y no lineales enBiología.

• Un incremento en la capacidad computacional que permitehacer cálculos y simulaciones que no eran previamenteposibles.

Page 6: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

Su importancia puede ser en parte por las siguientes razones:

• El incremento explosivo de conjuntos de informacióndebido a la revolución genómica, las cuales son difícilesde entender sin el uso de herramientas analíticas.

• El reciente desarrollo de herramientas matemáticas (comopor ejemplo la Teoría del Caos) que ayuda alentendimiento de mecanismos complejos y no lineales enBiología.

• Un incremento en la capacidad computacional que permitehacer cálculos y simulaciones que no eran previamenteposibles.

Page 7: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

Su importancia puede ser en parte por las siguientes razones:

• El incremento explosivo de conjuntos de informacióndebido a la revolución genómica, las cuales son difícilesde entender sin el uso de herramientas analíticas.

• El reciente desarrollo de herramientas matemáticas (comopor ejemplo la Teoría del Caos) que ayuda alentendimiento de mecanismos complejos y no lineales enBiología.

• Un incremento en la capacidad computacional que permitehacer cálculos y simulaciones que no eran previamenteposibles.

Page 8: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

Su importancia puede ser en parte por las siguientes razones:

• El incremento explosivo de conjuntos de informacióndebido a la revolución genómica, las cuales son difícilesde entender sin el uso de herramientas analíticas.

• El reciente desarrollo de herramientas matemáticas (comopor ejemplo la Teoría del Caos) que ayuda alentendimiento de mecanismos complejos y no lineales enBiología.

• Un incremento en la capacidad computacional que permitehacer cálculos y simulaciones que no eran previamenteposibles.

Page 9: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

Un modelo de un sistema biológico es convertido a sistemasde ecuaciones.

La solución de las ecuaciones, ya sea por medios analíticos onuméricos, describe cómo el sistema biológico se comporta enel tiempo o en equilibrio.

El modelo a menudo hace suposiciones sobre el sistema. Lasecuaciones pueden también hacer suposiciones sobre lanaturaleza de lo que puede ocurrir.

Page 10: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

Un modelo de un sistema biológico es convertido a sistemasde ecuaciones.

La solución de las ecuaciones, ya sea por medios analíticos onuméricos, describe cómo el sistema biológico se comporta enel tiempo o en equilibrio.

El modelo a menudo hace suposiciones sobre el sistema. Lasecuaciones pueden también hacer suposiciones sobre lanaturaleza de lo que puede ocurrir.

Page 11: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

Un modelo de un sistema biológico es convertido a sistemasde ecuaciones.

La solución de las ecuaciones, ya sea por medios analíticos onuméricos, describe cómo el sistema biológico se comporta enel tiempo o en equilibrio.

El modelo a menudo hace suposiciones sobre el sistema. Lasecuaciones pueden también hacer suposiciones sobre lanaturaleza de lo que puede ocurrir.

Page 12: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

El Método de los Elementos Finitos (FEM) es de ampliautilización en análisis de sistemas y espacios físico-mecánicosdonde el objetivo sea comprender la resistencia de materiales,la dinámica de partículas y en general el comportamiento y lainteracción de los elementos base del sistema en el espacio.

Pero quedan aún muchos sistemas complejos y de diversanaturaleza en los cuales no es convencional aplicar estatécnica, por ejemplo, sistemas químicos, biológicos, evolutivos,genéticos, eléctricos, o computacionales.

Page 13: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

El Método de los Elementos Finitos (FEM) es de ampliautilización en análisis de sistemas y espacios físico-mecánicosdonde el objetivo sea comprender la resistencia de materiales,la dinámica de partículas y en general el comportamiento y lainteracción de los elementos base del sistema en el espacio.

Pero quedan aún muchos sistemas complejos y de diversanaturaleza en los cuales no es convencional aplicar estatécnica, por ejemplo, sistemas químicos, biológicos, evolutivos,genéticos, eléctricos, o computacionales.

Page 14: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

Para el modelamiento de este tipo de sistemas quedan aúntres opciones:

1. Lograr un modelo de naturaleza continua (en aquellossistemas analógicos), en el cual se requiere expresionesde funciones continuas.

2. Utilizar métodos aproximados de discretización (sinembargo, se tienen problemas de digitalización delmodelo).

3. Modelar con un Autómata Celular.

Page 15: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

Para el modelamiento de este tipo de sistemas quedan aúntres opciones:

1. Lograr un modelo de naturaleza continua (en aquellossistemas analógicos), en el cual se requiere expresionesde funciones continuas.

2. Utilizar métodos aproximados de discretización (sinembargo, se tienen problemas de digitalización delmodelo).

3. Modelar con un Autómata Celular.

Page 16: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

Para el modelamiento de este tipo de sistemas quedan aúntres opciones:

1. Lograr un modelo de naturaleza continua (en aquellossistemas analógicos), en el cual se requiere expresionesde funciones continuas.

2. Utilizar métodos aproximados de discretización (sinembargo, se tienen problemas de digitalización delmodelo).

3. Modelar con un Autómata Celular.

Page 17: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

Para el modelamiento de este tipo de sistemas quedan aúntres opciones:

1. Lograr un modelo de naturaleza continua (en aquellossistemas analógicos), en el cual se requiere expresionesde funciones continuas.

2. Utilizar métodos aproximados de discretización (sinembargo, se tienen problemas de digitalización delmodelo).

3. Modelar con un Autómata Celular.

Page 18: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

Los AC son estructuras ideales para construir modelosdigitales aproximados de algunos sistemas complejos denaturaleza continua, sin pasar por modelos analógicos.

Debido a esto, desde su origen se les ha utilizado comoelementos de la Computación para la modelación defenómenos biológicos y físicos.

Además, son estudiados como objetos matemáticos debidoal interés intrínseco relativo a los aspectos formales de sucomportamiento.

Page 19: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

Los AC son estructuras ideales para construir modelosdigitales aproximados de algunos sistemas complejos denaturaleza continua, sin pasar por modelos analógicos.

Debido a esto, desde su origen se les ha utilizado comoelementos de la Computación para la modelación defenómenos biológicos y físicos.

Además, son estudiados como objetos matemáticos debidoal interés intrínseco relativo a los aspectos formales de sucomportamiento.

Page 20: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

Los AC son estructuras ideales para construir modelosdigitales aproximados de algunos sistemas complejos denaturaleza continua, sin pasar por modelos analógicos.

Debido a esto, desde su origen se les ha utilizado comoelementos de la Computación para la modelación defenómenos biológicos y físicos.

Además, son estudiados como objetos matemáticos debidoal interés intrínseco relativo a los aspectos formales de sucomportamiento.

Page 21: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Introducción

Figure: AC generado mediante la "regla 30", de Stephen Wolfram.

Page 22: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Contenido

MotivaciónIntroducciónMatemática y Biología

Autómatas Celulares y BiologíaAutómatas celularesEstructura de un Autómata Celular

Ejemplos y AplicacionesAC implementados en Mathematica

Page 23: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Complejidad biológica

La complejidad biológica hace referencia a la vida entendidacomo sistema complejo.

Un sistema complejo está compuesto por varias partesinterconectadas o entrelazadas cuyos vínculos contieneninformación adicional y oculta al observador.

Como resultado de las interacciones entre elementos, surgenpropiedades nuevas que no pueden explicarse a partir de laspropiedades de los elementos aislados. Dichas propiedades sedenominan propiedades emergentes.

Page 24: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Complejidad biológica

La complejidad biológica hace referencia a la vida entendidacomo sistema complejo.

Un sistema complejo está compuesto por varias partesinterconectadas o entrelazadas cuyos vínculos contieneninformación adicional y oculta al observador.

Como resultado de las interacciones entre elementos, surgenpropiedades nuevas que no pueden explicarse a partir de laspropiedades de los elementos aislados. Dichas propiedades sedenominan propiedades emergentes.

Page 25: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Complejidad biológica

La complejidad biológica hace referencia a la vida entendidacomo sistema complejo.

Un sistema complejo está compuesto por varias partesinterconectadas o entrelazadas cuyos vínculos contieneninformación adicional y oculta al observador.

Como resultado de las interacciones entre elementos, surgenpropiedades nuevas que no pueden explicarse a partir de laspropiedades de los elementos aislados. Dichas propiedades sedenominan propiedades emergentes.

Page 26: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Complejidad biológica

Muchos de los rasgos y procesos estudiados por las CienciasBiológicas son considerados emergentes.

Figure: Los emergentistas buscan comprender la complejidad deluniverso como una jerarquía de niveles emergentes.

Page 27: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Complejidad biológica

Todo sistema complejo emerge a partir de sus partes y fluctúahasta quedar fuertemente estabilizado en un atractor.

Esto lo logra con la aparición de toda una serie deretroalimentaciones positivas y negativas que atenúancualquier modificación provocada por un accidente externo.

Se puede afirmar que el sistema reacciona ante agresionesexternas que pretendan modificar su estructura.

Page 28: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Complejidad biológica

Todo sistema complejo emerge a partir de sus partes y fluctúahasta quedar fuertemente estabilizado en un atractor.

Esto lo logra con la aparición de toda una serie deretroalimentaciones positivas y negativas que atenúancualquier modificación provocada por un accidente externo.

Se puede afirmar que el sistema reacciona ante agresionesexternas que pretendan modificar su estructura.

Page 29: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Complejidad biológica

Todo sistema complejo emerge a partir de sus partes y fluctúahasta quedar fuertemente estabilizado en un atractor.

Esto lo logra con la aparición de toda una serie deretroalimentaciones positivas y negativas que atenúancualquier modificación provocada por un accidente externo.

Se puede afirmar que el sistema reacciona ante agresionesexternas que pretendan modificar su estructura.

Page 30: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Autoorganización

La autoorganización es objeto de estudio interdisciplinario,pues es una propiedad característica de los sistemascomplejos, ya sean éstos matemáticos, físicos, químicos,biológicos, sociales o económicos.

El concepto de autoorganización fue adoptado por todosaquellos asociados a la Teoría de Sistemas en la década de1960, pero no se convirtió en un lugar científico común hastasu adopción por parte de los físicos y, en general, de losinvestigadores de sistemas complejos en las décadas de1970-80.

Page 31: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Autoorganización

La autoorganización es objeto de estudio interdisciplinario,pues es una propiedad característica de los sistemascomplejos, ya sean éstos matemáticos, físicos, químicos,biológicos, sociales o económicos.

El concepto de autoorganización fue adoptado por todosaquellos asociados a la Teoría de Sistemas en la década de1960, pero no se convirtió en un lugar científico común hastasu adopción por parte de los físicos y, en general, de losinvestigadores de sistemas complejos en las décadas de1970-80.

Page 32: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Autoorganización

Desde el trabajo de Turing, la filotaxis se ha convertido en unejemplo clásico de patrón resultante de un procesoautoorganizativo.

Turing trabajó desde 1952 hasta que falleció en 1954 en laBiología Matemática (es una área interdisciplinaria de estudiosque se enfoca en modelamiento de los procesos biológicosutilizando técnicas matemáticas), concretamente en laMorfogénesis.

Page 33: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Autoorganización

Desde el trabajo de Turing, la filotaxis se ha convertido en unejemplo clásico de patrón resultante de un procesoautoorganizativo.

Turing trabajó desde 1952 hasta que falleció en 1954 en laBiología Matemática (es una área interdisciplinaria de estudiosque se enfoca en modelamiento de los procesos biológicosutilizando técnicas matemáticas), concretamente en laMorfogénesis.

Page 34: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

AutoorganizaciónSu principal interés era comprender la filotaxis de Fibonacci.Utilizó ecuaciones de reacción-difusión que actualmente soncruciales en el campo de la formación de patrones.

Figure: Filotaxis de hojas opuestas.

Page 35: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Contenido

MotivaciónIntroducciónMatemática y Biología

Autómatas Celulares y BiologíaAutómatas celularesEstructura de un Autómata Celular

Ejemplos y AplicacionesAC implementados en Mathematica

Page 36: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Autómata Celular

Un AC es una herramienta computacional que hace parte de laInteligencia Artificial basada en modelos biológicos, el cualestá básicamente compuesto por una estructura estática dedatos y un conjunto finito de reglas que son aplicadas a cadanodo o elemento de la estructura.

El interés que ha despertado esta técnica radica en la sencillezy en la simplicidad que caracteriza la construcción de losmodelos; además, en la particularidad de los patrones decomportamiento presentados por el autómata en tiempo deejecución.

Page 37: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Autómata Celular

Un AC es una herramienta computacional que hace parte de laInteligencia Artificial basada en modelos biológicos, el cualestá básicamente compuesto por una estructura estática dedatos y un conjunto finito de reglas que son aplicadas a cadanodo o elemento de la estructura.

El interés que ha despertado esta técnica radica en la sencillezy en la simplicidad que caracteriza la construcción de losmodelos; además, en la particularidad de los patrones decomportamiento presentados por el autómata en tiempo deejecución.

Page 38: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Autómata Celular

La construcción original de von Neumann de un arreglo celularauto-reproductivo requería que cada célula soportara unconjunto de 29 estados. El arreglo por sí mismo requeríaaproximadamente 200,000 células.

Además, el valor del estado en que se encuentra cada céluladel arreglo localizada en una posición (i , j) (donde i es lacolumna y j el renglón) en un tiempo t estará determinado porlos valores de los estados en que se encuentran las célulaslocalizadas en las posiciones (i − 1, j), (i + 1, j),(i , j + 1) e(i , j − 1) (izquierda, derecha, arriba y abajo, respectivamente).

Page 39: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Autómata Celular

La construcción original de von Neumann de un arreglo celularauto-reproductivo requería que cada célula soportara unconjunto de 29 estados. El arreglo por sí mismo requeríaaproximadamente 200,000 células.

Además, el valor del estado en que se encuentra cada céluladel arreglo localizada en una posición (i , j) (donde i es lacolumna y j el renglón) en un tiempo t estará determinado porlos valores de los estados en que se encuentran las célulaslocalizadas en las posiciones (i − 1, j), (i + 1, j),(i , j + 1) e(i , j − 1) (izquierda, derecha, arriba y abajo, respectivamente).

Page 40: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Autómata Celular

Cada célula del arreglo en algún momento será una célulacentral, la cual junto con las células ubicadas ortogonalmenteforman lo que se conoce como vecindad von Neumann.

Las interacciones locales de las vecindades en un tiempo tdeterminan el estado global del arreglo (el cual es actualizadosíncronamente) en el tiempo t + 1.

Page 41: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Autómata Celular

Cada célula del arreglo en algún momento será una célulacentral, la cual junto con las células ubicadas ortogonalmenteforman lo que se conoce como vecindad von Neumann.

Las interacciones locales de las vecindades en un tiempo tdeterminan el estado global del arreglo (el cual es actualizadosíncronamente) en el tiempo t + 1.

Page 42: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Contenido

MotivaciónIntroducciónMatemática y Biología

Autómatas Celulares y BiologíaAutómatas celularesEstructura de un Autómata Celular

Ejemplos y AplicacionesAC implementados en Mathematica

Page 43: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Estructura de un Autómata Celular

Basados en el planteamiento que presenta Muñoz[4] acerca dela estructura de un AC, se definen como sus componentesbásicos:

• Un plano 2-dimensional o un espacio n-dimensionaldividido en un número de subespacios homogéneos,conocidos como celdas. A todo esto se le denominaTeselación Homogénea.

• Cada celda puede estar en uno de un conjunto finito onumerable S de Estados.

Page 44: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Estructura de un Autómata Celular

Basados en el planteamiento que presenta Muñoz[4] acerca dela estructura de un AC, se definen como sus componentesbásicos:

• Un plano 2-dimensional o un espacio n-dimensionaldividido en un número de subespacios homogéneos,conocidos como celdas. A todo esto se le denominaTeselación Homogénea.

• Cada celda puede estar en uno de un conjunto finito onumerable S de Estados.

Page 45: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Estructura de un Autómata Celular

Basados en el planteamiento que presenta Muñoz[4] acerca dela estructura de un AC, se definen como sus componentesbásicos:

• Un plano 2-dimensional o un espacio n-dimensionaldividido en un número de subespacios homogéneos,conocidos como celdas. A todo esto se le denominaTeselación Homogénea.

• Cada celda puede estar en uno de un conjunto finito onumerable S de Estados.

Page 46: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Estructura de un Autómata Celular

• Una Configuración C, la que consiste en asignarle unestado a cada celda del autómata.

• Una Vecindad definida para cada celda, la que consiste enun conjunto contiguo de celdas, indicando sus posicionesrelativas respecto a la celda misma.

• Una Regla de Evolución, la cual define cómo debe cadacelda cambiar de estado, dependiendo del estadoinmediatamente anterior de su vecindad.

• Un Reloj Virtual de Cómputo conectado a cada celda delautómata, el cual generará pulsos simultáneos a todas lasceldas indicando que debe aplicarse la regla de evolucióny de esta forma cada celda cambiará de estado.

Page 47: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Estructura de un Autómata Celular

• Una Configuración C, la que consiste en asignarle unestado a cada celda del autómata.

• Una Vecindad definida para cada celda, la que consiste enun conjunto contiguo de celdas, indicando sus posicionesrelativas respecto a la celda misma.

• Una Regla de Evolución, la cual define cómo debe cadacelda cambiar de estado, dependiendo del estadoinmediatamente anterior de su vecindad.

• Un Reloj Virtual de Cómputo conectado a cada celda delautómata, el cual generará pulsos simultáneos a todas lasceldas indicando que debe aplicarse la regla de evolucióny de esta forma cada celda cambiará de estado.

Page 48: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Estructura de un Autómata Celular

• Una Configuración C, la que consiste en asignarle unestado a cada celda del autómata.

• Una Vecindad definida para cada celda, la que consiste enun conjunto contiguo de celdas, indicando sus posicionesrelativas respecto a la celda misma.

• Una Regla de Evolución, la cual define cómo debe cadacelda cambiar de estado, dependiendo del estadoinmediatamente anterior de su vecindad.

• Un Reloj Virtual de Cómputo conectado a cada celda delautómata, el cual generará pulsos simultáneos a todas lasceldas indicando que debe aplicarse la regla de evolucióny de esta forma cada celda cambiará de estado.

Page 49: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Estructura de un Autómata Celular

• Una Configuración C, la que consiste en asignarle unestado a cada celda del autómata.

• Una Vecindad definida para cada celda, la que consiste enun conjunto contiguo de celdas, indicando sus posicionesrelativas respecto a la celda misma.

• Una Regla de Evolución, la cual define cómo debe cadacelda cambiar de estado, dependiendo del estadoinmediatamente anterior de su vecindad.

• Un Reloj Virtual de Cómputo conectado a cada celda delautómata, el cual generará pulsos simultáneos a todas lasceldas indicando que debe aplicarse la regla de evolucióny de esta forma cada celda cambiará de estado.

Page 50: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Estructura de un Autómata Celular

Según Toffoli y Margolus[5], se define un AC sólo si se tieneque todas las celdas:

• Tienen el mismo conjunto S de Estados posibles.

• Tienen la misma forma de Vecindad.

• Tienen la misma Regla de Evolución.

Page 51: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Ejemplos y Aplicaciones

Tal vez, lo más llamativo e interesante de los AC es elcomportamiento presentado por el modelo en tiempo deejecución y la similitud de éste con la complejidad de lanaturaleza continua.

• "Life" o "El Juego de la Vida", por ejemplo, simula laexistencia de diferentes "formas de vida" sobre un espacio2-dimensional, las cuales presentan singularcomportamiento a través del tiempo.

• "Evolución" es un autómata que simula cómo un conjuntode microbios sobreviven comiendo bacterias.

• "Mayoría Alineada" muestra cómo es el comportamientode la tensión superficial entre líquidos no permeables.

Page 52: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Ejemplos y Aplicaciones

Tal vez, lo más llamativo e interesante de los AC es elcomportamiento presentado por el modelo en tiempo deejecución y la similitud de éste con la complejidad de lanaturaleza continua.

• "Life" o "El Juego de la Vida", por ejemplo, simula laexistencia de diferentes "formas de vida" sobre un espacio2-dimensional, las cuales presentan singularcomportamiento a través del tiempo.

• "Evolución" es un autómata que simula cómo un conjuntode microbios sobreviven comiendo bacterias.

• "Mayoría Alineada" muestra cómo es el comportamientode la tensión superficial entre líquidos no permeables.

Page 53: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Ejemplos y Aplicaciones

Tal vez, lo más llamativo e interesante de los AC es elcomportamiento presentado por el modelo en tiempo deejecución y la similitud de éste con la complejidad de lanaturaleza continua.

• "Life" o "El Juego de la Vida", por ejemplo, simula laexistencia de diferentes "formas de vida" sobre un espacio2-dimensional, las cuales presentan singularcomportamiento a través del tiempo.

• "Evolución" es un autómata que simula cómo un conjuntode microbios sobreviven comiendo bacterias.

• "Mayoría Alineada" muestra cómo es el comportamientode la tensión superficial entre líquidos no permeables.

Page 54: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Ejemplos y Aplicaciones

El modelar un sistema del mundo real por medio de un AC,requiere que se conozca al menos su comportamiento global.

Si conocido este comportamiento se quiere deducir unconjunto de reglas de evolución local que lo genere, entoncesse desea desarrollar el autómata por el Problema Inverso.

De lo contrario, si se desea primero experimentar y ajustar unaRegla de Evulución pseudo-aleatoria hasta lograr uncomportamiento similar al del sistema real, entonces se deseadesarrollar el autómata por el Problema Directo.

No obstante, se puede lograr algo intermedio, a partir decomportamientos locales del sistema real construir una reglade evolución local y ponerla a prueba para determinar si selogra un autómata que modele el comportamiento del sistemaglobal, a esto se el denomina el Problema Intermedio.

Page 55: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Ejemplos y Aplicaciones

El modelar un sistema del mundo real por medio de un AC,requiere que se conozca al menos su comportamiento global.

Si conocido este comportamiento se quiere deducir unconjunto de reglas de evolución local que lo genere, entoncesse desea desarrollar el autómata por el Problema Inverso.

De lo contrario, si se desea primero experimentar y ajustar unaRegla de Evulución pseudo-aleatoria hasta lograr uncomportamiento similar al del sistema real, entonces se deseadesarrollar el autómata por el Problema Directo.

No obstante, se puede lograr algo intermedio, a partir decomportamientos locales del sistema real construir una reglade evolución local y ponerla a prueba para determinar si selogra un autómata que modele el comportamiento del sistemaglobal, a esto se el denomina el Problema Intermedio.

Page 56: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Ejemplos y Aplicaciones

El modelar un sistema del mundo real por medio de un AC,requiere que se conozca al menos su comportamiento global.

Si conocido este comportamiento se quiere deducir unconjunto de reglas de evolución local que lo genere, entoncesse desea desarrollar el autómata por el Problema Inverso.

De lo contrario, si se desea primero experimentar y ajustar unaRegla de Evulución pseudo-aleatoria hasta lograr uncomportamiento similar al del sistema real, entonces se deseadesarrollar el autómata por el Problema Directo.

No obstante, se puede lograr algo intermedio, a partir decomportamientos locales del sistema real construir una reglade evolución local y ponerla a prueba para determinar si selogra un autómata que modele el comportamiento del sistemaglobal, a esto se el denomina el Problema Intermedio.

Page 57: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Ejemplos y Aplicaciones

El modelar un sistema del mundo real por medio de un AC,requiere que se conozca al menos su comportamiento global.

Si conocido este comportamiento se quiere deducir unconjunto de reglas de evolución local que lo genere, entoncesse desea desarrollar el autómata por el Problema Inverso.

De lo contrario, si se desea primero experimentar y ajustar unaRegla de Evulución pseudo-aleatoria hasta lograr uncomportamiento similar al del sistema real, entonces se deseadesarrollar el autómata por el Problema Directo.

No obstante, se puede lograr algo intermedio, a partir decomportamientos locales del sistema real construir una reglade evolución local y ponerla a prueba para determinar si selogra un autómata que modele el comportamiento del sistemaglobal, a esto se el denomina el Problema Intermedio.

Page 58: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Ejemplos y Aplicaciones

Dependiendo de la naturaleza compleja de un sistema y de laposibilidad de identificar estados locales y reglas generales deevolución, se podrían simular comportamientos por medio deAutómatas Celulares.

Por ejemplo, los mundos y sistemas enunciados a continuaciónson susceptibles a un modelamiento por esta técnica:

Simulación de tráfico vehicular, virus, glóbulos, epidemias,bacterias, contaminación, ecosistemas, evolución galáctica,flujo de electrones, acción y reacción, medios granulares yevolución genética entre otros.

Page 59: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Ejemplos y Aplicaciones

Dependiendo de la naturaleza compleja de un sistema y de laposibilidad de identificar estados locales y reglas generales deevolución, se podrían simular comportamientos por medio deAutómatas Celulares.

Por ejemplo, los mundos y sistemas enunciados a continuaciónson susceptibles a un modelamiento por esta técnica:

Simulación de tráfico vehicular, virus, glóbulos, epidemias,bacterias, contaminación, ecosistemas, evolución galáctica,flujo de electrones, acción y reacción, medios granulares yevolución genética entre otros.

Page 60: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Contenido

MotivaciónIntroducciónMatemática y Biología

Autómatas Celulares y BiologíaAutómatas celularesEstructura de un Autómata Celular

Ejemplos y AplicacionesAC implementados en Mathematica

Page 61: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Snow

En este ejemplo se muestra el patrón conocido como copo denieve, y es generado por un AC.

Utiliza una función de transformación de una vecindadcuadrada a una hexagonal.

Page 62: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Snow

Figure: Copo de nieve generado por un AC en una vecindadhexagonal.

Page 63: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Patrones de Turing

En este ejemplo se muestra un fenómeno conocido comopatrones de Turing, que se presenta en la naturaleza enparticular en animales vertebrados como las jirafas, vacas yjaguares.

Page 64: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Patrones de Turing

Figure: Patrones de Turing (Manchas en la piel).

Page 65: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Conclusiones

• Es típico de un AC generar comportamientos complejos apartir de reglas muy sencillas.

• Son útiles en la construcción de modelos donde loselementos base o componentes son de similar naturalezay comportamiento.

• Los AC se rigen por reglas parecidas y donde, en elmismo sistema real, se identifican componentesdiferenciables, independientes, aislables y/o discretos.

Page 66: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Conclusiones

• Es típico de un AC generar comportamientos complejos apartir de reglas muy sencillas.

• Son útiles en la construcción de modelos donde loselementos base o componentes son de similar naturalezay comportamiento.

• Los AC se rigen por reglas parecidas y donde, en elmismo sistema real, se identifican componentesdiferenciables, independientes, aislables y/o discretos.

Page 67: La Matem tica en la Bioinform tica y los Aut matas Celulares

Motivación Autómatas Celulares y Biología Ejemplos y Aplicaciones Conclusiones

Conclusiones

• Es típico de un AC generar comportamientos complejos apartir de reglas muy sencillas.

• Son útiles en la construcción de modelos donde loselementos base o componentes son de similar naturalezay comportamiento.

• Los AC se rigen por reglas parecidas y donde, en elmismo sistema real, se identifican componentesdiferenciables, independientes, aislables y/o discretos.

Page 68: La Matem tica en la Bioinform tica y los Aut matas Celulares

Appendix

Referencias I

BERCHELAMP, Elwyn; CONWAY, John y GUY, Richard.Winning Ways. Academic Press, 1982.

GARDNER, Martin. Wheels: Life and other MathematicalAmazements. W. H. Freeman and Company, 1983.

HARDY, J.; DE PAZZIS, O. y POMEAU, Y. MolecularDynamics of a Classical Lattice Gas: Transport Propertiesand Time Correlation Functions. Physical Review, No. 5,1976.

MUÑOZ CASTAÑO, José Daniel. AUTÓMATASCELULARES Y FÍSICA DIGITAL Memorias del PrimerCongreso Colombiano de NeuroComputación 1996. 28 p.ISBN 958-9205-17-8.

Page 69: La Matem tica en la Bioinform tica y los Aut matas Celulares

Appendix

Referencias II

TOFFOLI, Tommaso y MARGOLUS, Norman. CellularAutomata Machines: A New Environment for Modeling. TheMIT Press, Cambridge MA, 1987.

Autómatas Celulareshttp://www.pannet.pa/ rperez/celular.html

Autómatas Celulares, Fractales y Vista Prohttp://www.pannet.pa/ rperez/vp_es.html

Autómatas Celulares Adaptativoshttp://strix.ciens.ucv.ve/physis/REVISTA/N003/autcel.html

GAIA: Autómatas Celulareshttp://www.geocities.com/SiliconValley/Vista/7491/auto_c.htm