Pruebas interesantes para una lógica multi-modal multi-agente : un caso de estudio sobre completitud
- 2015
- 43 p. + 1 DVD
Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2015.
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
DIF-M7064
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