asdasd

´
´
AAAAAAAAAA
AAAAAAAAAAART´
ICULO

Aut´matas Cooperativos Extendidos: sistemas
o
multi-agente con dependencia geogr´fica
a
Carlos Herrero, Javier Oliver
Departamento de Sistemas Inform´ticos y Computaci´n
a
o
Universidad Polit´cnica de Valencia
e
Camino de Vera s/n VALENCIA 46022
{cherrero,fjoliver}@dsic.upv.es

Resumen
En este art´
ıculo se define una extensi´n del modelo delos Aut´matas Cooperativos. Dicho modelo est´ deso
o
a
tinado a la representaci´n de sistemas distribuidos multi-agente. Pese a su gran capacidad expresiva, para
o
determinados sistemas en apariencia simples, el modelo de los Aut´matas Cooperativos resultante es muy
o
complejo y hasta en ocasiones confuso. Para ilustrar esto se presenta un ejemplo que contiene un aut´mata
o
cuyos estadosdependen de su posici´n relativa en el sistema. Facilitar el dise˜o de este tipo de problemas es
o
n
el objetivo de la extensi´n del modelo, basada en la idea de a˜adir un tipo especial de atributos. Asimismo se
o
n
construye un algoritmo que muestra la equivalencia entre la extensi´n y el original conservando, por tanto,
o
las caracter´
ısticas del modelo de los Aut´matas Cooperativos ysus buenas propiedades.
o
Palabras clave: Concurrencia, Sistemas Multi-Agente, Aut´matas Cooperativos, Redes de Petri.
o

1.

Introducci´n
o

En [8] se present´ el modelo de los Aut´matas
o
o
Cooperativos [2], as´ como un ejemplo compleı
to de su utilizaci´n. Los Aut´matas Cooperativos
o
o
(AC) permiten la representaci´n de sistemas diso
tribuidos multi-agente. Este modelo esespecialmente adecuado para representar sistemas CSCW
(Computer Suported Cooperative Work) [7, 4] y
aplicaciones groupware [5]. Est´ basado en una
a
doble representaci´n mediante aut´matas indeo
o
pendientes que se coordinan a trav´s de vectores
e
de sincronizaci´n de acciones. Dependiendo del
o
n´mero de atributos de cada aut´mata, cada uno
u
o
de los cuales describe la pertenencia auna tarea,
podemos distinguir tres niveles de sincronizaci´n:
o
el nivel b´sico o de recursos, sin atributos y en el
a
que s´lo est´ permitida la competencia entre cono
a
sumidores, el nivel de tareas, con un unico atri´

buto que permite tareas y subtareas pero en el
que no hay coordinaci´n entre tareas distintas y,
o
por ultimo, el nivel de relaciones, en el que s´ hay
´
ıcoordinaci´n entre tareas y aut´matas con dos o
o
o
m´s atributos.
a
Un ejemplo de utilizaci´n de los AC para reo
presentar un sistema complejo puede verse en
[8] y en [9] se muestra la simulaci´n (de un
o
modo b´sico) de otro modelo de representaci´n
a
o
de aplicaciones CSCW basado en aut´matas: los
o
aut´matas Team [6, 11].
o
En este trabajo se presentan los Aut´matas Coo
operativosExtendidos (ACE) [9] que consisten en
una versi´n de los Aut´matas Cooperativos exo
o
tendidos mediante la incorporaci´n de un segundo
o
tipo de atributos, llamados atributos num´ricos,
e
que demuestran ser especialmente utiles para la
´
representaci´n de sistemas en los que la ubicaci´n
o
o

Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial. No 23 (2004), pp.43-54.
ISSN: 1137-3601. c AEPIA (http://www.aepia.org/revista)

Inteligencia Artificial Vol. 8, No 23, 2004

44

geogr´fica de un aut´mata cambia el diagrama de
a
o
estados. Esta extensi´n y su evidente utilidad se
o
muestra mediante un ejemplo sencillo. A continuaci´n se introduce un algoritmo de conversi´n
o
o
que permite traducir cualquier sistema modelado
con Aut´matas CooperativosExtendidos en otro
o
con Aut´matas Cooperativos, de tal forma que
o
ambos modelos resultan equivalentes y, por tanto, las buenas propiedades ya demostradas en el
modelo original son aplicables al modelo extendido. Finalmente se presentan algunas conclusiones
sobre el trabajo.

2.

El
modelo
de
los
Aut´matas Cooperativos
o

Vamos a presentar un formalismo cercano a las
redes de...