You are on page 1of 8

SISTEMAS E I NFORMTICA

Computacin Evolutiva y Teora de Juegos:


Un hbrido para la automatizacin en sistemas
(1)
de soporte a la negociacin (2)
Oswaldo Velez-Langs
Henry Gmez Rocha
R e c e p c i n : Julio d e 2 0 0 6 / A c e p t a c i n : Octubre 2 0 0 6 (3) John Acosta Parejo

I N T R O D U C C I N

RESUMEN
Los problemas de negociacin son por excelencia no-algortmicos y las
Este articulo trata sobre los mtodos de soluciones a este tipo de problemas se obtienen luego de un proceso
anlisis de decisin y de apoyo a la decisin dispendioso y por ende sus resultados son difciles de evaluar, es as
de grupos, desplegados sobre la web, con como el modelamiento y soporte al problema de la negociacin propone
miras a involucrar al pblico en las un reto muy interesante a los campos de Ciencia de la Decisin, Investi-
decisiones que les afectan, es as como gacin de Operaciones e Inteligencia Artificial.
vemos en internet una oportunidad de
acortar la brecha entre regidores y regidos. La propuesta presentada aqu se enmarca dentro de la denominada: De-
Podemos resumir el objeto principal que mocracia Electrnica [14] (ver Figura 1), en la cual se pretende implantar
persigue este trabajo como proponer e un proceso democrtico participativo que persigue un acuerdo entre gru-
implementar un esquema de negociacin pos de personas con conflicto de intereses en asuntos concernientes a la
automatizada sobre la web, el cual est sociedad, lo cual hace necesario plantear modelos de negociacin bajo
basado en la computacin evolutiva y la los cuales se interacte para encontrar la solucin ms ptima, el soporte
teora de juegos. que se da a dicho proceso esta habilitado por internet.

Palabras Clave: Negociacin automatizada, En nuestros tiempos de digitalizacin no es sorprendente escuchar hablar
sistemas de soporte a la decisin, teora de de trminos como gobierno electrnico (e-government), administracin elec-
juegos, computacin evolutiva. trnica (e-administration) y democracia electrnica (edemocracia), en cada
uno de estos se discute y promueve la participacin pblica en procesos de
decisin que afectan a diversos interesados de este mismo pblico.
EVOLUTIVE COMPUTING A N D GAMES
THEORY: A HIBRID FOR THE
Posteriormente a la experiencias de Portoalegre, hay por ejemplo en Eu-
AUTOMATIZA TION IN BUSINESS SUPPORT
ropa diversas municipalidades que permiten a sus ciudadanos participar
SYSTEMS
(parcialmente) en la ejecucin de los presupuestos municipales, a estos
ABSTRACT
tambin se les denomina presupuestos participativos. En palabras de
This paper is about the decisin analysis Souza: Los Presupuestos Participativos constituyen una proposicin
methods for group decisions over the web, universal, directa y voluntaria de una clase de democracia que da a la
in reason of involve the people in the poblacin la oportunidad de discutir acerca del presupuesto y temas de
different decisions that interest them, we have inters pblico, tomando decisiones relevantes. Los ciudadanos no slo
in internet one chance for to reduce the gap votan, sino tambin logran involucrarse [22].
between governor and governed We can
summarize the main object that pursues this Entre los muchos potenciales beneficios de los presupuestos participativos,
like to propose one automated negotiation podemos destacar [23]:
approach in the web, which be based on the
evolutionary computation and the game Legitimacin
theory. Acerca las decisiones a los ciudadanos
El pblico toma las decisiones en pblico
Key words: Automated negociation, Mitigacin de alienacin y apata
decision support systems, game theory, Transparencia
evolutionary computation.
(1) Profesor del Departamento de Informtica, Estadstica y Telemtica, Universidad Rey Juan Carlos (Espaa)
E-mail: oswaldo.velez.langs@urjc.es
(2) Universidad del Magdalena (Colombia)
E-mail: hagr500@yahoo.com.mx
(3) Universidad del Magdalena (Colombia)
E-mail: jhon_acosta386@yahoo.com.mx

Ind. data 9(2), 2006 39


SISTEMAS E I NFORMTICA

>>> Computacin Evolutiva y Teora de Juegos: Un hbrido para la automatizacin en sistemas de soporte a la negociacin

