Objeto de conferencia
Implementación Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal
Registro en:
issn:2451-7585
Autor
Smith, Clara Patricia
Fournier, Gastón
Otonelo, Leonardo
Institución
Resumen
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)