SlideShare ist ein Scribd-Unternehmen logo
1 von 8
Downloaden Sie, um offline zu lesen
Inteligencia Arti cial Distribuida y Sistemas
Multiagente
Ana Garc a Serrano
ISYS
Departamento de Inteligencia Arti cial
Universidad Politecnica de Madrid
agarcia@dia. .upm.es
Sascha Ossowski
ESCET
Departamento de Informatica
Universidad Juan Carlos de Madrid
s.ossowski@escet.urjc.es
Resumen
Se presenta una panoramica de la Inteligencia Arti cial Distribuida y de los Sistemas Multiagente,
describiendo los conceptos relacionados y los objetivos de las diferentes l neas de actuacion: la Resolucion
Distribuida de Problemas, los Sistemas Multiagente y los Agentes Autonomos.
1 Inteligencia Arti cial Dis-
tribuida
El avance tecnologico en las comunicaciones lle-
va al planteamiento de nuevos escenarios en los
que es necesaria la comparticion y la coordi-
nacion y por consiguiente nuevas metodolog as,
tecnicas y entornos de soporte informatico para
desarrollo de sistemas que incluyan los aspectos
de coordinacion y distribucion.
La Inteligencia Arti cial, campo de la in-
formatica, no ha sido impasible a este avance
y a nales de los a~nos setenta aparecen los pri-
meros trabajos en Inteligencia Arti cial Distri-
buida (aunque la primera reunion tematica fue
en 1980). Su objeto es el estudio de modelos
y tecnicas para resolucion de problemas en los
que la distribucion, sea f sica o funcional, sea
inherente. La metafora de la `inteligencia' uti-
lizada esta fundada en diferentes metaforas de
las ciencias exactas y sociales, como la biolog a,
la f sica y la sociolog a. Los individuales hetre-
rogeneos e independientes del sistema son `in-
teligentes' si alcanzan un cierto grado de adap-
tacion mutua.
Los sistemas tradicionales de la Inteligencia Ar-
ti cial se conciben individualmente como un
agente monol tico cuyo comportamiento ser a
descrito como `racional' por un observador ex-
terno. A principios de los a~nos ochenta los sis-
temas para resolucion distribuida de problemas
se caracterizaban por una forma de actuacion
concurrente en los diferentes nodos de una red,
en general con control centralizado, de forma
que los diferentes componentes son impasibles
ante las actuaciones del resto de los componen-
tes de la red. En este caso el objeto de estudio
es la coordinacion para resolucion distribuida
de problemas. Ejemplo paradigmatico de esta
epoca es la arquitectura de pizarra del sistema
Hearsay Erman et al. 80].
Al principio de los a~nos noventa aparecen sis-
temas multiagente con control descentralizado
y con modulos reusables Demazeau 91]. Los
agentes de un sistema multiagente se conciben
como independientes de un problema en concre-
to y se dota al sistema de protocolos de comu-
nicacion su cientemente genericos. Un ejemplo
es ARCHON Cockburn y Jennings, 95].
Recientemente los trabajos se han orientado al
1
estudio de la interoperabilidad de sistemas he-
terogeneos distribuidos o de agentes autonomos
y a su forma de adaptarse a entornos dinamicos.
En general, los sistemas IAD se caracterizan
por una arquitectura formada por componen-
tes inteligentes y modulares que interactuan de
forma coordinada. No existe una terminolog a
compartida en la IAD, ni esquemas de clasi -
cacion reconocidos por la mayor a, aunque no
hay discrepancias substanciales en cuanto a las
ventajas que ofrece el enfoque IAD sobre los
paradigmas convencionales:
1. Como los sistemas distribuidos convencio-
nales, los sistemas de la IAD aprovechan
la distribucion natural del dominio (espa-
cial, temporal, funcional) con los nes si-
guientes: mejorar el rendimiento, la robus-
tez, facilitar reusabilidad y mantenimien-
to. Ademas una arquitectura distribuida
facilita el aprovechamiento del paralelismo
inherente en la estructura de un problema.
2. Los sistemas IAD generan un valor a~nadi-
do, que se mani esta en: una mejor acep-
tabilidad en la sociedad, favorecer la adap-
tacion estructuras preexistentes en las or-
ganizaciones humanas y facilitar la interac-
cion hombre-maquina.
3. Favorecen el desarrollo de modelos cogni-
tivos de cooperacion y coordinacion como
fenomenos complejos y generan evidencia
para teor as lingu sticas, psicologicas, so-
ciologicas y loso cas respecto a estos te-
mas.
Pueden encontrarse diferentes trabajos que pre-
sentan el panorama general de la investigacion
actual en el campo de la Inteligencia Arti cial
y de los sistemas multiagente Bond et al. 88]
Parunak 88] Castillo-Hern 88] Gasser et al.
89] Shi 91] Chaib-Draa 92] von Martial 92]
Gasser 93] Molin et al. 96]. Ultimamente, han
aparecido mas articulos destinados a caracteri-
zar alguna de las muchas corrientes de investi-
gacion Wooldridge et al. 95] Chaib-Draa 95]
Franklin et al. 96] Nwana 96] Castelfranchi et
al. 96] Wooldridge 98] Huhns, Stephens 98].
A continuacion, se presenta la Inteligencia Ar-
ti cial Distribuida desde la perspectiva de la
Resolucion Distribuida de Problemas, los Siste-
mas Multiagente y los Agentes Autonomos.
2 Resolucion Distribuida de
Problemas
La resolucion distribuida de problemas (RDP)
estudia los sistemas inteligentes distribuidos
con una funcionalidad global y cuyos agentes
cumplen unas caracter sticas m nimas de (Dur-
fee, Rosenschein, 94):
Benevolencia: Los agentes cooperan con
los demas siempre que les sea posible. No
pueden `mentir', ni esconder informacion.
Objetivos compartidos: Todos los agentes
valoran el resultado de la actividad del gru-
po con la misma escala y desean contribuir
para maximizar su calidad.
Dise~no central: Todos los agentes se di-
se~nan para que se integren en un sistema
inteligente, capaz de resolver un problema.
El dise~nador debe asegurar que los agentes
utilicen el mismo lenguaje, que cada agen-
te desempe~ne un papel que in uya en la
consecucion del objetivo global etc.
El proceso de razonamiento en un grupo de
agentes de un sistema RDP se puede subdividir
en cuatro diferentes etapas (en general) (Yang,
Zhang 96):
Descomposicion de tareas: una tarea se
descompone en tareas menos complejas o
mas peque~nas.
Asignacion de tareas y recursos entre agen-
tes: se determina que agentes tendran que
resolver una tarea y de los recursos que dis-
ponen.
Resolucion de subproblemas: cada agente
resuelve las tareas que le han sido asigna-
das.
Integracion de soluciones: para componer
y conseguir una solucion a la tarea inicial.
El dilema basico de la RDP consiste en realizar
tal proceso de forma globalmente coherente, ya
que las decisiones globales se toman localmente
pues ningun componente dispone de una vision
completa del proceso de resolucion del proble-
ma.
Debido a que la distribucion del conocimiento
entre los componentes no tiene por quecoincidir
con la estructura del problema, se produce un
desajuste de modelos Ossowski 97], es decir,
los agentes dependen de la ayuda de los demas
para acceder al conocimiento o a la informacion
que existe en el sistema. Se pueden distinguir
tres casos:
Distribucion del conocimiento del caso: Un
agente no necesita acceder a un recurso que
gestiona otro agente, p. e. los datos de un
sensor.
Distribucion del conocimiento del dominio:
Un agente no dispone del conocimiento ne-
cesario para resolver una tarea y la delega
en otro agente.
Distribucion del conocimiento de control
(de tareas): Un agente no sabe tramitar
una tarea por lo que la pasa a un agente
gestor, p. e. un plani cador que descom-
pone la tarea y asigna las subtareas.
Esta problematica implica la necesidad de que
los agentes coordinen sus acciones. Los diferen-
tes mecanismos de coordinacion en la RDP se
pueden clasi car en tres grandes grupos (Jen-
nings 96):
Estructuras de organizacion: En el contex-
to de la RDP las estructuras de organiza-
cion se conciben como patrones estaticos
de relaciones de informacion y de control
entre los agentes.
Por ejemplo, se de nen areas de interes pa-
ra cada agente, en las que se especi can las
tareas de las que el agente es responsable y
se de nen estructuras de `autoridad', para
resolver con ictos en caso de que las areas
de interes se solapen.
Plani cacion multiagente: Antes de co-
menzar el proceso de resolucion del proble-
ma los agentes generan un plan en el que se
especi can todas sus futuras interacciones.
La plani cacion se realiza de forma centra-
lizada, todos los agentes mandan sus inten-
ciones de actuacion a un agente coordina-
dor. Este coordinador detecta relaciones
con ictivas y sinergicas entre las acciones
potenciales y las coordina para generar el
plan del grupo.
En el caso de plani cacion multiagente dis-
tribuida, ningun agente dispone de conoci-
miento sobre todas las actividades del gru-
po, lo cual di culta considerablemente el
proceso de plani cacion.
Intercambio de informacion a metanivel:
Este mecanismo facilita la coordinacion
dinamica, es decir articula el proceso de
resolucion de problemas con el de plani -
cacion.
Los agentes mantienen los modelos sobre
los demas intercambiando informacion me-
tanivel referente a su percepcion del estado
de resolucion del problema. De este mo-
do predicen localmente las acciones de los
demas y eligen las acciones locales compa-
tibles.
Las arquitecturas clasicas de la RDP son los
actores Hewitt 77] la red de contratos Smith
80 ] y Davis et al 83] y la arquitectura de pi-
zarra Engelmore et al 88]. En estos enfoques
la losof a de dise~no es reduccionista ya que se
descompone la tarea global de forma top-down
y se asignan las subtareas a los agentes.
Las nuevas aproximaciones asumen un enfoque
mas constructivo, ya que los agentes resuelven
subproblemas y se coordinan para alcanzar la
funcionalidad global (metodolog a bottom-up)
Jennings, Campos 97]. En los temas 2 y 3 de
este monogra co se presentan diferentes meto-
dolog as para afrontar el desarrollo de sistemas
distribuidos y se muestra la potencialidad de
este campo para desarrollo de aplicaciones en
tiempo real que controlen funciones de alto ni-
vel con gran volumen de operadores de control.
3 Sistemas Multiagente
En un sistema multiagente el conjunto de agen-
tes esta sometido continuamente a cambios lo-
cales. Estos cambios se dise~nan mediante reglas
de comportamiento, cuyos resultados estan in-
uenciados por el comportamiento del resto de
agentes. En los sistemas multiagente reactivos
estas reglas de comportamiento son muy sim-
ples y estan inspiradas por ejemplo por las cien-
cias biologicas Ferber 96].
En el caso de agentes cognitivos las reglas de
comportamiento se corresponden con el prin-
cipio de racionalidad. Por tanto, los sistemas
multiagente (SMA) no presuponen las propie-
dades de benevolencia, metas compartidas y di-
se~no centralizado para la resolucion de proble-
mas. Su perspectiva esta centrada en la inte-
raccion entre los agentes y se caracterizan por
Durfee, Rosenschein 94]:
Heterogeneidad de agentes: Los agentes de
un sistema SMA pueden contar con arqui-
tecturas diferentes, utilizar diferentes re-
presentaciones internas, comunicarse con
diferentes lenguajes etc. Generalmente es-
ta situacion es consecuencia de que el siste-
ma y sus agentes no hayan sido dise~nados
por una unica persona y para un n unico.
Homogeneidad de intereses: Un caso ex-
tremo de heterogeneidad se da cuando los
agentes no son "conscientes"de que persi-
guen un objetivo comun o este objetivo no
existe. Entonces los agentes actuan de for-
ma auto-motivada (`ego sta'), emprendien-
do acciones unicamente si son individual-
mente racionales, es decir, bene ciosas pa-
ra ellos.
En este area el objeto de estudio son las situa-
ciones en las que agentes de este tipo coope-
ran, formando coaliciones, bajo que condiciones
se retiran de una coalicion, y cuando compiten
Sandholm 98] y Conte, Castelfranchi 95]. Es-
te enfoque se trata en los temas 4 y 6 de este
monogra co.
Al dise~nar un sistema basado en el conocimien-
to para un problema particular se elaboran ba-
ses de conocimiento, para seguidamente, con-
gurar mecanismos de inferencia que razonen
sobre ellas. Sin embargo, este procedimiento es
demasiado costoso para construir sistemas in-
teligentes a gran escala y se plantea `reutilizar'
bases de conocimiento ya existentes.
Un problema importante que surge a la hora
de integrar agentes preexistentes reside en la
heterogeneidad de sus conocimientos. En este
contexto se esta promocionando lenguajes in-
termedios (un ejemplo es KIF, Knowledge In-
terchange Format). Una vez resuelto el pro-
blema de las representaciones heterogeneas, los
agentes se entienden en los terminos en los que
se describe el entorno. Sin embargo, para co-
municarse por completo hace falta especi car
un lenguaje de comunicacion de agentes que
de na la pragmatica de mensajes. Una pro-
puesta en esta direccion es KQML (Knowledge
Query and Manipulation Language) Finnin et
al, 93] un lenguaje de comunicacion estandar
entre agentes software. Otra propuesta en es-
ta direccion, con enfasis especial en la coordi-
nacion entre agentes es Cool Barbuceanu, Fox
95].
Los sistemas multiagente pueden constituir el
marco adecuado para ello: cada sistema basado
en el conocimiento se concibe como un agente
inteligente, que puede ser utilizado en diferen-
tes dominios. Un nuevo sistema se construye
especi cando la forma en la que debe intero-
perar con agentes ya existentes, delegando en
ellos una parte de las tareas. De esta forma
se comparten conocimiento y tecnicas de razo-
namiento o actuacion entre diferentes sistemas
Netches et al 91].
En los temas 5 y 8 de este monogra cose tratan
diferentes aspectos de esta problematica.
4 Agentes Autonomos
Con la proliferacion de los ordenadores perso-
nales, el auge de la Internet y las autopistas de
informacion, la idea de a
gentes software"se ha
convertido en uno de los temas de actualidad y
especialmente cuando se combina con el adje-
tivo "inteligente"se generan expectativas sobre
"robots software"casi humanos, capaces de rea-
lizar tareas sin supervision. Hoy en d a, se utili-
zan agentes software para tareas muy concretas
como son el ltrado de los mensajes del correo
electronico, ayuda en la plani cacion de reunio-
nes o busqueda de referencias de art culos en la
red. Mucho trabajo de desarrollo se concentra
en crear un "mercado electronico"en el que, a
peticion del usuario, los agentes realicen tareas
(por ejemplo compras).
Un planteamiento de estas caracter sticas se
realiza en el tema 7 de este monogra co.
En base a sus areas de aplicacion, se identi -
can diferentes tipos de agentes: agentes interfaz
(disponen de informacion sobre el usuario y fa-
cilitan asistencia en el manejo de una aplicacion
particular), agentes de informacion (gestionan
diferentes fuentes distribuidas de informacion)
o agentes virtuales Nwana 96].
Sin embargo, aunque ya no se discuten las ven-
tajas de los agentes software inteligentes en es-
tos dominios, existen discrepancias al delimitar
el concepto de agente software inteligente. Hay
tres enfoques, el de caracterizacion de agentes
por propiedades, como sistemas intencionales y
por el contexto.
En el enfoque basado en propiedades se carac-
teriza a un agente software como un proceso
informatico al que se pueden atribuir una serie
de caracter sticas. La siguiente lista no preten-
de ser exhaustiva pero recopila un conjunto de
propiedades que se consideran esenciales Wool-
dridge, Jennings 95]:
Capacidad para resolver problemas no tri-
viales: Un agente inteligente sabe razonar
sobre el entorno, capacidad que le permite
realizar un conjunto de tareas
Racionalidad (limitada): Los agentes estan
dotados de un conjunto de objetivos y em-
prenden acciones para realizarlos. Eligen
sus acciones segun el principio de raciona-
lidad, es decir, pre eren la accion mas pro-
metedora para sus metas. Sin embargo, su
actuacion esta limitada por el tiempo y los
recursos.
Autonom a (limitada): Los agentes tienen
sus propias motivaciones a partir de las
que generan autonomamente sus objetivos.
Sin embargo, para alcanzar gran parte de
los mismos dependen de la ayuda de los
demas agentes, lo cual pone l mite a su au-
tonom a.
Reactividad y Pro-Actividad: Los agentes
perciben el entorno y responden a los cam-
bios que ocurren en el. Ademas, debido
a que generan sus propias metas y pue-
den actuar convenientemente son capaces
de `tomar la iniciativa'.
Sociabilidad: Un agente tiene en cuenta la
existencia de otros agentes e interactua con
ellos mediante algun tipo de comunicacion
y un conjunto de convenios.
Hay posturas con una de nicion mas fuerte de
agente inteligente al considerarlos como siste-
mas intencionales Dennet 87], es decir, entida-
des cuyo comportamiento se puede describir so-
bre sus actitudes de informacion (conocimiento
y creencias) o sobre sus actitudes de decision
(deseos, objetivos, interes, compromiso, obliga-
cion, etc). Sin embargo, esta caracterizacion
tampoco es satisfactoria. Segun el punto de vis-
ta del observador, se puede describir todo tipo
de objetos en estos terminos.
Una tercera alternativa consiste en trasladar el
foco de atencion del agente software individual
al sistema de agentes. Para ello se de ne el
contexto para seguidamente derivar la nocion
de agente: Si un sistema inteligente se carac-
teriza por la interaccion dinamica entre com-
ponentes (contrario a la estructura jerarquica
del software habitual) entonces es un sistema de
agentes software inteligentes. Los componentes
de tal sistema se llaman agentes software inte-
ligentes.
Esta vision aclara la relacion entre la tecnolog a
de agentes software y la IAD. La IAD esta in-
teresada en las relaciones que surgen entre el
entorno, el sistema inteligente, y sus compo-
nentes, los agentes. El objetivo ultimo de la
IAD es construir un sistema a partir de agentes
software que exhiba ciertas funcionalidades en
un entorno.
5 Conclusion
Es dif cil delimitar los campos relativos a los
agentes autonomos, a los sistemas multiagente
y a la distribucion distribuida de problemas y
no existe un consenso en la comunidad de IAD.
Sin embargo y con el riesgo de simpli car, se
puede a rmar que:
La resolucion distribuida de problemas se
centra en el problema y en concreto en
como construir colectivos de agentes que
muestren las propiedades externas desea-
das de robustez y calidad de respuesta.
La investigacion de agentes autonomos es-
ta centrada en el agente. Se intenta asegu-
rar la supervivencia del agente en diferen-
tes situaciones del mundo real en entornos
multiagente.
La investigacion en los sistemas multiagen-
te se centra en la interacciones entre agen-
tes. Se pretende asegurar las propiedades
de estas interacciones, como es la estabi-
lidad en sistemas abiertos en los que los
agentes son dinamicos e imprevisibles.
Bibliograf a
Auman et al. 94, Auman, R. Hart, S.
"Handbook of Game Theory". Elsevier,
1994
Axelrod 84, Axelrod, R. "The Evolution of
Cooperation". Basic Books, 1984
Barbuceanu et al. 95, Barbuceanu, M.
Fox, S. "COOL: A Language for Descri-
bing Coordination in Multi Agent Sys-
tems". Proc. ICMAS-95, 1995, p. 17-24
Bond et al. 88, Bond, A. Gasser, L. "Rea-
dings in Distributed Arti cial Intelligen-
ce". Morgan Kaufman, 1988
Brooks 95, Brooks, R. "Intelligence Wit-
hout Reason". Steels et al. 95]
Campbell et al. 89, Campbell, J. Cue-
na, J. "Perspectives in Arti cial Intelligen-
ce (Vol.1)". Ellis Horwood, 1989
Castelfranchi 94, Castelfranchi, C. "Gua-
rantees for Autonomy in Cognitive Agent
Architectures". Wooldridge et al. 94],
1994, p. 56-70
Castelfranchi et al. 96, Castelfranchi, C.
Conte, R. "Distributed Arti cial Intelli-
gence and Social Science: Critical Issues".
O'Hare et al. 96], 1996, p. 527-542
Casti et al. 94, Casti, J. Karlqvist, A..
"Cooperation & Con ict in General Evo-
lutionary Processes ", Wiley & Sons, 1994
Castillo-Hern 88, Castillo-Hern, L. "On
Distributed Arti cial Intelligence". Know-
ledge Engineering Review, Vol.3, 1988, p.
21-57
Chaib-Draa 95, Chaib-Draa, B. "Industrial
Applications of Distributed AI". Commu-
nications of the ACM Vol.38 No.11, 1995,
p. 49-53
Chaib-Draa et al. 92, Chaib-Draa, H.
Moulin, B. "Trends in Distributed Arti-
cial Intelligence". Arti cial Intelligence
Review, No. 6, 1992, p. 35-66
Clearwater 95, Clearwater. S. (Ed.).
"Market-based Control: A Paradigm for
Distributed Resource Allocation". World
Scienti c, 1995
Cockburn et al. 96, Cockburn, D. Jen-
nings, N. "ARCHON: A Distributed Arti-
cial Intelligence System for Industrial Ap-
plications". O'Hare et al. 96], 1996
Cohen et al. 90, Cohen, P. Morgan, J.
Pollack, M. (Eds.). "Intentions in Com-
munication". MIT Press, 1990
Conte et al. 95, Conte, R. Castelfranchi,
C. "Cognitive and Social Action". UCL
Press, London, 1995
Cuena 93, Cuena, J. "Knowledge Oriented
Software Design". North-Holland, 1993
Cuena 98, Cuena J., Ossowski S.: "Distri-
buted Models for Decision Support". To
appear in "Introduction to Distributed Ar-
ti cial Intelligence". Weiss and Sen (eds.)
AAAI/MIT Press, 1998
Davis et al. 83, Davis, R. Smith, R. "Ne-
gotiation as a Metaphor for Distributed
Problem Solving". Arti cial Intelligence
20, 1983, p. 63-109
Decker 95, Decker, K. "Environment Cen-
tered Analysis and Design of Coordination
Mechanisms". Ph.D. Thesis, UMass Com-
puter Science Dpt., 1995
Demazeau 95, Demazeau, Y. "From Inte-
ractions to Collective Behaviour in Agent-
based Systems". Europ. Conf. on Cogni-
tive Science, 1995
Demazeau et al. 91, Demazeau, Y. "De-
centralised A.I. 2". North Holland, 1991
Durfee 88, Durfee, E. "Coordination of
Distributed Problem Solvers". Kluwer,
1988
Durfee et al. 91, Durfee, E. Lesser, V.
Corkill, D. "Trends in Cooperative Distri-
buted Problem Solving". Kluwer, 1991
Durfee et al. 94a, Durfee, E. Rosens-
chein, J. "Distributed Problem Solving and
Multi-Agent Systems: Comparisons and
Examples". Proc. 13th Int. DAI Works-
hop, 1994, p. 94-104
Engelmore et al. 88, Engelmore, R. Mor-
gan, T. "Blackboard Systems". Addison
Wesley, 1988
Erman et al. 80, Erman, L. Hayes-Roth,
F. Lesser, V. Reddy, D. "The Hearsay-
II Speech-Understanding System: Integra-
ting Knowledge to Resolve Uncertainty".
Computing Surveys 12 (2), 1980, p. 213-
253
Finin et al. 93, Finin, T. Fritzson, R.
McKay, D. McEntire, R. "KQML - A Lan-
guage and Protocol for Knowledge and In-
formation Exchange". Technical Report of
the ARPA Knowledge Sharing E ort, 1993
Franklin et al. 96, Franklin, S. Graesser,
A. "Is it an Agent, or just a Program?: A
Taxonomyfor AutonomousAgents". Proc.
ATAL'96, 1996, p. 193-206
Garc a-Serrano et al. 97, Garc a-Serrano,
A. Ossowski, S. "Coordinacion y Coopera-
cion en Sistemas Distribuidos". To appear
in: Analisis de Sistemas Complejos (Dola-
do Ed.), 1997
Gasser 91, Gasser, L. "Social Conceptions
of Knowledge and Action: DAI Founda-
tions and Open Systems Semantics". Ar-
ti cial Intelligence 47, 1991, p. 107-138
Gasser et al. 89, Gasser, L. Huhns,
M. "Distributed Arti cial Intelligence, Vol.
II". Morgan Kaufmann, 1989
Genesereth et al. 94, Genesereth, M.
Ketchpel, S. "Software Agents". Commu-
nications of the ACM, Vol.37, No.7, 1994,
p. 48-53
George et al. 98, George J. Rao, A.
Singh, M.: "Formal Methods in DAI". To
appear in "Introduction to Distributed Ar-
ti cial Intelligence". Weiss and Sen (eds.)
AAAI/MIT Press, 1998
Gmytrasiewicz et al. 93, Gmytrasiewicz,
P. Durfee, E. "Reasoning about other
Agents: Philosophy, Theory and Imple-
mentation". Int. Workshop on Distributed
Arti cial Intelligence, 1993
Hewitt 77, Hewitt, C. "Viewing Control
Structures as Patterns of Message Pas-
sing". Arti cial Intelligence 8, 1977, p.
323-364
Huhns et al. 98, Huhns, M., Stephens,
L.: "Multiagent Systems & Societies of
Agents". To appear in "Introduction to
Distributed Arti cial Intelligence". Weiss
and Sen (eds.) AAAI/MIT Press, 1998
Jennings 96, Jennings, N. "Coordination
Techniques for Distributed Arti cial Inte-
lligence". O'Hare et al. 96], 1996, p. 187-
210
Jennings et al. 97, Jennings, N. Campos,
J. "Towards a Social Level Characterisa-
tion of Socially Responsible Agents". IEE
Proc. on Software Engineering, 144(1),
1997
Malone et al. 94, Malone, T. Crowston,
K. "Toward an Interdisciplinary Theory of
Coordination". Computing Surveys Vol.
26 No.1, 1994, p. 87-119
McCarthy 79, McCarthy, J. "Ascribing
Mental Qualities to Machines". Tech.
Rep. Memo 326, Stanford University, AI
Lab, 1979
Moulin et al. 96, Molin, B. Chaib-Draa,
B. "An Overview of Distributed Arti cial
Intelligence". O'Hare et al. 96], 1996, p.
3-56
Muller 96, Muller, H. "Negotiation Princi-
ples". O'Hare 96], 1996, p. 211-225
Neches et al. 91 Neches, R. Fikes, R.
Finin, T. Gruber, T. Patil, R. Sena-
tor, T. Swartout, W. "Enabling Techno-
logy for Knowledge Sharing". AI Magazi-
ne, 1991, p. 36-56
Newell 93, Newell, A. "Re ections on the
Knowledge Level". Arti cial Intelligence
59, 1993, p. 31-38
Nwana 96, Nwana, H. "Software Agents:
An Overview". Knowledge Engineering
Review, 1996
O'Hare et al. 96, O'Hare, G. Jennings,
N. "Foundations of Distributed Arti cial
Intelligence". Wiley Sons, 1996
Ossowski 98, Ossowski, S.: On the Func-
tionality of Social Structure in Arti cial
Agent Societies. Se publicara en la serie
LNAI, Springer
Parunak 88 , Parunak, H. "Distributed Ar-
ti cial Intelligence Systems". Kusiak 88],
1988, p. 225-251
Rao et al. 95, Rao, A. George , M. "BDI
Agents: From Theory to Practice". Proc.
ICMAS-95, 1995, p. 312-319
Rosenschein et al. 94, Rosenschein, J.
Zlotkin, G. "Rules of Encounter: Desig-
ning Conventions for Automated Negotia-
tion among Computers". MIT Press, 1994
Russell et al. 95 , Russell, S. Norvig,
P. "Arti cial Intelligence: A Modern Ap-
proach". Prentice-Hall, 1995
Sandholm 98, Sandholm, T. `Distributed
Rational Decision Making'. To appear in
`Introduction to Distributed Arti cial Inte-
lligence'. Weiss and Sen (eds.) AAAI/MIT
Press, 1998
Searle 69 , Searle, J. `Speech Acts'. Cam-
bridge University Press, 1969
Shi 91, Shi, Z. `Distributed Arti cial Inte-
lligence' p.113-120
Shoham 93, Shoham, Y. `Agent-oriented
Programming'. Arti cial Intelligence 60,
1993, p. 51-92
Shoham et al. 95, Shoham, Y. Tennen-
holz, M. `On Social Laws for Arti cial
Agent Societies: O -line Design'. Arti -
cial Intelligence 73, 1995, p. 231-252
Sichman et al. 95, Sichman, J. Demazeau,
Y. 'Exploiting Social Reasoning to Deal
with Agency Level Inconsistencies'. Proc.
ICMAS-95, 1995, p. 352-359
Smith 80, Smith, R. `The Contract Net
Protocol: High-Level Communication and
Control in a Distributed Problem Solver'.
IEEE Trans. on Computers, Vol. C29,
No.12, 1980, p.1104-1113
Steels 95, Steels, L. (Ed.). `The Biology
and Technology of Intelligent Autonomous
Agents'. Springer, 1995
Ste k 86, Ste k, M. `The Next Knowledge
Medium'. AI Magazine, Vol. 7, No. 1,
1986, p. 34-46
Tuomola 96, Tuomola, R. `Philosophy and
Distributed Arti cial Intelligence: The Ca-
se of Joint Intentions'. O'Hare et al. 96],
1996, p. 487-504
Wooldridge M., Jennings, N. `Agent Theo-
ries, Architectures and Languages: A sur-
vey'. ECAI'94, Amsterdam.
Wooldridge et al. 95, Wooldridge, M. Jen-
nings, N. `Intelligent Agents: Theory and
Practice'. Knowledge Engineering Review,
Vol. 10, No. 2, 1995, p. 115-152
Wooldridge, 98, Wooldridge, M.: `Intelli-
gent Agents". To appear in "Introduc-
tion to Distributed Arti cial Intelligence'.
Weiss and Sen (eds.) AAAI/MIT Press,
1998
Yang et al. 96, Yang, H. Zhang, C. `De -
nition and Application of a Comprehensi-
ve Frameworkfor Distributed Problem Sol-
ving'. Zhang et al. 96], 1996, p. 1-15
Zhang et al. 96, Zhang, C. Lukose, D.
`Distributed Arti cial Intelligence Archi-
tecture and Modellin'". Springer, LNAI
1087, 1996

Weitere ähnliche Inhalte

Was ist angesagt?

Clase1 Sistemas De InformacióN
Clase1 Sistemas De InformacióNClase1 Sistemas De InformacióN
Clase1 Sistemas De InformacióN
JohannaMorela
 
Metodo sistemas suaves(mss)ç
Metodo sistemas suaves(mss)çMetodo sistemas suaves(mss)ç
Metodo sistemas suaves(mss)ç
Sergio Jurado
 
Desarrollo de sistemas
Desarrollo de sistemasDesarrollo de sistemas
Desarrollo de sistemas
Hermes Romero
 
La naturaleza del pensamiento de sistemas duros unidad 3
La naturaleza del pensamiento de sistemas duros unidad 3La naturaleza del pensamiento de sistemas duros unidad 3
La naturaleza del pensamiento de sistemas duros unidad 3
Alejandro Sanchez Rodriguez
 
Metodologia de checkland para sistemas suaves
Metodologia de checkland para sistemas suavesMetodologia de checkland para sistemas suaves
Metodologia de checkland para sistemas suaves
Duno Winchester
 

Was ist angesagt? (20)

Clase1 Sistemas De InformacióN
Clase1 Sistemas De InformacióNClase1 Sistemas De InformacióN
Clase1 Sistemas De InformacióN
 
gerson jack
gerson jack gerson jack
gerson jack
 
resumen del libro kendel
resumen del libro kendelresumen del libro kendel
resumen del libro kendel
 
Dss
DssDss
Dss
 
Intervención en el diseño de los procesos actividades y operaciones.
Intervención en el diseño de los procesos actividades y operaciones.Intervención en el diseño de los procesos actividades y operaciones.
Intervención en el diseño de los procesos actividades y operaciones.
 
Enfoque sistematico y pensamiento sistematico
Enfoque sistematico y pensamiento sistematicoEnfoque sistematico y pensamiento sistematico
Enfoque sistematico y pensamiento sistematico
 
El enfoque de sistemas y pensamiento sistémico
El enfoque de sistemas y pensamiento sistémico El enfoque de sistemas y pensamiento sistémico
El enfoque de sistemas y pensamiento sistémico
 
Primer Eje Temático - Diseño de Sistemas
Primer Eje Temático - Diseño de SistemasPrimer Eje Temático - Diseño de Sistemas
Primer Eje Temático - Diseño de Sistemas
 
Jimena resumen
Jimena resumenJimena resumen
Jimena resumen
 
Metodo sistemas suaves(mss)ç
Metodo sistemas suaves(mss)çMetodo sistemas suaves(mss)ç
Metodo sistemas suaves(mss)ç
 
Desarrollo de sistemas
Desarrollo de sistemasDesarrollo de sistemas
Desarrollo de sistemas
 
Metodología de Sistemas Suaves (MSS)
Metodología de Sistemas Suaves (MSS)Metodología de Sistemas Suaves (MSS)
Metodología de Sistemas Suaves (MSS)
 
Aplicaciones. (enfoque probalistico) unidad 5
Aplicaciones. (enfoque probalistico) unidad 5Aplicaciones. (enfoque probalistico) unidad 5
Aplicaciones. (enfoque probalistico) unidad 5
 
Unidad III Teoría General de Sistemas. Tema IV Enfoque de Sistemas en las Org...
Unidad III Teoría General de Sistemas. Tema IV Enfoque de Sistemas en las Org...Unidad III Teoría General de Sistemas. Tema IV Enfoque de Sistemas en las Org...
Unidad III Teoría General de Sistemas. Tema IV Enfoque de Sistemas en las Org...
 
Sistema de soporte de decisiones(investigacion)
Sistema de soporte de decisiones(investigacion)Sistema de soporte de decisiones(investigacion)
Sistema de soporte de decisiones(investigacion)
 
Presentación de pensamiento sistémico y enfoque de sistemas
Presentación de pensamiento sistémico y enfoque de sistemasPresentación de pensamiento sistémico y enfoque de sistemas
Presentación de pensamiento sistémico y enfoque de sistemas
 
La naturaleza del pensamiento de sistemas duros unidad 3
La naturaleza del pensamiento de sistemas duros unidad 3La naturaleza del pensamiento de sistemas duros unidad 3
La naturaleza del pensamiento de sistemas duros unidad 3
 
Metodologia de checkland para sistemas suaves
Metodologia de checkland para sistemas suavesMetodologia de checkland para sistemas suaves
Metodologia de checkland para sistemas suaves
 
Sistemas Suaves o Blandos
Sistemas Suaves o BlandosSistemas Suaves o Blandos
Sistemas Suaves o Blandos
 
analisis con dianmica de sistemas
analisis con dianmica de sistemas analisis con dianmica de sistemas
analisis con dianmica de sistemas
 

Ähnlich wie Garcia98

Simulación basada en agentes y multi agentes
Simulación basada en agentes y multi agentesSimulación basada en agentes y multi agentes
Simulación basada en agentes y multi agentes
Verónica Es'Loo
 
Ensayo de Analisis y Diseño de Sistemas
Ensayo de Analisis y Diseño de SistemasEnsayo de Analisis y Diseño de Sistemas
Ensayo de Analisis y Diseño de Sistemas
rdo09
 
El rediseño de la institucion mediante el sistema informatico
El rediseño de la institucion mediante el sistema informaticoEl rediseño de la institucion mediante el sistema informatico
El rediseño de la institucion mediante el sistema informatico
Ronald Rojas Chinchay
 
Ingeniería del software orientada a agentes
Ingeniería del software orientada a agentesIngeniería del software orientada a agentes
Ingeniería del software orientada a agentes
kasas12
 
Subtema 6.2 el sistema de actividad humana como un lenguaje de modelación
Subtema 6.2   el sistema de actividad humana como un lenguaje de modelaciónSubtema 6.2   el sistema de actividad humana como un lenguaje de modelación
Subtema 6.2 el sistema de actividad humana como un lenguaje de modelación
Joelin Sanchez
 
Analisis y diseño de sistemas kendall y kendall, preguntas de repaso
Analisis y diseño de sistemas kendall y kendall,  preguntas de repasoAnalisis y diseño de sistemas kendall y kendall,  preguntas de repaso
Analisis y diseño de sistemas kendall y kendall, preguntas de repaso
Alejandro Rivera Santander
 

Ähnlich wie Garcia98 (20)

El enfoque de sistemas unefa
El enfoque de sistemas unefaEl enfoque de sistemas unefa
El enfoque de sistemas unefa
 
ENFOQUE Y PENSAMIENTO SISTEMICO.pptx
ENFOQUE Y PENSAMIENTO SISTEMICO.pptxENFOQUE Y PENSAMIENTO SISTEMICO.pptx
ENFOQUE Y PENSAMIENTO SISTEMICO.pptx
 
Ensayo de la inteligencia artificial distribuida
Ensayo de la inteligencia artificial distribuidaEnsayo de la inteligencia artificial distribuida
Ensayo de la inteligencia artificial distribuida
 
Enfoque sistemico
Enfoque sistemicoEnfoque sistemico
Enfoque sistemico
 
Reporte de-investigación
Reporte de-investigaciónReporte de-investigación
Reporte de-investigación
 
Sintesis
SintesisSintesis
Sintesis
 
Sintesis
SintesisSintesis
Sintesis
 
Simulación basada en agentes y multi agentes
Simulación basada en agentes y multi agentesSimulación basada en agentes y multi agentes
Simulación basada en agentes y multi agentes
 
Ensayo de Analisis y Diseño de Sistemas
Ensayo de Analisis y Diseño de SistemasEnsayo de Analisis y Diseño de Sistemas
Ensayo de Analisis y Diseño de Sistemas
 
El rediseño de la institucion mediante el sistema informatico
El rediseño de la institucion mediante el sistema informaticoEl rediseño de la institucion mediante el sistema informatico
El rediseño de la institucion mediante el sistema informatico
 
Ingenieria del Software
Ingenieria del SoftwareIngenieria del Software
Ingenieria del Software
 
Ingeniería del software orientada a agentes
Ingeniería del software orientada a agentesIngeniería del software orientada a agentes
Ingeniería del software orientada a agentes
 
Sistema y procedimientos, dubey arcila
Sistema y procedimientos, dubey arcilaSistema y procedimientos, dubey arcila
Sistema y procedimientos, dubey arcila
 
Sistemas
SistemasSistemas
Sistemas
 
Subtema 6.2 el sistema de actividad humana como un lenguaje de modelación
Subtema 6.2   el sistema de actividad humana como un lenguaje de modelaciónSubtema 6.2   el sistema de actividad humana como un lenguaje de modelación
Subtema 6.2 el sistema de actividad humana como un lenguaje de modelación
 
Jose marcano analisis y diseño de sistemas
Jose marcano analisis y diseño de sistemasJose marcano analisis y diseño de sistemas
Jose marcano analisis y diseño de sistemas
 
Sistema de información
Sistema de informaciónSistema de información
Sistema de información
 
Tarea sistemas2
Tarea sistemas2Tarea sistemas2
Tarea sistemas2
 
Dinámica de sistemas
Dinámica de sistemasDinámica de sistemas
Dinámica de sistemas
 
Analisis y diseño de sistemas kendall y kendall, preguntas de repaso
Analisis y diseño de sistemas kendall y kendall,  preguntas de repasoAnalisis y diseño de sistemas kendall y kendall,  preguntas de repaso
Analisis y diseño de sistemas kendall y kendall, preguntas de repaso
 

Garcia98

  • 1. Inteligencia Arti cial Distribuida y Sistemas Multiagente Ana Garc a Serrano ISYS Departamento de Inteligencia Arti cial Universidad Politecnica de Madrid agarcia@dia. .upm.es Sascha Ossowski ESCET Departamento de Informatica Universidad Juan Carlos de Madrid s.ossowski@escet.urjc.es Resumen Se presenta una panoramica de la Inteligencia Arti cial Distribuida y de los Sistemas Multiagente, describiendo los conceptos relacionados y los objetivos de las diferentes l neas de actuacion: la Resolucion Distribuida de Problemas, los Sistemas Multiagente y los Agentes Autonomos. 1 Inteligencia Arti cial Dis- tribuida El avance tecnologico en las comunicaciones lle- va al planteamiento de nuevos escenarios en los que es necesaria la comparticion y la coordi- nacion y por consiguiente nuevas metodolog as, tecnicas y entornos de soporte informatico para desarrollo de sistemas que incluyan los aspectos de coordinacion y distribucion. La Inteligencia Arti cial, campo de la in- formatica, no ha sido impasible a este avance y a nales de los a~nos setenta aparecen los pri- meros trabajos en Inteligencia Arti cial Distri- buida (aunque la primera reunion tematica fue en 1980). Su objeto es el estudio de modelos y tecnicas para resolucion de problemas en los que la distribucion, sea f sica o funcional, sea inherente. La metafora de la `inteligencia' uti- lizada esta fundada en diferentes metaforas de las ciencias exactas y sociales, como la biolog a, la f sica y la sociolog a. Los individuales hetre- rogeneos e independientes del sistema son `in- teligentes' si alcanzan un cierto grado de adap- tacion mutua. Los sistemas tradicionales de la Inteligencia Ar- ti cial se conciben individualmente como un agente monol tico cuyo comportamiento ser a descrito como `racional' por un observador ex- terno. A principios de los a~nos ochenta los sis- temas para resolucion distribuida de problemas se caracterizaban por una forma de actuacion concurrente en los diferentes nodos de una red, en general con control centralizado, de forma que los diferentes componentes son impasibles ante las actuaciones del resto de los componen- tes de la red. En este caso el objeto de estudio es la coordinacion para resolucion distribuida de problemas. Ejemplo paradigmatico de esta epoca es la arquitectura de pizarra del sistema Hearsay Erman et al. 80]. Al principio de los a~nos noventa aparecen sis- temas multiagente con control descentralizado y con modulos reusables Demazeau 91]. Los agentes de un sistema multiagente se conciben como independientes de un problema en concre- to y se dota al sistema de protocolos de comu- nicacion su cientemente genericos. Un ejemplo es ARCHON Cockburn y Jennings, 95]. Recientemente los trabajos se han orientado al 1
  • 2. estudio de la interoperabilidad de sistemas he- terogeneos distribuidos o de agentes autonomos y a su forma de adaptarse a entornos dinamicos. En general, los sistemas IAD se caracterizan por una arquitectura formada por componen- tes inteligentes y modulares que interactuan de forma coordinada. No existe una terminolog a compartida en la IAD, ni esquemas de clasi - cacion reconocidos por la mayor a, aunque no hay discrepancias substanciales en cuanto a las ventajas que ofrece el enfoque IAD sobre los paradigmas convencionales: 1. Como los sistemas distribuidos convencio- nales, los sistemas de la IAD aprovechan la distribucion natural del dominio (espa- cial, temporal, funcional) con los nes si- guientes: mejorar el rendimiento, la robus- tez, facilitar reusabilidad y mantenimien- to. Ademas una arquitectura distribuida facilita el aprovechamiento del paralelismo inherente en la estructura de un problema. 2. Los sistemas IAD generan un valor a~nadi- do, que se mani esta en: una mejor acep- tabilidad en la sociedad, favorecer la adap- tacion estructuras preexistentes en las or- ganizaciones humanas y facilitar la interac- cion hombre-maquina. 3. Favorecen el desarrollo de modelos cogni- tivos de cooperacion y coordinacion como fenomenos complejos y generan evidencia para teor as lingu sticas, psicologicas, so- ciologicas y loso cas respecto a estos te- mas. Pueden encontrarse diferentes trabajos que pre- sentan el panorama general de la investigacion actual en el campo de la Inteligencia Arti cial y de los sistemas multiagente Bond et al. 88] Parunak 88] Castillo-Hern 88] Gasser et al. 89] Shi 91] Chaib-Draa 92] von Martial 92] Gasser 93] Molin et al. 96]. Ultimamente, han aparecido mas articulos destinados a caracteri- zar alguna de las muchas corrientes de investi- gacion Wooldridge et al. 95] Chaib-Draa 95] Franklin et al. 96] Nwana 96] Castelfranchi et al. 96] Wooldridge 98] Huhns, Stephens 98]. A continuacion, se presenta la Inteligencia Ar- ti cial Distribuida desde la perspectiva de la Resolucion Distribuida de Problemas, los Siste- mas Multiagente y los Agentes Autonomos. 2 Resolucion Distribuida de Problemas La resolucion distribuida de problemas (RDP) estudia los sistemas inteligentes distribuidos con una funcionalidad global y cuyos agentes cumplen unas caracter sticas m nimas de (Dur- fee, Rosenschein, 94): Benevolencia: Los agentes cooperan con los demas siempre que les sea posible. No pueden `mentir', ni esconder informacion. Objetivos compartidos: Todos los agentes valoran el resultado de la actividad del gru- po con la misma escala y desean contribuir para maximizar su calidad. Dise~no central: Todos los agentes se di- se~nan para que se integren en un sistema inteligente, capaz de resolver un problema. El dise~nador debe asegurar que los agentes utilicen el mismo lenguaje, que cada agen- te desempe~ne un papel que in uya en la consecucion del objetivo global etc. El proceso de razonamiento en un grupo de agentes de un sistema RDP se puede subdividir en cuatro diferentes etapas (en general) (Yang, Zhang 96): Descomposicion de tareas: una tarea se descompone en tareas menos complejas o mas peque~nas. Asignacion de tareas y recursos entre agen- tes: se determina que agentes tendran que resolver una tarea y de los recursos que dis- ponen. Resolucion de subproblemas: cada agente resuelve las tareas que le han sido asigna- das. Integracion de soluciones: para componer y conseguir una solucion a la tarea inicial. El dilema basico de la RDP consiste en realizar tal proceso de forma globalmente coherente, ya que las decisiones globales se toman localmente pues ningun componente dispone de una vision completa del proceso de resolucion del proble- ma. Debido a que la distribucion del conocimiento entre los componentes no tiene por quecoincidir
  • 3. con la estructura del problema, se produce un desajuste de modelos Ossowski 97], es decir, los agentes dependen de la ayuda de los demas para acceder al conocimiento o a la informacion que existe en el sistema. Se pueden distinguir tres casos: Distribucion del conocimiento del caso: Un agente no necesita acceder a un recurso que gestiona otro agente, p. e. los datos de un sensor. Distribucion del conocimiento del dominio: Un agente no dispone del conocimiento ne- cesario para resolver una tarea y la delega en otro agente. Distribucion del conocimiento de control (de tareas): Un agente no sabe tramitar una tarea por lo que la pasa a un agente gestor, p. e. un plani cador que descom- pone la tarea y asigna las subtareas. Esta problematica implica la necesidad de que los agentes coordinen sus acciones. Los diferen- tes mecanismos de coordinacion en la RDP se pueden clasi car en tres grandes grupos (Jen- nings 96): Estructuras de organizacion: En el contex- to de la RDP las estructuras de organiza- cion se conciben como patrones estaticos de relaciones de informacion y de control entre los agentes. Por ejemplo, se de nen areas de interes pa- ra cada agente, en las que se especi can las tareas de las que el agente es responsable y se de nen estructuras de `autoridad', para resolver con ictos en caso de que las areas de interes se solapen. Plani cacion multiagente: Antes de co- menzar el proceso de resolucion del proble- ma los agentes generan un plan en el que se especi can todas sus futuras interacciones. La plani cacion se realiza de forma centra- lizada, todos los agentes mandan sus inten- ciones de actuacion a un agente coordina- dor. Este coordinador detecta relaciones con ictivas y sinergicas entre las acciones potenciales y las coordina para generar el plan del grupo. En el caso de plani cacion multiagente dis- tribuida, ningun agente dispone de conoci- miento sobre todas las actividades del gru- po, lo cual di culta considerablemente el proceso de plani cacion. Intercambio de informacion a metanivel: Este mecanismo facilita la coordinacion dinamica, es decir articula el proceso de resolucion de problemas con el de plani - cacion. Los agentes mantienen los modelos sobre los demas intercambiando informacion me- tanivel referente a su percepcion del estado de resolucion del problema. De este mo- do predicen localmente las acciones de los demas y eligen las acciones locales compa- tibles. Las arquitecturas clasicas de la RDP son los actores Hewitt 77] la red de contratos Smith 80 ] y Davis et al 83] y la arquitectura de pi- zarra Engelmore et al 88]. En estos enfoques la losof a de dise~no es reduccionista ya que se descompone la tarea global de forma top-down y se asignan las subtareas a los agentes. Las nuevas aproximaciones asumen un enfoque mas constructivo, ya que los agentes resuelven subproblemas y se coordinan para alcanzar la funcionalidad global (metodolog a bottom-up) Jennings, Campos 97]. En los temas 2 y 3 de este monogra co se presentan diferentes meto- dolog as para afrontar el desarrollo de sistemas distribuidos y se muestra la potencialidad de este campo para desarrollo de aplicaciones en tiempo real que controlen funciones de alto ni- vel con gran volumen de operadores de control. 3 Sistemas Multiagente En un sistema multiagente el conjunto de agen- tes esta sometido continuamente a cambios lo- cales. Estos cambios se dise~nan mediante reglas de comportamiento, cuyos resultados estan in- uenciados por el comportamiento del resto de agentes. En los sistemas multiagente reactivos estas reglas de comportamiento son muy sim- ples y estan inspiradas por ejemplo por las cien- cias biologicas Ferber 96]. En el caso de agentes cognitivos las reglas de comportamiento se corresponden con el prin- cipio de racionalidad. Por tanto, los sistemas multiagente (SMA) no presuponen las propie-
  • 4. dades de benevolencia, metas compartidas y di- se~no centralizado para la resolucion de proble- mas. Su perspectiva esta centrada en la inte- raccion entre los agentes y se caracterizan por Durfee, Rosenschein 94]: Heterogeneidad de agentes: Los agentes de un sistema SMA pueden contar con arqui- tecturas diferentes, utilizar diferentes re- presentaciones internas, comunicarse con diferentes lenguajes etc. Generalmente es- ta situacion es consecuencia de que el siste- ma y sus agentes no hayan sido dise~nados por una unica persona y para un n unico. Homogeneidad de intereses: Un caso ex- tremo de heterogeneidad se da cuando los agentes no son "conscientes"de que persi- guen un objetivo comun o este objetivo no existe. Entonces los agentes actuan de for- ma auto-motivada (`ego sta'), emprendien- do acciones unicamente si son individual- mente racionales, es decir, bene ciosas pa- ra ellos. En este area el objeto de estudio son las situa- ciones en las que agentes de este tipo coope- ran, formando coaliciones, bajo que condiciones se retiran de una coalicion, y cuando compiten Sandholm 98] y Conte, Castelfranchi 95]. Es- te enfoque se trata en los temas 4 y 6 de este monogra co. Al dise~nar un sistema basado en el conocimien- to para un problema particular se elaboran ba- ses de conocimiento, para seguidamente, con- gurar mecanismos de inferencia que razonen sobre ellas. Sin embargo, este procedimiento es demasiado costoso para construir sistemas in- teligentes a gran escala y se plantea `reutilizar' bases de conocimiento ya existentes. Un problema importante que surge a la hora de integrar agentes preexistentes reside en la heterogeneidad de sus conocimientos. En este contexto se esta promocionando lenguajes in- termedios (un ejemplo es KIF, Knowledge In- terchange Format). Una vez resuelto el pro- blema de las representaciones heterogeneas, los agentes se entienden en los terminos en los que se describe el entorno. Sin embargo, para co- municarse por completo hace falta especi car un lenguaje de comunicacion de agentes que de na la pragmatica de mensajes. Una pro- puesta en esta direccion es KQML (Knowledge Query and Manipulation Language) Finnin et al, 93] un lenguaje de comunicacion estandar entre agentes software. Otra propuesta en es- ta direccion, con enfasis especial en la coordi- nacion entre agentes es Cool Barbuceanu, Fox 95]. Los sistemas multiagente pueden constituir el marco adecuado para ello: cada sistema basado en el conocimiento se concibe como un agente inteligente, que puede ser utilizado en diferen- tes dominios. Un nuevo sistema se construye especi cando la forma en la que debe intero- perar con agentes ya existentes, delegando en ellos una parte de las tareas. De esta forma se comparten conocimiento y tecnicas de razo- namiento o actuacion entre diferentes sistemas Netches et al 91]. En los temas 5 y 8 de este monogra cose tratan diferentes aspectos de esta problematica. 4 Agentes Autonomos Con la proliferacion de los ordenadores perso- nales, el auge de la Internet y las autopistas de informacion, la idea de a gentes software"se ha convertido en uno de los temas de actualidad y especialmente cuando se combina con el adje- tivo "inteligente"se generan expectativas sobre "robots software"casi humanos, capaces de rea- lizar tareas sin supervision. Hoy en d a, se utili- zan agentes software para tareas muy concretas como son el ltrado de los mensajes del correo electronico, ayuda en la plani cacion de reunio- nes o busqueda de referencias de art culos en la red. Mucho trabajo de desarrollo se concentra en crear un "mercado electronico"en el que, a peticion del usuario, los agentes realicen tareas (por ejemplo compras). Un planteamiento de estas caracter sticas se realiza en el tema 7 de este monogra co. En base a sus areas de aplicacion, se identi - can diferentes tipos de agentes: agentes interfaz (disponen de informacion sobre el usuario y fa- cilitan asistencia en el manejo de una aplicacion particular), agentes de informacion (gestionan diferentes fuentes distribuidas de informacion) o agentes virtuales Nwana 96]. Sin embargo, aunque ya no se discuten las ven-
  • 5. tajas de los agentes software inteligentes en es- tos dominios, existen discrepancias al delimitar el concepto de agente software inteligente. Hay tres enfoques, el de caracterizacion de agentes por propiedades, como sistemas intencionales y por el contexto. En el enfoque basado en propiedades se carac- teriza a un agente software como un proceso informatico al que se pueden atribuir una serie de caracter sticas. La siguiente lista no preten- de ser exhaustiva pero recopila un conjunto de propiedades que se consideran esenciales Wool- dridge, Jennings 95]: Capacidad para resolver problemas no tri- viales: Un agente inteligente sabe razonar sobre el entorno, capacidad que le permite realizar un conjunto de tareas Racionalidad (limitada): Los agentes estan dotados de un conjunto de objetivos y em- prenden acciones para realizarlos. Eligen sus acciones segun el principio de raciona- lidad, es decir, pre eren la accion mas pro- metedora para sus metas. Sin embargo, su actuacion esta limitada por el tiempo y los recursos. Autonom a (limitada): Los agentes tienen sus propias motivaciones a partir de las que generan autonomamente sus objetivos. Sin embargo, para alcanzar gran parte de los mismos dependen de la ayuda de los demas agentes, lo cual pone l mite a su au- tonom a. Reactividad y Pro-Actividad: Los agentes perciben el entorno y responden a los cam- bios que ocurren en el. Ademas, debido a que generan sus propias metas y pue- den actuar convenientemente son capaces de `tomar la iniciativa'. Sociabilidad: Un agente tiene en cuenta la existencia de otros agentes e interactua con ellos mediante algun tipo de comunicacion y un conjunto de convenios. Hay posturas con una de nicion mas fuerte de agente inteligente al considerarlos como siste- mas intencionales Dennet 87], es decir, entida- des cuyo comportamiento se puede describir so- bre sus actitudes de informacion (conocimiento y creencias) o sobre sus actitudes de decision (deseos, objetivos, interes, compromiso, obliga- cion, etc). Sin embargo, esta caracterizacion tampoco es satisfactoria. Segun el punto de vis- ta del observador, se puede describir todo tipo de objetos en estos terminos. Una tercera alternativa consiste en trasladar el foco de atencion del agente software individual al sistema de agentes. Para ello se de ne el contexto para seguidamente derivar la nocion de agente: Si un sistema inteligente se carac- teriza por la interaccion dinamica entre com- ponentes (contrario a la estructura jerarquica del software habitual) entonces es un sistema de agentes software inteligentes. Los componentes de tal sistema se llaman agentes software inte- ligentes. Esta vision aclara la relacion entre la tecnolog a de agentes software y la IAD. La IAD esta in- teresada en las relaciones que surgen entre el entorno, el sistema inteligente, y sus compo- nentes, los agentes. El objetivo ultimo de la IAD es construir un sistema a partir de agentes software que exhiba ciertas funcionalidades en un entorno. 5 Conclusion Es dif cil delimitar los campos relativos a los agentes autonomos, a los sistemas multiagente y a la distribucion distribuida de problemas y no existe un consenso en la comunidad de IAD. Sin embargo y con el riesgo de simpli car, se puede a rmar que: La resolucion distribuida de problemas se centra en el problema y en concreto en como construir colectivos de agentes que muestren las propiedades externas desea- das de robustez y calidad de respuesta. La investigacion de agentes autonomos es- ta centrada en el agente. Se intenta asegu- rar la supervivencia del agente en diferen- tes situaciones del mundo real en entornos multiagente. La investigacion en los sistemas multiagen- te se centra en la interacciones entre agen- tes. Se pretende asegurar las propiedades de estas interacciones, como es la estabi- lidad en sistemas abiertos en los que los agentes son dinamicos e imprevisibles.
  • 6. Bibliograf a Auman et al. 94, Auman, R. Hart, S. "Handbook of Game Theory". Elsevier, 1994 Axelrod 84, Axelrod, R. "The Evolution of Cooperation". Basic Books, 1984 Barbuceanu et al. 95, Barbuceanu, M. Fox, S. "COOL: A Language for Descri- bing Coordination in Multi Agent Sys- tems". Proc. ICMAS-95, 1995, p. 17-24 Bond et al. 88, Bond, A. Gasser, L. "Rea- dings in Distributed Arti cial Intelligen- ce". Morgan Kaufman, 1988 Brooks 95, Brooks, R. "Intelligence Wit- hout Reason". Steels et al. 95] Campbell et al. 89, Campbell, J. Cue- na, J. "Perspectives in Arti cial Intelligen- ce (Vol.1)". Ellis Horwood, 1989 Castelfranchi 94, Castelfranchi, C. "Gua- rantees for Autonomy in Cognitive Agent Architectures". Wooldridge et al. 94], 1994, p. 56-70 Castelfranchi et al. 96, Castelfranchi, C. Conte, R. "Distributed Arti cial Intelli- gence and Social Science: Critical Issues". O'Hare et al. 96], 1996, p. 527-542 Casti et al. 94, Casti, J. Karlqvist, A.. "Cooperation & Con ict in General Evo- lutionary Processes ", Wiley & Sons, 1994 Castillo-Hern 88, Castillo-Hern, L. "On Distributed Arti cial Intelligence". Know- ledge Engineering Review, Vol.3, 1988, p. 21-57 Chaib-Draa 95, Chaib-Draa, B. "Industrial Applications of Distributed AI". Commu- nications of the ACM Vol.38 No.11, 1995, p. 49-53 Chaib-Draa et al. 92, Chaib-Draa, H. Moulin, B. "Trends in Distributed Arti- cial Intelligence". Arti cial Intelligence Review, No. 6, 1992, p. 35-66 Clearwater 95, Clearwater. S. (Ed.). "Market-based Control: A Paradigm for Distributed Resource Allocation". World Scienti c, 1995 Cockburn et al. 96, Cockburn, D. Jen- nings, N. "ARCHON: A Distributed Arti- cial Intelligence System for Industrial Ap- plications". O'Hare et al. 96], 1996 Cohen et al. 90, Cohen, P. Morgan, J. Pollack, M. (Eds.). "Intentions in Com- munication". MIT Press, 1990 Conte et al. 95, Conte, R. Castelfranchi, C. "Cognitive and Social Action". UCL Press, London, 1995 Cuena 93, Cuena, J. "Knowledge Oriented Software Design". North-Holland, 1993 Cuena 98, Cuena J., Ossowski S.: "Distri- buted Models for Decision Support". To appear in "Introduction to Distributed Ar- ti cial Intelligence". Weiss and Sen (eds.) AAAI/MIT Press, 1998 Davis et al. 83, Davis, R. Smith, R. "Ne- gotiation as a Metaphor for Distributed Problem Solving". Arti cial Intelligence 20, 1983, p. 63-109 Decker 95, Decker, K. "Environment Cen- tered Analysis and Design of Coordination Mechanisms". Ph.D. Thesis, UMass Com- puter Science Dpt., 1995 Demazeau 95, Demazeau, Y. "From Inte- ractions to Collective Behaviour in Agent- based Systems". Europ. Conf. on Cogni- tive Science, 1995 Demazeau et al. 91, Demazeau, Y. "De- centralised A.I. 2". North Holland, 1991 Durfee 88, Durfee, E. "Coordination of Distributed Problem Solvers". Kluwer, 1988 Durfee et al. 91, Durfee, E. Lesser, V. Corkill, D. "Trends in Cooperative Distri- buted Problem Solving". Kluwer, 1991 Durfee et al. 94a, Durfee, E. Rosens- chein, J. "Distributed Problem Solving and Multi-Agent Systems: Comparisons and Examples". Proc. 13th Int. DAI Works- hop, 1994, p. 94-104 Engelmore et al. 88, Engelmore, R. Mor- gan, T. "Blackboard Systems". Addison Wesley, 1988 Erman et al. 80, Erman, L. Hayes-Roth, F. Lesser, V. Reddy, D. "The Hearsay- II Speech-Understanding System: Integra- ting Knowledge to Resolve Uncertainty". Computing Surveys 12 (2), 1980, p. 213- 253 Finin et al. 93, Finin, T. Fritzson, R. McKay, D. McEntire, R. "KQML - A Lan- guage and Protocol for Knowledge and In-
  • 7. formation Exchange". Technical Report of the ARPA Knowledge Sharing E ort, 1993 Franklin et al. 96, Franklin, S. Graesser, A. "Is it an Agent, or just a Program?: A Taxonomyfor AutonomousAgents". Proc. ATAL'96, 1996, p. 193-206 Garc a-Serrano et al. 97, Garc a-Serrano, A. Ossowski, S. "Coordinacion y Coopera- cion en Sistemas Distribuidos". To appear in: Analisis de Sistemas Complejos (Dola- do Ed.), 1997 Gasser 91, Gasser, L. "Social Conceptions of Knowledge and Action: DAI Founda- tions and Open Systems Semantics". Ar- ti cial Intelligence 47, 1991, p. 107-138 Gasser et al. 89, Gasser, L. Huhns, M. "Distributed Arti cial Intelligence, Vol. II". Morgan Kaufmann, 1989 Genesereth et al. 94, Genesereth, M. Ketchpel, S. "Software Agents". Commu- nications of the ACM, Vol.37, No.7, 1994, p. 48-53 George et al. 98, George J. Rao, A. Singh, M.: "Formal Methods in DAI". To appear in "Introduction to Distributed Ar- ti cial Intelligence". Weiss and Sen (eds.) AAAI/MIT Press, 1998 Gmytrasiewicz et al. 93, Gmytrasiewicz, P. Durfee, E. "Reasoning about other Agents: Philosophy, Theory and Imple- mentation". Int. Workshop on Distributed Arti cial Intelligence, 1993 Hewitt 77, Hewitt, C. "Viewing Control Structures as Patterns of Message Pas- sing". Arti cial Intelligence 8, 1977, p. 323-364 Huhns et al. 98, Huhns, M., Stephens, L.: "Multiagent Systems & Societies of Agents". To appear in "Introduction to Distributed Arti cial Intelligence". Weiss and Sen (eds.) AAAI/MIT Press, 1998 Jennings 96, Jennings, N. "Coordination Techniques for Distributed Arti cial Inte- lligence". O'Hare et al. 96], 1996, p. 187- 210 Jennings et al. 97, Jennings, N. Campos, J. "Towards a Social Level Characterisa- tion of Socially Responsible Agents". IEE Proc. on Software Engineering, 144(1), 1997 Malone et al. 94, Malone, T. Crowston, K. "Toward an Interdisciplinary Theory of Coordination". Computing Surveys Vol. 26 No.1, 1994, p. 87-119 McCarthy 79, McCarthy, J. "Ascribing Mental Qualities to Machines". Tech. Rep. Memo 326, Stanford University, AI Lab, 1979 Moulin et al. 96, Molin, B. Chaib-Draa, B. "An Overview of Distributed Arti cial Intelligence". O'Hare et al. 96], 1996, p. 3-56 Muller 96, Muller, H. "Negotiation Princi- ples". O'Hare 96], 1996, p. 211-225 Neches et al. 91 Neches, R. Fikes, R. Finin, T. Gruber, T. Patil, R. Sena- tor, T. Swartout, W. "Enabling Techno- logy for Knowledge Sharing". AI Magazi- ne, 1991, p. 36-56 Newell 93, Newell, A. "Re ections on the Knowledge Level". Arti cial Intelligence 59, 1993, p. 31-38 Nwana 96, Nwana, H. "Software Agents: An Overview". Knowledge Engineering Review, 1996 O'Hare et al. 96, O'Hare, G. Jennings, N. "Foundations of Distributed Arti cial Intelligence". Wiley Sons, 1996 Ossowski 98, Ossowski, S.: On the Func- tionality of Social Structure in Arti cial Agent Societies. Se publicara en la serie LNAI, Springer Parunak 88 , Parunak, H. "Distributed Ar- ti cial Intelligence Systems". Kusiak 88], 1988, p. 225-251 Rao et al. 95, Rao, A. George , M. "BDI Agents: From Theory to Practice". Proc. ICMAS-95, 1995, p. 312-319 Rosenschein et al. 94, Rosenschein, J. Zlotkin, G. "Rules of Encounter: Desig- ning Conventions for Automated Negotia- tion among Computers". MIT Press, 1994 Russell et al. 95 , Russell, S. Norvig, P. "Arti cial Intelligence: A Modern Ap- proach". Prentice-Hall, 1995 Sandholm 98, Sandholm, T. `Distributed Rational Decision Making'. To appear in `Introduction to Distributed Arti cial Inte- lligence'. Weiss and Sen (eds.) AAAI/MIT Press, 1998
  • 8. Searle 69 , Searle, J. `Speech Acts'. Cam- bridge University Press, 1969 Shi 91, Shi, Z. `Distributed Arti cial Inte- lligence' p.113-120 Shoham 93, Shoham, Y. `Agent-oriented Programming'. Arti cial Intelligence 60, 1993, p. 51-92 Shoham et al. 95, Shoham, Y. Tennen- holz, M. `On Social Laws for Arti cial Agent Societies: O -line Design'. Arti - cial Intelligence 73, 1995, p. 231-252 Sichman et al. 95, Sichman, J. Demazeau, Y. 'Exploiting Social Reasoning to Deal with Agency Level Inconsistencies'. Proc. ICMAS-95, 1995, p. 352-359 Smith 80, Smith, R. `The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver'. IEEE Trans. on Computers, Vol. C29, No.12, 1980, p.1104-1113 Steels 95, Steels, L. (Ed.). `The Biology and Technology of Intelligent Autonomous Agents'. Springer, 1995 Ste k 86, Ste k, M. `The Next Knowledge Medium'. AI Magazine, Vol. 7, No. 1, 1986, p. 34-46 Tuomola 96, Tuomola, R. `Philosophy and Distributed Arti cial Intelligence: The Ca- se of Joint Intentions'. O'Hare et al. 96], 1996, p. 487-504 Wooldridge M., Jennings, N. `Agent Theo- ries, Architectures and Languages: A sur- vey'. ECAI'94, Amsterdam. Wooldridge et al. 95, Wooldridge, M. Jen- nings, N. `Intelligent Agents: Theory and Practice'. Knowledge Engineering Review, Vol. 10, No. 2, 1995, p. 115-152 Wooldridge, 98, Wooldridge, M.: `Intelli- gent Agents". To appear in "Introduc- tion to Distributed Arti cial Intelligence'. Weiss and Sen (eds.) AAAI/MIT Press, 1998 Yang et al. 96, Yang, H. Zhang, C. `De - nition and Application of a Comprehensi- ve Frameworkfor Distributed Problem Sol- ving'. Zhang et al. 96], 1996, p. 1-15 Zhang et al. 96, Zhang, C. Lukose, D. `Distributed Arti cial Intelligence Archi- tecture and Modellin'". Springer, LNAI 1087, 1996