Figura 1. Esquema general de la Democracia Electrnica Figura 2. Esquema de negociacin entre dos participantes,
(Adaptado de [13]) hay ofertas, concesiones hasta que se da el acuerdo.

Nuestra intencin procura utilizar mtodos de anli- seccin 3 trata sobre el enfoque de la teora de jue-
sis de decisin y de apoyo a la decisin de grupos, gos, algunos conceptos que se deben tener claros y
desplegado sobre la web, con miras a involucrar al los avances que a permitido este enfoque a la nego-
pblico en las decisiones que les afecta. Es as, como ciacin. La seccin 4 ofrece un resumen acerca del
vemos en internet una oportunidad de acortar la bre- tratamiento que a dado el enfoque co-evolutivo a la
cha entre quienes rigen y quienes son regidos. negociacin. La seccin 5 presenta el mecanismo
de negociacin automatizada que se desarrollar. En
El problema surge debido a que dichos modelos por la ltima seccin presentamos algunas conclusiones
lo general se basan en negociaciones multi-criterio, y el dominio real de aplicacin.
es decir, con mltiples variables y por tal razn se
recae en un proceso complejo, generando un espa-
cio de bsqueda de la solucin mas ptima extenso, SOBRE NEGOCIACIN
demandando mucho tiempo e incluso convirtindose
en un proceso demasiado tedioso. Otro problema que Los distintos mtodos que ayudan a la negociacin,
conllevan estas dinmicas es la presencia obligada enmarcan lo que podemos llamar una tecnologa para
de los participantes al momento de negociar, promo- la cooperacin [16] que halla sus races en el anli-
viendo mayor inversin de tiempo y dinero en el pro- sis de decisiones y la teora de juegos misma, den-
ceso en general. Nuestra propuesta adems de abar- tro de la negociacin, los medios que conllevan a un
car los problemas antes mencionados intenta tam- estado cooperante son la presentacin de propues-
bin fomentar una comunicacin ms efectiva entre tas, opciones de comercio, realizacin de concesio-
los miembros participantes, explorar los aspectos nes y (es lo que se espera) un acuerdo aceptado
involucrados en el proceso de negociacin de una mutuamente, ver Figura 2.
manera creativa, efectiva y finalmente construir un
entendimiento compartido. Una perspectiva til en negociacin es ver esta como
una bsqueda distribuida en un espacio de potencia-
Teniendo en cuenta que uno de los puntos centrales les acuerdos, la dimensionalidad y topologa de di-
para facilitar el trabajo de equipos mviles es la crea- cho espacio depende de la estructura de los objetos
cin y establecimiento de equipos desde agentes au- que entran en la negociacin [10]. Muchas definicio-
tnomos. Nuestro propsito es aplicar una nueva nes de negociacin han sido ofrecidas, por diferen-
metodologa para proveer mecanismos que faciliten tes investigadores, dependiendo de los propsitos de
la creacin de equipos y ayudar a resolver conflictos su investigacin ([15], [21]). Por ejemplo:
a travs de negociacin automatizada. Los mecanis-
mos de negociacin sern implementados mediante [9] define negociacin como un tipo de proceso de
una combinacin de la teora de juegos y la metodo- resolucin de problemas, en el cual las personas
loga co-evolutiva. intentan encontrar una decisin conjunta sobre te-
mas de inters comn en situaciones donde ellos
Este artculo est organizado as: En la seccin 2 se estn en desacuerdo y en conflicto.
hace una breve introduccin sobre negociacin y de En [15] definen negociacin como una forma de
igual forma se toca la negociacin automatizada. La proceso de toma de decisin donde dos o ms

40 Ind. data 9(2), 2006


SISTEMAS E I NFORMTICA

Oswaldo Velez L., Henry Gmez R. y John Acosta P. >>>

