Implementación de chequeadores de modelos para MAS

Abstract

Sistemas Multi-Agentes (MAS) es un paradigma computacional para modelar sistemas de inteligencia distribuida. En este paradigma, un sistema computacional es visto como una composición de un conjunto de componentes autónomos y heterogéneos, llamados agentes, que interactúan unos con otros en un medio ambiente. Las lógicas modales son usadas como un enfoque formal para la construcción de MAS. Se utilizan elementos de forma (entidades, reglas, axiomas, etc) para la descripción, inferencia y planificación de los agentes y su comportamiento en un ámbito de aplicación. Nuestro trabajo consiste en implementar un chequeador de modelos en un lenguaje orientado a objetos, tratando de acercar los resultados obtenidos en los trabajos previos a una implementación flexible y en un lenguaje usado usualmente en ámbitos comerciales, que permita integrar la solución a sistemas existentes y a su vez que sea extensible a otras lógicas.