En la literatura se encuentran trabajos que han abordado el problema de las din´amicas de creencias en entornos relacionados a redes sociales, donde surgen diferentes cuestiones debido a las interacciones entre los agentes. En [Gol09] la confianza entre usuarios es determinada por la similitud de las caracter´ısticas de los perfiles de usuarios; como caso de estudio consideraron la red socialFilmtrust1 en la cual los usuarios punt´uan pel´ıculas. Un enfoque similar podr´ıa se adoptado para determinar la fortaleza de las relaciones entre usuarios en redes complejas (este aspecto se relaciona con el punto “(D1) Modelar redes complejas”, Secci´on 1.2). En los juegos de revisi´on de creencias (JRC) [SIB+15] se
plantea una propuesta similar a la de esta tesis en la cual la din´amica de creencias en redes sociales es considerada como un grupo de agentes comunic´andose unos con otros. En cada paso de un JRC, todos los agentes revisan sus propios estados de creencias teniendo en cuenta las creencias de sus vecinos de acuerdo al grafo de representaci´on. Es importante destacar que difiere mucho de la propuesta planteada en esta tesis ya que en un JRC se asume que cada agente tiene acceso a las KBs de los otros (tal que los agentes no pueden escoger qu´e compartir y si puede o no ser confiable lo que comparten), seg´un se define en la Secci´on 3.2. El concepto de ´ıtem de noticia en las KBs, el cual captura el concepto de publicaci´on en una plataforma social, permite que ambos aspectos sean tomados en cuenta. Como segunda diferencia, el grafo subyacente en los JRCs no es etiquetado; luego, seg´un se discuti´o en la introducci´on, las redes multi-capa capturan la combinaci´on de m´ultiples plataformas de redes sociales y permiten una amplia variedad de rangos de comportamientos de revisi´on (tales como filtrar o dar m´as prioridad a las creencias previas que tienen los agentes con valores espec´ıficos para ciertos atributos). Una tercera diferencia que puede mencionarse es que en los JRCs se asume que todas las creencias est´an disponibles cuando el juego comienza o surgen como resultado de
16 Cap´ıtulo 2. Trabajos relacionados
una interacci´on, mientras que en las BCRs se permite que eventos ex´ogenos modifiquen las KBs locales de los agentes (lo que modela, por ejemplo, las creencias formadas por mirar televisi´on o hablando con personas de la vida real). Desde el punto de vista de los problemas estudiados, en los JRCs el concepto deaceptabilidad de creencias es estudiado a partir de los resultados de las interacciones durante el juego tal que los autores est´en m´as interesados en los problemas; por ejemplo, estudiar las condiciones bajo las cuales los agentes est´an de acuerdo sobre un t´opico, o cu´ando se llega a una convergencia (i.e., no se producen m´as cambios). Por ´ultimo, los JRCs adoptan operadores de mezcla de creencias como base para llevar a cabo la revisi´on, por lo tanto su comportamiento est´a sujeto a los postulados espec´ıficos propuestos para ese tipo de operaci´on. No obstante todas esas diferencias, se considera que los JRCs son de inter´es para el desarrollo y estudio futuro de las BCRs.
La cooperaci´on en sistemas multi-agente tambi´en representa problemas que pueden ser afrontados mediante juegos de coalici´on (JC), los cuales son conocidos como una extensi´on de los JRC [CS06, EGGW09] donde los jugadores (agentes) reciben beneficios cuando aceptan cooperar. En [EGGW09, ZFBE08] se propone una clase especial de JC denominada weighted voting games en la cual cada jugador tiene un peso asociado y un umbral. Cuando el peso total de los miembros participantes en una coalici´on excede la cuota los mismos son considerados comoganadores. Elpoder de un jugador para un juego puede ser determinado de varias maneras, por ejemplo, a trav´es del ´ındice de Shapley- Shubik [SS54] o el ´ındice de Banzhaf [BI64]. Esas mediciones son importantes ya que en ciertos casos puede existir manipulaci´on, por ejemplo, reduciendo el poder de otro grupo [ZFBE08]. En la propuesta de esta tesis tal manipulaci´on no puede ocurrir ya que la estructura del grafo completa es desconocida por cada agente individual y una vez que
los´ıtems de noticia2son generados y vistos por sus conexiones no pueden ser revertidos. El
estudio de las maneras en que los agentes pueden sufrir manipulaci´on es interesante pero es un t´opico que se encuentra fuera del alcance de esta tesis. Algo relacionado al poder y a la manipulaci´on potencial es la influencia, la cual ha sido estudiada en [LSG14].
Los modelos de negociaci´on de creencias fueron presentados en [Boo01], los cuales
consisten de un marco para integrar informaci´on de dos fuentes diferentes. Las piezas de informaci´on son debilitadas incrementalmente mediante un proceso de negociaci´on hasta que se alcanza un “punto en com´un”, es decir, hasta que se vuelven consistentes unos con
Revisi´on de creencias en contextos sociales 17
otros. Luego, en [Boo06] dicho marco fue extendido definiendo dos familias de funciones
decontracci´on social y adem´as fue generalizado para nfuentes de informaci´on. Otra l´ınea
de trabajo relacionado fue presentado en [TGFS14] donde la revisi´on de creencias fue tambi´en estudiada en el marco de los sistemas multi-agente. Sus autores consideraron la credibilidad o confianza asociada entre agentes (denominados informantes) el cual fue representado como un orden parcial estricto entre ellos. All´ı se definieron diferentes tipos de operadores de cambio (expansi´on, contracci´on y tanto revisi´on priorizada como no priorizada). Adem´as, cada operador es capaz de modificar la relaci´on de credibilidad del informante como resultado de nuevas percepciones.
En [SLG11, SLG13] se hace distinci´on entre relaciones sim´etricas y asim´etricas en redes sociales teniendo en cuenta que las mismas cambian en el tiempo. En [SLG11] se desarroll´o una l´ogica epist´emica de comunidades y se investigaron los diferentes tipos de operadores para inferir el conocimiento distribuido y sus relaciones. En otras palabras, un enfoque de respuesta a consultas sobre el conocimiento en redes sociales. Un enfoque similar es aplicado en [SLG13] donde fue desarrollado un lenguaje preciso para explorar la “l´ogica en la comunidad” y fue definida una l´ogica modal de dos dimensiones. Dicha l´ogica permite razonar acerca de los patrones de cambio del conocimiento y las relaciones sociales en las redes sobre las bases de las relaciones de amistad sim´etrica.
Otro problema importante en las din´amicas de creencias en entornos sociales es alcan- zar el m´ınimo cambio con respecto a las creencias previas de los agentes. En [DLS07] fue propuesto un marco general para el cambio de creencias basado en la minimizaci´on. Su propuesta modela dominios generales considerando un conjunto de puntos conectados con datos asociados a cada uno. Por lo tanto, su enfoque se encuentra en esp´ıritu asociado a la propuesta de esta tesis pero su modelo es diferente ya que el conjunto de puntos est´a estructurado en un grafo simple con una f´ormula simple vinculada a cada punto. Su operador de revisi´on determina una f´ormula en cada punto aplicando un proceso de minimizaci´on. Luego, cada nueva f´ormula representa la integraci´on entre la informaci´on original asociada con cada punto y la informaci´on proveniente de los puntos relaciona- dos. La noci´on de m´ınimo cambio (similar a [GKM07]) est´a dada por la “proximidad” entre interpretaciones. Tambi´en se definieron extensiones que permiten asignar peso o confiabilidad a los arcos, lo cual permite establecer una relaci´on de preferencia sobre interpretaciones.
18 Cap´ıtulo 2. Trabajos relacionados
entre agentes para decidir el resultado de la operaci´on de cambio de creencias para cada agente. En [GKM07] se definieron operadores de conciliaci´on para caracterizar c´omo las creencias de los agentes evolucionan acorde a la perspectiva deintegrar y luego revisar ite-
rativamente. En esa configuraci´on las creencias de un agente se obtienen confront´andolas
con sus propias creencias previas. Dos maneras extremas de hacer frente a estas situacio- nes consisten en dar m´as prioridad a las creencias previas (agente esc´eptico) o dar m´as importancia a las creencias del grupo (agente cr´edulo). En ese trabajo los autores asumen que un mismo operador de revisi´on es usado por todos los agentes. Esa configuraci´on di- fiere de la planteada en esta tesis ya que aqu´ı se asume que cada usuario (agente) cuenta con sus propios operadores de revisi´on local.
Otros abordajes relacionados a redes sociales
Las redes complejas han sido investigadas en muchos campos diferentes, por ejemplo,
toma de decisiones en contextos de grupo en el cual se asume que m´ultiples expertos
expresan sus opiniones y tiene que tomarse una decisi´on para alcanzar una soluci´on en com´un. Los problemas de inconsistencia causados por opiniones dispares son abordados en [LLCW17] en el cual su meta principal fue generar consejos personalizados para exper- tos que presentan inconsistencias para alcanzar consenso. Dicho procedimiento se lleva a cabo considerando los niveles de confianza de los informantes. Luego en [WCFHV17] fue presentado un modelo de consenso visual para identificar inconsistencias y confianza entre usuarios no relacionados, el cual incluye identificaci´on visual de los valores de preferencias respecto a un umbral dado. Cada recomendaci´on es obtenida a partir de la simulaci´on de la misma para incrementar el consenso actual y la presentaci´on de posibles conse- cuencias si los expertos no aceptaran los valores de preferencias recomendados. A partir de la premisa que las elecciones de los usuarios est´an influenciados por las opiniones de sus amigos confiables (i.e.,cascadas), en [AZ15b] proponen un sistema de recomendaci´on con algoritmos para estimar preferencias de usuarios a partir de la informaci´on disponi- ble en las conexiones de sus redes sociales. Para ello proponen m´etricas de confianza y an´alisis de sentimiento analizando las variaciones de los mismos mediante algoritmos de ML. Esto se relaciona con el punto “(D3) Modelos cualitativos y cuantitativos de pre- ferencias” presentado en la Secci´on 1.2. Otros problemas abordados en el contexto de las redes complejas, en general, son aquellos relacionados con la detecci´on de identidades falsas [CBST15, Val16] y an´alisis de sentimientos (para consultar el estado del arte sobre esto ´ultimo ver [ACC15, PT17]).
Predicciones en contextos sociales 19
Otro factor cr´ıtico en el contexto de toma de decisiones es la opini´on de la mayor´ıa de los participantes. Este enfoque es aplicado en [ACCF17] en donde se define el operador IOWA (por sus siglas en ingl´es de Induced Ordered Weighted Averaging) el cual es una generalizaci´on del operador OWA de [Yag88]. Este operador utiliza un principio de gu´ıa inducido para clasificar la salida de diversas opiniones en un mecanismo de agregaci´on. Como se mencion´o anteriormente, otros aspectos importantes en esos contextos son la confianza y la influencia. En [VCDCHV11] se propuso un mecanismo para calcular valores de confianza entre usuarios que no se conocen entre s´ı. En [HB15] se propuso un modelo de confianza que depende de la idoneidad con respecto a cierto dominio a partir de la definici´on de particiones de estados. En el mismo se define una familia de operadores de revisi´on “sensible a la confianza” que son capturados por la clase de operadores de revisi´on selectivas de [FH99]. Antes de la revisi´on se lleva a cabo un proceso de evaluaci´on de confianza y s´olo la informaci´on confiable es considerada en esa revisi´on.
Por ´ultimo, la teor´ıa de elecci´on social [HM15] es muy relevante para la configuraci´on propuesta en esta tesis ya que la misma trata con el problema de identificaci´on, an´alisis y evaluaci´on de reglas que pueden ser usadas para tomar una decisi´on colectiva. La inter- secci´on entre esta teor´ıa y las ciencias de la computaci´on dio origen al t´ermino elecci´on
social computacional [RVW11], la cual ha sido estudiada hace d´ecadas con aplicaciones a
muchos dominios del mundo real. La principal diferencia entre la propuesta de esta tesis y la teor´ıa de elecci´on social computacional es que las revisiones de las BCRs locales son operaciones “personales”. Por lo tanto, el agente que est´a llevando a cabo la revisi´on es dictatorial, es decir, el mismo puede ser visto como alguien abierto a opiniones y sugeren- cias pero es quien tiene la ´ultima palabra respecto a qu´e hacer con su KB. Es claro que diferentes postulados podr´ıan limitar el resultado de la operaci´on, lo cual podr´ıa provocar que se comporte m´as como un mecanismo de elecci´on social.