Verificación de la implementación del modelo afectivo para MASOES: Casos de estudios

Abstract

La computación afectiva es una disciplina de la inteligencia artificial que intenta desarrollar métodos computacionales orientados a reconocer emociones humanas y generar emociones sintéticas. Incorporar emociones a agentes inteligentes puede ser ventajoso en diferentes áreas, las emociones pueden hacer a los agentes más creíbles para que puedan desempeñar un mejor papel en diversos sistemas interactivos que involucren simulación, además, desempeñan un rol funcional en sistemas complejos, regulando las interacciones entre los agentes. Diferentes autores buscan mejorar la interacción entre agentes inteligentes en sistemas multiagente, un ejemplo es el modelo afectivo de MASOES, que a través de la generación de emociones promueve diferentes tipos de comportamientos. Aunque este modelo afectivo ya ha sido verificado formalmente a nivel de diseño, no ha sido verificado a nivel de implementación. En este trabajo se presenta la verificación a nivel individual y colectivo de una implementación realizada para el modelo afectivo de MASOES sobre un sistema multiagente.

Affective computing is a discipline of artificial intelligence that attempts to develop computational methods to recognize human emotions and generate synthetic emotions. Incorporating emotions into intelligent agents can be advantageous in different areas; emotions can make agents more credible so they can play a better role in various interactive systems to simulation level. Emotions would also play a functional role in complex systems, regulating interactions among agents. Different authors are trying to improve the interaction among intelligent agents in multiagent systems; an example is the MASOES affective model, which through the generation of emotions promotes different behaviors patterns. Although this affective model has already been formally verified at the design level, its verification is still a pending action. In this paper, we are presenting the MASOES affective model on a multiagent system, which has been verified in both, individual and collaborative mode.