Pruebas interesantes para una lógica multi-modal multi-agente : un caso de estudio sobre completitud
Material type:
Item type | Home library | Collection | Call number | URL | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca de la Facultad de Informática | TES 15/23 (Browse shelf(Opens below)) | Consulta en Sala | DIF-04438 | ||||
![]() |
Biblioteca de la Facultad de Informática | Biblioteca digital | Link to resource | No corresponde |
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