Formalización del diálogo en Sistemas Multi-Agente

Abstract

Esta línea de investigación estudia la formalización del diálogo en Sistemas Multi-Agente (SMAs). Los agentes en un SMA necesitan comunicarse, por diferentes motivos: resolver diferencias de opinión o intereses en conflicto, cooperar para resolver dilemas o encontrar pruebas, o simplemente informarse uno a otro sobre hechos pertinentes. En muchos casos no alcanza con intercambiar mensajes aislados, sino que los agentes necesitan entablar diálogos (secuencias de mensajes sobre el mismo tema). Existe gran variedad de diálogos, con características diferentes. Nuestro objetivo es encontrar modelos formales para estas interacciones, y estudiar sus propiedades. Damos por sentado que los agentes tienen una capacidad de razonamiento, y que ésta es utilizada en el diálogo. Este artículo está estructurado de la siguiente manera: en la sección 2 repasamos conceptos básicos de la Teoría de Cambio de Creencias, que serán utilizados en las secciones siguientes. En la sección 3 describimos brevemente el modelo de diálogo propuesto en otro trabajo. En la sección 4 exploramos la posibilidad de aplicar dicho modelo en Negociación. Finalmente, en la sección 5, citamos algunos trabajos relacionados, y delineamos las direcciones futuras de nuestra investigación.