11.01.2015 Views

1. redes de automatas como modelos de sistemas complejos

1. redes de automatas como modelos de sistemas complejos

1. redes de automatas como modelos de sistemas complejos

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>1.</strong> REDES DE AUTOMATAS COMO MODELOS DE<br />

SISTEMAS COMPLEJOS<br />

Jorge Eduardo Ortiz Trivño<br />

Profesor Asociado<br />

Departamento <strong>de</strong> Ingeniería <strong>de</strong> Sistemas e Industrial<br />

Universidad Nacional <strong>de</strong> Colombia<br />

jeortizt@unal.edu.co<br />

De acuerdo con lo propuesto anteriormente, un sistema complejo (sc) es una estructura<br />

funcional para la cual el número <strong>de</strong> entida<strong>de</strong>s C es gran<strong>de</strong>, al igual que las relaciones<br />

entre ellas. A continuación se presenta un mo<strong>de</strong>lo matemático útil en el estudio <strong>de</strong> <strong>sistemas</strong><br />

<strong>complejos</strong>.<br />

<strong>1.</strong>1 MODELO PARA ELEMENTOS DEL SISTEMA<br />

Un elemento pue<strong>de</strong> mo<strong>de</strong>larse formalmente a través <strong>de</strong> un autómata. Entendiendo por<br />

autómata una máquina que recibe una señal <strong>de</strong> entrada, asume un estado y produce una<br />

señal respuesta en un <strong>de</strong>terminado momento en el tiempo y el espacio.<br />

Matemáticamente, un Autómata A, es una quíntupla :<br />

Don<strong>de</strong>:<br />

<br />

e<br />

s<br />

<br />

e i<br />

i<br />

<br />

iI <br />

A , , , ,<br />

<br />

, es un conjunto <strong>de</strong> estados sobre el conjunto <strong>de</strong> índices I<br />

a , es el alfabeto <strong>de</strong> entrada <strong>de</strong> A.<br />

<br />

j<br />

<br />

b , es el alfabeto <strong>de</strong> Salida <strong>de</strong> A.<br />

es la Relación siguiente estado dada por:<br />

es la relación respuesta <strong>de</strong> A, dada por :<br />

e<br />

: <br />

e<br />

: <br />

e<br />

s<br />

<br />

s


Cuando , son estocásticas, A se <strong>de</strong>nomina Autómata <strong>de</strong> aprendizaje.<br />

<strong>1.</strong>2 MODELO PARA SISTEMAS Y SUBSISTEMAS<br />

Un sistema, en un sentido general, pue<strong>de</strong> mo<strong>de</strong>larse mediante una red <strong>de</strong> autómatas<br />

interconectadas. Una cantidad se comunica y relaciona con otras entida<strong>de</strong>s mediante el<br />

intercambio <strong>de</strong> información <strong>de</strong> sus estudios en algún lugar en el tiempo y el espacio.<br />

Para establecer un mo<strong>de</strong>lo matemático <strong>de</strong> esta naturaleza se requiere <strong>de</strong>finir a<strong>de</strong>cuadamente<br />

cada uno <strong>de</strong> los autómatas que conforman la red y la manera <strong>como</strong> están interconectados.<br />

De esta manera, se <strong>de</strong>ben <strong>de</strong>terminar un conjunto <strong>de</strong> autómatas y un conjunto <strong>de</strong> relaciones<br />

<strong>de</strong> comunicación. Formalmente, una red <strong>de</strong> autómatas R es una dupla<br />

Don<strong>de</strong>:<br />

<br />

<br />

<br />

<br />

R M , A<br />

i i I<br />

<br />

<br />

<br />

a) M I,<br />

<br />

es un multígrafo que tiene <strong>como</strong> nodos el conjunto <strong>de</strong> índices I <strong>de</strong> los<br />

autómatas y don<strong>de</strong> es un subconjunto <strong>de</strong>l conjunto <strong>de</strong> partes <strong>de</strong> I I .<br />

<br />

A es un conjunto <strong>de</strong> autómatas.<br />

A i i i1 b) n<br />

<strong>1.</strong>3 MODELO PARA LA DINÁMICA Y ADAPTACIÓN DE<br />

SISTEMAS<br />

Una <strong>de</strong> las características más importantes <strong>de</strong> los <strong>sistemas</strong> <strong>complejos</strong> es su ten<strong>de</strong>ncia al<br />

cambio en función <strong>de</strong>l tiempo-espacio. Esta propiedad, comunmente <strong>de</strong>nominada dinámica<br />

<strong>de</strong>l sistema, es usualmente mo<strong>de</strong>lada mediante un conjunto <strong>de</strong> ecuaciones diferenciales y en<br />

diferencias 1 para <strong>sistemas</strong> <strong>de</strong> naturaleza continua y discreta respectivamente.<br />

En el caso <strong>de</strong> <strong>sistemas</strong> <strong>complejos</strong>, solucionar tales ecuaciones (inclusive encontrarlas) es<br />