partes conjuntamente buscan en un espacio de tes: el mecanismo de toma de decisin que los
posible solucin con el objetivo de encontrar un participantes emplean al actuar de acuerdo con
consenso (trato). el protocolo de negociacin para lograr sus objeti-
vos.
Una diferencia principal entre estas definiciones es
que el antiguo nfasis se centr en resolver conflic- Adems, teniendo en cuenta la definicin sobre ne-
tos y desacuerdos, mientras el posterior pensamien- gociacin en [15], en la comunidad de inteligencia
to sobre negociacin es que puede ser una metodo- artificial distribuida (DAI) se gestaron algunos proyec-
loga para mejorar la cooperacin. No necesariamen- tos de investigacin en los cuales, el principal asun-
te existe conflicto entre los participantes de la nego- to en la investigacin de sistemas multi-agentes es
ciacin [15]. como modelar las interacciones entre los agentes.
El modelo de negociacin ha surgido como un candi-
La ineficiencia ha sido ampliamente reconocida como dato apropiado para resolver este problema de
un problema comn en negociacin [11], muchos pro- interaccin debido a su naturaleza descentralizada,
yectos de investigacin ([1], [5]) han sido conduci- nfasis sobre seleccin mutua de una accin y la
dos para mejorar la eficiencia en negociacin usando prevalencia de la negociacin en sistemas sociales
tecnologa computacional. reales [15].

Negociacin Automatizada Incluso muchas teoras importantes y principios han


Un nmero creciente de sistemas computacionales sido desarrollados para explicar diferentes aspectos
estn siendo abarcados en trminos de agentes au- de negociacin, tales como la metodologa
tnomos, hay dos principales razones que conducen organizacional, la metodologa estructural, la meto-
a esto: La primera es que los agentes estn siendo dologa de la teora de juegos, la metodologa de la
abocados como la prxima generacin de modelos teora econmica, la metodologa de la teora del com-
para sistemas complejos, la segunda que estos son portamiento y la metodologa de experimentacin y
usados dentro de un esquema de trabajo el cual une simulacin.
distintas sub-disciplinas de la Inteligencia Artificial
que son necesarias para disear y construir entida-
des inteligentes. ENFOQUE DE LA TEORA DE JUEGOS

Cuando se adopta una visin de la computacin orien- La teora de juegos naci con el objetivo de analizar
tada-a-agentes, se nota como en la mayora de pro- el comportamiento de las personas en situaciones
blemas se requiere involucrar mltiples agentes que con conflictos de intereses, es decir, nos ayuda a
representen la naturaleza descentralizada del proble- crear modelos sobre los cuales razonamos para ele-
ma. La tecnologa de sistema multi-agente (MAS) da gir las estrategias que nos conduzcan a resultados
una oportunidad para superar el problema de ptimos, donde todos los participantes del proceso
ineficiencia en negociacin, es decir, nos brinda la ganen.
posibilidad de manejar las mltiples variables
involucradas, las interacciones complejas y el inade- Gracias a la teora de juegos se han realizado mu-
cuado conocimiento de negociacin de los partici- chas investigaciones sobre negociacin automatiza-
pantes. En este sentido, los agentes en MAS actan da, tratando siempre de obtener mejores resultados
colectivamente como una sociedad y ellos colaboran del proceso de negociacin. Gracias a estos estu-
(o cooperan) para lograr sus propios objetivos indivi- dios contamos con conceptos como:
duales as como tambin los objetivos globales de la
sociedad a la cual ellos pertenecen [13]. Estrategias dominantes
Una estrategia dominante para un jugador es una
Teniendo en cuenta el MAS como una solucin a la estrategia que siempre le dar una retribucin ms
ineficiencia en negociacin, otras investigaciones die- alta sin importar las estrategias que los otros juga-
ron paso a la llamada negociacin automatizada la dores escojan.
cual puede ser considerada al tratar con tres gran-
des asuntos [10]: Equilibrio de Nash
Una combinacin estratgica (Si *, S-i *) es un equili-
Protocolos de negociacin: el conjunto de reglas brio de Nash si cualquier agente que se desve de
que gobiernan la interaccin. forma unilateral obtendr menos retribucin. Mate-
Objetos de negociacin: el rango de asuntos so- mticamente:
bre los cuales el acuerdo debe ser logrado.
El modelo de toma de decisin de los participan- (1)

Ind. data 9(2), 2006 41


SISTEMAS E I NFORMTICA

>>> Computacin Evolutiva y Teora de Juegos: Un hbrido para la automatizacin en sistemas de soporte a la negociacin

Eficiencia de Pareto Ya que las decisiones son independientes, y dado


