Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud

Abstract

Se estudiaron alguna propiedades de interés teórico y computacional de la lógica modal, útiles para el desarrollo de sistemas (multiagentes). Se trabajó sobre sistemas matemáticos semánticos de tipo Kripke y Neighbourhood. También se trabajaron sistemas formales deductivos para lógicas modales normales y no-normales. Todos estos sistemas aparecieron (se desarrollaron) como una estrategia para encarar la complejidad del formalismo en estudio. El principal objetivo del trabajo era obtener pruebas de completitud para el formalismo en estudio, lo que implicó obtener este tipo de pruebas para cada sistema de inferencia con su correspondiente sistema semántico (tipo de Kripke y Neighbourhood). El objetivo secundario del trabajo era obtener pruebas de decibilidad para los sistemas tratados. Finalmente se analizaron las posibilidades de aplicar algún mecanismo de combinación de lógicas que permita reunificar los resultados obtenidos para abarcar la totalidad del formalismo en estudio.