difícil sino imposible. Afortunadamente, este problema pue<strong>de</strong> abordarse, por lo menos en<br />

parte, mediante la teoría <strong>de</strong> <strong>sistemas</strong> adaptativos y la simulación <strong>de</strong> sitemas estocásticos..<br />

Inicialmente el concepto <strong>de</strong> Adaptación <strong>de</strong> Sistemas <strong>complejos</strong> se consi<strong>de</strong>ra <strong>como</strong> una<br />

forma <strong>de</strong> aprendizaje [4] que, al igual que la dinámica <strong>de</strong>l sistema, ocurre en función <strong>de</strong> la<br />

variable in<strong>de</strong>pendiente tiempo-espacio. En consecuencia, la i<strong>de</strong>a <strong>de</strong> adaptación está ligado<br />

1 En el caso general, pue<strong>de</strong>n emplearse ecuaciones diferenciales y en diferencias estocásticas.


funcionalmente al <strong>de</strong> dinámica y, naturalmente, al concepto <strong>de</strong> entropía entendida esta<br />

última <strong>como</strong> la característica <strong>de</strong> los <strong>sistemas</strong> que los hace ten<strong>de</strong>r al <strong>de</strong>sor<strong>de</strong>n. Es <strong>de</strong>cir,<br />

<br />

T<br />

<br />

Adaptación f dinámica , Entropía<br />

T<br />

<br />

De otro lado, existen dos propieda<strong>de</strong>s, <strong>de</strong> particular interés en el estudio <strong>de</strong> <strong>sistemas</strong><br />

<strong>complejos</strong> adaptativos: Estabilidad y Robustez. En el primer caso, se dice que un sistema<br />

es estable cuando, ante cambios en el ambiente, existe una persistencia en la ten<strong>de</strong>ncia<br />

teleológica <strong>de</strong> la estructura funcional. Similarmente, un sistema se dice robusto cuando<br />

persiste la ten<strong>de</strong>ncia teleológica ante fallas <strong>de</strong> las entida<strong>de</strong>s o sub<strong>sistemas</strong> que lo componen.<br />

En consecuencia, se <strong>de</strong>fine sistema adaptativo <strong>como</strong> aquel que modifica su estructura para<br />

mantener o mejorar el logro <strong>de</strong> los objetivos en un ambiente cambiante.<br />

Así, el mo<strong>de</strong>lo matemático para un sistema adaptativo SA está dado por la cuádrupla<br />

Don<strong>de</strong>,<br />

<br />

<br />

R k<br />

kK <br />

<br />

SA , , I,<br />

<br />

Es el conjunto <strong>de</strong> <strong>re<strong>de</strong>s</strong> <strong>de</strong> autómatas posibles.<br />

j Es el conjunto <strong>de</strong> operadores que modifican las <strong>re<strong>de</strong>s</strong> <strong>de</strong> autómatas ; con :<br />

: P<br />

Con P un conjunto <strong>de</strong> distribuciones <strong>de</strong> probabilidad multivariadas sobre .<br />

j<br />

<br />

I . Es el conjunto <strong>de</strong> posibles entradas al sistema <strong>de</strong>s<strong>de</strong> el ambiente.<br />

Es una aplicación dada por :<br />

<strong>de</strong> forma que :<br />

<br />

<br />

: I<br />

<br />

<br />

, y <br />

t<br />

t P t 1<br />

I t t<br />

t<br />

<br />

Nuevamente, las variables aleatorias juegan un papel importante en este enfoque.


<strong>1.</strong>4 MODELO PARA SUPRASISTEMAS ADAPTATIVOS<br />

Un suprasistema ( SS ) es en si mismo una estructura funcional conformada por <strong>sistemas</strong><br />

<strong>complejos</strong>. Un caso típico se tiene en los eco<strong>sistemas</strong> en don<strong>de</strong> varias especies (conjunto<br />

<strong>de</strong> <strong>sistemas</strong>) interactúan en un ambiente común.<br />

Esta situación pue<strong>de</strong> mo<strong>de</strong>larse <strong>como</strong> una red <strong>de</strong> <strong>re<strong>de</strong>s</strong> adaptativas. Esto es, formalmente<br />

un suprasistrema ( SS ) es una dupla:<br />

<br />

SS M,<br />

<br />

RA i<br />

Don<strong>de</strong> M es un multígrafo y RA<br />

i<br />

es la i ésima red adaptativa <strong>de</strong>l mo<strong>de</strong>lo <strong>de</strong>l<br />

suprasistema. Nuevamente, las relaciones establecidas en M pue<strong>de</strong>n ser estocásticas. En<br />

este caso, se dice que el suprasistema es <strong>de</strong> aprendizaje.<br />

De igual forma, dado que un SS , es en sí mismo un sistema complejo pue<strong>de</strong> consi<strong>de</strong>rarse<br />

adaptativo, caso en el cual, pue<strong>de</strong> su evolución mo<strong>de</strong>larse mediante <strong>re<strong>de</strong>s</strong> adaptativas <strong>de</strong><br />

autómatas.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!