Una combinacin estratgica es una eficiencia de que el objetivo de cada uno es lograr el mximo be-
Pareto si no hay otra combinacin estratgica que neficio personal, lo racional es defraudar. Pero si los
incremente la retribucin de un agente sin decrementar dos se comportan racionalmente, ambos recibirn el
la retribucin de otro agente. castigo [17].

Forma extensiva Avances en la negociacin mediada por


Es la forma de representar un juego por medio de un juegos
grafo (un conjunto de aristas y nodos) tambin cono- Los agentes racionales son capaces de llegar a acuer-
cido como rbol del juego, en donde los nodos repre- dos con un mecanismo de negociacin de la teora
sentan a los participantes del juego y las aristas las de juegos an sin comunicacin, esto ocurre cuando
estrategias de dichos participantes. los agentes de forma aislada escogen el punto que
ellos consideran es el equilibrio [2], [8]. Sin embar-
Forma normal go, surgen problemas con los mecanismos de nego-
La forma normal de un juego es una lista de todas las ciacin en la teora de juegos sin comunicacin, el
estrategias para todos lo jugadores, junto con las primero es que en situaciones parecidas a la del dile-
retribuciones esperadas para cada posible eleccin ma del prisionero los agentes no escogern el mejor
de estrategias (una para cada agente). resultado basados en la suposicin de racionalidad
[8], [12]. En segundo lugar, aquellos juegos en los
El dilema del prisionero cuales no existen puntos de equilibrios, encontrare-
Veamos el siguiente caso. Dos prisioneros A y B se mos ciclos infinitos de razonamiento, aunque estos
encuentran encerrados en celdas separadas acusa- juegos utilizan el concepto de estrategias mixtas para
dos de algn delito. Ambos van a ser interrogados por solucionarse esta no es la mejor opcin [4], [18]. En
separado por sus carceleros. A cada uno se le pre- tercer lugar cuando encontramos ms de un equili-
guntar por la culpabilidad del otro. Cada preso puede brio es difcil seleccionar el mejor, ya que cada agen-
optar por "Colaborar" con el otro, asegurando que el te puede tender a puntos diferentes segn sus obje-
compaero se encuentra injustificadamente en la cr- tivos particulares [18].
cel, o "Defraudar" acusndole. Existen por tanto cua-
tro posibilidades, que ninguno defraude, que lo hagan En [19], se propuso la primera accin de comunica-
los dos, que lo haga el primero o el segundo [2]. cin dentro de la convencional teora de juegos, pedir
garanta, para escapar de situaciones como la del
Cada prisionero recibe un premio en funcin del Cua- dilema del prisionero. Para los casos en donde no
dro 1, mayor cuanto mayor es el nmero que apare- existen equilibrios o hay mltiples equilibrios se pro-
ce a la derecha. El -1 es una pena de crcel de 10 puso la segunda accin de comunicacin, pagar com-
aos, el 0 es una pena de crcel de 5 aos, el 3 la pensacin. Adems, estas acciones de comunica-
libertad; y el 5 la libertad y una indemnizacin. cin exigen la existencia de un agente independiente
del dominio de negociacin, denominado mediador o
Supongamos que somos el jugador B. Si el jugador A tercera parte confiable [18].
defrauda (Confiesa) es indiferente lo que hagamos,
ya que recibiremos el castigo. Pero si el jugador A Hasta aqu todo el trabajo que se haba realizado era
coopera con nosotros (no confiesa), el premio recibi- en juegos con informacin completa, es decir, ade-
do es mayor si nosotros a su vez le defraudamos a ms de conocer sus retribuciones al momento de
l. En resumen, haga lo que haga el jugador A, para combinar sus estrategias con las estrategias de los
el jugador B lo mejor es defraudar (confesar) y lo mis- otros agentes, tambin conocan las retribuciones de
mo ocurre para el jugador A: haga lo que haga el los otros agentes, pero esto no es lo ideal ya que no
jugador B, lo mejor es defraudar (confesar). refleja la realidad.

Luego en [20] se trataron juegos con informacin in-


Cuadro 1. Matriz de pagos en el Dilema del Prisionero completa (cada agente solo tiene conocimiento de sus
propias retribuciones y no de las retribuciones de lo
dems agentes) siguiendo la misma filosofa de las
acciones de comunicacin de garanta y compensa-
cin, las cuales convertan un juego difcil (ya que un
juego puede no tener o tener muchos puntos de equi-
librios en estrategias puras, este tipo de juegos sur-
gieron como juegos difciles) en un juego simple.

