Implementación Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal

Abstract

En este trabajo acercamos conceptos de la lógica modal -cuando es usada como herramienta para la modelización de sistemas multiagentes- al lenguaje de programación Java. Construimos un framework para definir estructuras de frames modales y de modelos modales, y chequear en ellos la validez de fórmulas bien formadas escritas en un lenguaje de agentes.Sociedad Argentina de Informática e Investigación Operativa (SADIO