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

Autores
Carbonari, Francisco Eduardo Daniel
Año de publicación
2015
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión aceptada
Colaborador/a o director/a de tesis
Smith, Clara
Descripción
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.
Licenciado en Informática
Universidad Nacional de La Plata
Facultad de Informática
Materia
Ciencias Informáticas
Multiagent systems
completitud
semánticas tipo Kripke
Semantics
combinación de lógicas
Modal logic
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/50070
Acceder
id SEDICI_28a8acb08813363b5ec456bad355ca3a
oai_identifier_str oai:sedici.unlp.edu.ar:10915/50070
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitudCarbonari, Francisco Eduardo DanielCiencias InformáticasMultiagent systemscompletitudsemánticas tipo KripkeSemanticscombinación de lógicasModal logicSe 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.Licenciado en InformáticaUniversidad Nacional de La PlataFacultad de InformáticaSmith, Clara2015-08info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/acceptedVersionTesis de gradohttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/50070spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/4.0/Creative Commons Attribution 4.0 International (CC BY 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-22T16:45:20Zoai:sedici.unlp.edu.ar:10915/50070Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-22 16:45:20.295SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud
title Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud
spellingShingle Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud
Carbonari, Francisco Eduardo Daniel
Ciencias Informáticas
Multiagent systems
completitud
semánticas tipo Kripke
Semantics
combinación de lógicas
Modal logic
title_short Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud
title_full Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud
title_fullStr Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud
title_full_unstemmed Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud
title_sort Pruebas interesantes para una lógica multi-modal multi-agente: un caso de estudio sobre completitud
dc.creator.none.fl_str_mv Carbonari, Francisco Eduardo Daniel
author Carbonari, Francisco Eduardo Daniel
author_facet Carbonari, Francisco Eduardo Daniel
author_role author
dc.contributor.none.fl_str_mv Smith, Clara
dc.subject.none.fl_str_mv Ciencias Informáticas
Multiagent systems
completitud
semánticas tipo Kripke
Semantics
combinación de lógicas
Modal logic
topic Ciencias Informáticas
Multiagent systems
completitud
semánticas tipo Kripke
Semantics
combinación de lógicas
Modal logic
dc.description.none.fl_txt_mv 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.
Licenciado en Informática
Universidad Nacional de La Plata
Facultad de Informática
description 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.
publishDate 2015
dc.date.none.fl_str_mv 2015-08
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
info:eu-repo/semantics/acceptedVersion
Tesis de grado
http://purl.org/coar/resource_type/c_7a1f
info:ar-repo/semantics/tesisDeGrado
format bachelorThesis
status_str acceptedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/50070
url http://sedici.unlp.edu.ar/handle/10915/50070
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by/4.0/
Creative Commons Attribution 4.0 International (CC BY 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/4.0/
Creative Commons Attribution 4.0 International (CC BY 4.0)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1846782969615745024
score 12.982451

Publicaciones similares