42 Ind. data 9(2), 2006


SISTEMAS E I NFORMTICA

Oswaldo Velez L., Henry Gmez R. y John Acosta P. >>>

La accin de pedir garanta consiste, en que un agen- Un agente est en capacidad de especificar su pro-
te le solicite a otro agente que le pague cierta garan- pia funcin de utilidad. Las estrategias pueden ser
ta de no jugar alguna estrategia que conduzca a un refinadas por medio de la funcin de utilidad, las
estado no deseable, por otro lado la accin de pagar cuales pueden ser ajustadas cambiando sus
compensacin se utiliza para convencer a otro agen- parmetros. La ms alejada del umbral es la estra-
te de que juegue una estrategia particular a cambio tegia adecuada.
de una recompensa. El equilibrio alcanzado por me-
dio de las acciones de comunicacin se denomina Adems, la tasa de mutacin y la tasa de cruza-
equilibrio NFD (sin temor de desviacin), el cual equi- miento pueden ser determinadas arbitrariamente por
vale a un equilibrio de Nash y tambin a una eficien- el agente. El proceso de negociacin es iniciado por
cia de Pareto. un agente, y sostenido por intercambio de ofertas y
contraofertas las cuales constituyen los fundamen-
tos del protocolo. Aunque convergen hacia una solu-
ENFOQUE CO-EVOLUTIVO cin comn es deseable y aceptable no representar
una solucin optimizada global. Esto es la realiza-
Los campos de la economa y ciencias de la admi- cin que atribuye la incorporacin de aceptacin o
nistracin han sido los primeros en la aplicacin de rechazo de ofertas dentro del protocolo. Sin embar-
enfoques evolutivos para la resolucin de conflictos go, esto permite a un agente hacer una oferta que fue
([2], [13]). El caso del juego iterado proporcion un peor que una previa. Estas caractersticas permiten
marco de trabajo en la investigacin del refinamien- al sistema buscar en todo el espacio de potenciales
to de equilibrios de Nash, y de su aclaracin como acuerdos. Los agentes negocian sobre un nmero
equilibrio aprendido ([7]). Aunque el enfoque evoluti- de asuntos y las estrategias son creadas y seleccio-
vo para la negociacin automatizada, proporcione nadas en con el propsito de maximizar su ganancia
una alternativa al enfoque de teora de juegos en la con respecto a estos asuntos.
resolucin del conflicto, este sufre algunas limita-
ciones. El enfoque Co-evolutivo asume la existen-
cia de un equilibrio de Nash que puede ser refinado, MECANISMO DE NEGOCIACIN
en razn a que en estas tcnicas hayan soluciones
aproximadas, a menudo el enfoque co-evolutivos pro- Basndonos en los enfoques propuestos en [3] y [20],
duce soluciones sub-ptimas. se presenta ahora de forma general el mecanismo de
negociacin que se propone usar, conllevando un pro-
A continuacin se esboza el trabajo presentado en ceso que soporta la negociacin automatizada en la
[3]. El punto inicial de la metodologa co-evolutiva cual se obtiene por resultado un equilibrio con altas
para la negociacin es la disponibilidad de un con- retribuciones, que a su vez es equivalente a un equi-
junto de estrategias iniciales, las cuales son poste- librio de Nash y una eficiencia de Pareto. Dicho pro-
riormente manipuladas para encontrar una solucin ceso les permite a los agentes generar y seleccionar
optimizada de un problema especfico. Esto involucra estrategias eficientes bajo las cuales se negocia.
el desarrollo de una funcin de utilidad para evaluar
estrategias, as cada estrategia tendr asignada un El sistema de negociacin automatizada est com-
valor nico. La funcin de utilidad usar este valor puesto por dos clases de agentes: Agente Negocia-
para determinar el grado de su utilidad como una
solucin. La generacin de una estrategia optimizada
o solucin involucra la seleccin de la mejor solu-
cin, incluyendo los padres y la creacin de des-
cendientes a travs de la mutacin y el cruzamien-
to. La prxima generacin es seleccionada por me-
dio de un proceso de competencia o torneo. Las
soluciones ms dbiles son removidas desde la
poblacin y reemplazadas por las mejores solucio-
nes. Un sistema co-evolutivo ser implementado para
soportar negociacin entre mltiples agentes que
puedan manejar varios asuntos. Bajo este esque-
ma, el sistema provee una estrategia general desde
la que genera de forma aleatoria un nmero de es-
trategias especficas que construirn la poblacin
inicial. Cada estrategia es codificada dentro de su
correspondiente cromosoma. Figura 3. Modelo de Agentes

