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

Detalles Bibliográficos
Autor Principal: Carbonari, Francisco Eduardo Daniel
Otros autores o Colaboradores: Smith, Clara Patricia (Director/a)
Formato: Tesis
Lengua:español
Datos de publicación: 2015
Temas:
SISTEMAS MULTIAGENTES
MATEMÁTICA DE LA COMPUTACIÓN
lógicas modales
semánticas tipo kripke
semánticas tipo neighbourhood
completitud
decibilidad
combinación de lógicas
Acceso en línea:http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1193
Consultar en el Cátalogo
Descripción Física:43 p. + 1 DVD
Tabla de Contenidos:
  • 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

Ejemplares similares