Pruebas interesantes para una lógica multi-modal multi-agente

Título:

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

Autor:

Carbonari, Francisco Eduardo Daniel

Otros autores / Colaboradores:

 Smith, Clara Patricia; [ Director/a] 

Temas:

SISTEMAS MULTIAGENTES; MATEMÁTICA DE LA COMPUTACIÓN; 

Palabras clave:

lógicas modales, semánticas tipo kripke, semánticas tipo neighbourhood, completitud, decibilidad, combinación de lógicas, 

Nota de tesis:

Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2015.

Extensión:

43 p. + 1 DVD

Resumen:

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.

Puede solicitar más fácilmente el ejemplar con: TES 15/23

Introducción
El sistema en estudio 
El lenguaje 
La perspectiva semántica 
 Satisfacción y validez para las fórmulas 
   Características de los modelos para Lnorm 
    Características de los modelos para Lnon 
     La perspectiva sintáctica 
      Los sistemas KLnorm y KLLR norm 
      Los sistemas CLnon y CLLR non 
Completitud 
Preliminares 
El método del modelo canónico 
  El modelo canónico para KLnorm 
   KLLR es completo con respecto a MLR norm 
   El modelo canónico para CLnon 
    CLLR es completo con respecto a M LR  non 
Extractos sobre decibilidad 
Decibilidad para KLnorm y KLLRnorm
Decibilidad para CLnon y CLLR non 
Conclusiones y algo mas
Bibliografía