Ind. data 9(2), 2006 43


SISTEMAS E I NFORMTICA

>>> Computacin Evolutiva y Teora de Juegos: Un hbrido para la automatizacin en sistemas de soporte a la negociacin

dor y Agente TTP. El Agente Negociador, es el que ware, personaliza al agente que lo representar en
representa al usuario en el proceso de negociacin la negociacin.
automatizada del sistema, adems de negociar, su
objetivo es lograr un acuerdo con el mayor grado de Cada agente negociador en el sistema incorpora dos
utilidad posible. El Agente TTP, es el encargado de componentes principales: un Algoritmo Gentico y
conducir el proceso de negociacin automatizada y un Algoritmo de Equilibrio NFD. Los dos componen-
en ese sentido hace llegar las propuestas entre los tes intercambian informacin internamente por me-
agentes negociadores, ejecuta las acciones de co- dio de una matriz de retribuciones, generada por la
municacin (garanta y/o compensacin) y hace cum- metodologa co-evolutiva. Cada agente negociador
plir los compromisos pactados, ver Figura 3. implementa un ciclo sobre el cual genera y seleccio-
na estrategias, codifica la matriz de retribuciones y
El protocolo de negociacin y la estrategia son dos determina un punto optimizado. El punto ptimo pue-
importantes constituyentes en el mecanismo utili- de ser usado como un punto de referencia para que
zado, los cuales suministran a los agentes nego- los agentes negociadores exploren ms el espacio
ciadores las reglas de interacciones y directivas para de posibles acuerdos. Adems, los agentes nego-
la comunicacin durante la negociacin. Ellos tam- ciadores intercambian informacin externamente por
bin determinan cundo el proceso de negociacin medio de un protocolo.
termina.
Los agentes deben negociar sobre los mismos
Bsicamente el sistema de negociacin propuesto asuntos y cuando un agente hace una oferta, el
funcionar as: El administrador del sistema ingre- otro agente debe hacer una contra oferta, aceptar-
sar informacin relevante para la ejecucin del soft- la o rechazarla.
ware, por ejemplo: el n mero de agentes negocia-
dores, las etapas de negociacin que se llevarn a El proceso de negociacin finalmente terminar su
cabo y el numero de iteraciones que se ejecutarn ejecucin cuando se cumpla el nmero de etapas de
en cada etapa, etc. Posteriormente cada uno de negociacin, en lo posible, con un acuerdo; poste-
los Usuarios del Sistema al interactuar con el soft- riormente se mostrar el resultado del proceso de

Figura 4. Funcionamiento General del Sistema de Negociacin Automatizada

44 Ind. data 9(2), 2006


SISTEMAS E I NFORMTICA

Oswaldo Velez L., Henry Gmez R. y John Acosta P. >>>

negociacin automatizada a todos los usuarios del evolutiva. El primer tema que se tiene en cuenta des-
sistema, ver Figura 4. de la teora de juegos es el equilibrio de Nash. Aun-
que una solucin de negociacin acorde a Nash ofre-
De igual forma, el sistema de negociacin posee las ce una interesante y til perspectiva sobre el com-
siguientes caractersticas: portamiento de la negociacin, falla para negociar
con juegos donde se traten mltiples asuntos o se
Los agentes solamente tienen acceso cada uno utilicen estrategias con informacin incompleta. La
a su matriz de retribuciones y funcin de utilidad, teora de juegos puede tratar mltiples temas, pero
no tienen conocimiento de las retribuciones y fun- dentro de un espacio de bsqueda limitado y con
cin de utilidad de los otros agentes. informacin completa. La adopcin de una metodo-
loga co-evolutiva para negociacin automatizada
Ya que el proceso co-evolutivo es responsable de permite a los usuarios ignorar mucha de las suposi-
encontrar altas retribuciones para los agentes ne- ciones requeridas por la metodologa de teora de
gociadores buscando en el espacio de potencia- juegos.
les acuerdo, el trato o acuerdo no puede ser he-
cho en este nivel. Esto asegura que el espacio de La condicin requerida por las metodologas de AG y
potenciales acuerdos es explorado completamente teora de juegos cuando ellas operan aisladamente
y los agentes actan de una forma racional, por restringe su rango de aplicacin. El sistema de ne-
ejemplo, no aceptar una oferta que es menor a gociacin ofrece una simbiosis entre una metodolo-
una anterior. ga de AG y una metodologa de teora de juegos que
supera sus limitaciones inherentes. La suposicin de
El algoritmo de equilibrio NFD es aplicado a la la teora de juegos de la existencia de una matriz de
matriz de retribucin, cuando es requerido, obte- retribucin con el propsito de alcanzar un equilibrio
ner un equilibrio de Nash que tambin es eficien- de Nash es frecuentemente difcil de cumplir. La me-
cia de Pareto. todologa de AG es, por otra parte, capaz de generar
un conjunto de estrategias efectivas y relacionar re-
Si el equilibrio NFD no satisface los requerimien- tribuciones para proveerlas a la metodologa de teo-
tos de los agentes, la fase co-evolutiva es revisa- ra de juegos. La metodologa de AG requiere, sin
da para seleccionar una nueva estrategia. embargo, la presencia de un equilibrio de Nash. En
cambio, la metodologa de teora de juegos puede
Una vez los agentes acuerdan sobre las retribu- determinar un equilibrio sin temor a desviacin desde
ciones producidas por el algoritmo NFD, es nece- la matriz de retribucin y as poder proveer un punto
sario determinar las estrategias que conducen a focal para la metodologa de AG, la cual permite refi-
estas retribuciones. Para este fin el proceso del nar el equilibrio. Algunas de las ventajas que conlleva
GA es invocado con la funcin de adaptabilidad esta combinacin es que es posible para los agen-
ajustada para reflejar el nuevo equilibrio NFD. tes negociantes llegar a un acuerdo sin conocer las
Como el GA no puede ser capaz de encontrar una retribuciones de cada uno de los agentes participan-
correspondencia exacta a la retribucin asociada tes en la negociacin. La transparencia ofrecida por
con el equilibrio NFD, una solucin aproximada el sistema facilita el establecimiento de conexiones
es aceptable. y la creacin de equipos.

Las acciones de comunicacin de Compensacin Los modelos presentados en este artculo fueron ge-
y Garanta son incorporadas para permitirle a los nerados gracias a la metodologa Ingenias, teniendo
agentes reevaluar las retribuciones en la matriz en en cuenta sus fases de Anlisis y Desarrollo [24].
su bsqueda de un equilibrio.
El dominio real de aplicacin en el que se piensa
El sistema se detiene cuando un acuerdo mutua- implementar nuestra propuesta es el de elaboracin
mente aceptable es logrado siguiendo un nuevo de presupuestos en la Jefatura Financiera de la
equilibrio o cuando los recursos de los agentes Vicerectora Administrativa y Financiera de la Univer-
se hayan agotado. sidad del Magdalena.

C O N C L U S I O N E S REFERENCIAS BIBLIOGRFICAS

El trabajo presentado es un anlisis sobre la nego- 1. Anson, R. and T. Jelassi. (1990). A Development
ciacin automatizada, desde dos perspectivas fun- Dramework for Computer-supported Conflict
damentales, teora de juegos y la metodologa co- Resolution. EJOR, 46, 181-199.

Ind. data 9(2), 2006 45


SISTEMAS E I NFORMTICA

>>> Computacin Evolutiva y Teora de Juegos: Un hbrido para la automatizacin en sistemas de soporte a la negociacin

2. Axelrod, R. (1984). The Evolution of Cooperation, Innovative Construction Engineering (CICE).


Basic Books Inc., New York, USA. Department of Civil & Building Engineering
Loughborough University, Loughborough, UK.
3. Chen, J-H., Anane, R., Chao, K-M., Godwin, N.
(2002). Architecture of an Agent-Based Negotiation 14. Ros Insua, D., Fernndez, E., Ros, J. (2004).
Mechanism. Proceedings of the 22nd IEEE Ms all del gobierno electrnico: hacia la demo-
International Conference on Distributed Computing cracia electrnica. Revista de la Agencia de Pro-
Systems Workshop (ICDCS-2002), Vienna, July teccin de Datos de la Comunidad de Madrid.
2002, 379-384.
15. Rosenschein, J. S., Zlotkin, G. (1994). Rules of
4. Durfee, E.H., Lee, J., Gmytrasiewicz, P.J. (1993). Encounter: Designing Conventions for Automated
Overeager Reciprocal Rationality and Mixed Negotiation Among Computers. MIT Press,
Strategy Equilibria, In Proceedings of the Eleventh Cambridge, Massachusetts, USA.
National Conference on Artificial Intelligence (AAAI-
93), 225-230. 16. Sebenius, J. K. (1998). Negotiation Analysis: A
Characterization and Review. Management
5. Ephrati, E., Rosenschein, J.S. (1996). Deriving Science 38(1) 18-38.
Consensus in Multi-agent Systems. Journal of
Artificial Intelligence. Volume 87, Numbers 1-2, 21- 17. Von Neumann, J. Morgerstern, O. (1944). The
74. Theory of Games and Economic Behaviour.
Princeton University Press.
6. Faratin, P. (2005). Automated Service Negotiation
Between Autonomous Computational Agents. A 18. Wu, S.H., Soo, V.W. (1999). Game Theoretic
dissertation submitted in partial fulfilment of the Reasoning in Multi-agent Coordination by
requirements for the degree of Doctor of Negotiation with a Trusted Third Party, in
Philosophy of the University of London. Proceedings of the Third International Conference
on Autonomous agents (Agents99), Seattle,
7. Fudenberg D., Levine D.K. (1998). The Theory of Washington, 56-61.
Learning in Games, Cambridge: M.I.T. Press.
19. Wu, S.H., Soo, V.W. (1998). Escape from a
8. Genesereth, M.R., Ginsberg, M.L.,. Rosenschein, Prisoners' Dilemma by Communication with a
J.S. (1986). Cooperation without communication, Trusted Third Party, ICTAI-98.
In Proceedings of the National Conference on Arti-
ficial Intelligence (AAAI-86),Philadelphia, 20. Wu, S.H., Soo, V.W. (200). Negotiation Without
Pennsylvania, 51-57. Knowing Other Agents Payoffs in the Trusted
9. Gulliver, P.H. (1979). Dispute and Negotiations: A Third-Party Mediated-Game, Second workshop
Cross Cultural Perspective. Academic Press, New on game theoretic and decision theoretic agents.
York, USA.
21. Zartman, I.W., BermanN, M. (1982). The Practical
10. Jennings, N. R., Faratin, P., Lomuscio, A. R, Negotiator. Yale University Press, New Haven,
Parsons, S., Sierra, C. and Wooldridge, M. Conn.
(2001). Automated negotiation: prospects,
methods and challenges. Int. J. of Group Decision 22. Souza, C. U.: Participatory budgeting in brazilian
and Negotiation 10 (2) 199-215. cities: limits and possibilities in building
democratic institutions. Environment and
11. Kraus., S.: An Overview of Incentive Contracting Urbanization, 13 1 (2001)159184.
(1996). Artificial Intelligence journal, 83 (2) 297-
346. 23. J. Rios, D. Rios Insua, E. Fernandez, and J.A.
Rivero. (2005). Participatory Budget Formation
12. Mor, Y., Rosenschein, J. S. (1995). Time and the Through the Web. TCGOV 2005, LNAI 3416, pp.
Prisoner's Dilemma, In Proceeding of the First 268276.
International Conference of Multi-Agent System
(ICMAS-95), 276-282. 24. Grasia! Research Group (2004). INGENIAS
Development Kit: Tutorial and Manual. Technical
13. Ren, Z., Anumba, C. J., Ugwu, O. O. (2005). Report. Facultad de Informtica, Universidad
Negotiation in a multi-agent system for Complutense de Madrid, Spain.Available at http:/
construction claims negotiation; Centre for /ingenias.sourceforge.net.

46 Ind. data 9(2), 2006

You might also like