Fragmentos de CPDL+ mediante propiedades de pathwidth

Autores
Schiavinato, Mauro Luis
Año de publicación
2024
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión publicada
Colaborador/a o director/a de tesis
Figueira, Santiago Daniel
Pin Baque, Edwin
Descripción
En este trabajo nos centramos en CPDL+, un lenguaje recientemente definido que extiende a PDL, una lógica modal ya conocida y ampliamente estudiada. Sobre esta nueva lógica estudiamos una jerarquización del lenguaje basado en propiedades de pathwidth asociados a los grafos subyacentes de ciertas expresiones que este lenguaje posee. Esta jerarquización es comparable y análoga a la jerarquización de CPDL+ basada en propiedades de treewidth con la que se definió originalmente. En un principio, nuestro problema se basaba en hacer una comparación de expresividad de varios fragmentos de CPDL+, pero varias propiedades relacionadas con teoría de modelos y juegos de simulación fueron surgiendo a medida que este estudio se fue desarrollando. Finalmente, demostramos que el criterio de simulación estudiado para la jerarquía de treewidth también sirve para pathwidth, con algunas modificaciones semánticas.
Fil: Schiavinato, Mauro Luis. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
Materia
LOGICA MODAL
PDL
GRAFOS
PATHWIDTH
SIMULACION
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar
Repositorio
Biblioteca Digital (UBA-FCEN)
Institución
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
OAI Identificador
seminario:seminario_nCOM000525_Schiavinato

id BDUBAFCEN_d1e64b787078a9bbbddb9a0fa11f3457
oai_identifier_str seminario:seminario_nCOM000525_Schiavinato
network_acronym_str BDUBAFCEN
repository_id_str 1896
network_name_str Biblioteca Digital (UBA-FCEN)
spelling Fragmentos de CPDL+ mediante propiedades de pathwidthSchiavinato, Mauro LuisLOGICA MODALPDLGRAFOSPATHWIDTHSIMULACIONEn este trabajo nos centramos en CPDL+, un lenguaje recientemente definido que extiende a PDL, una lógica modal ya conocida y ampliamente estudiada. Sobre esta nueva lógica estudiamos una jerarquización del lenguaje basado en propiedades de pathwidth asociados a los grafos subyacentes de ciertas expresiones que este lenguaje posee. Esta jerarquización es comparable y análoga a la jerarquización de CPDL+ basada en propiedades de treewidth con la que se definió originalmente. En un principio, nuestro problema se basaba en hacer una comparación de expresividad de varios fragmentos de CPDL+, pero varias propiedades relacionadas con teoría de modelos y juegos de simulación fueron surgiendo a medida que este estudio se fue desarrollando. Finalmente, demostramos que el criterio de simulación estudiado para la jerarquía de treewidth también sirve para pathwidth, con algunas modificaciones semánticas.Fil: Schiavinato, Mauro Luis. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.Universidad de Buenos Aires. Facultad de Ciencias Exactas y NaturalesFigueira, Santiago DanielPin Baque, Edwin2024-07-23info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttps://hdl.handle.net/20.500.12110/seminario_nCOM000525_Schiavinatospainfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/arreponame:Biblioteca Digital (UBA-FCEN)instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesinstacron:UBA-FCEN2025-09-29T13:43:36Zseminario:seminario_nCOM000525_SchiavinatoInstitucionalhttps://digital.bl.fcen.uba.ar/Universidad públicaNo correspondehttps://digital.bl.fcen.uba.ar/cgi-bin/oaiserver.cgiana@bl.fcen.uba.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:18962025-09-29 13:43:37.601Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesfalse
dc.title.none.fl_str_mv Fragmentos de CPDL+ mediante propiedades de pathwidth
title Fragmentos de CPDL+ mediante propiedades de pathwidth
spellingShingle Fragmentos de CPDL+ mediante propiedades de pathwidth
Schiavinato, Mauro Luis
LOGICA MODAL
PDL
GRAFOS
PATHWIDTH
SIMULACION
title_short Fragmentos de CPDL+ mediante propiedades de pathwidth
title_full Fragmentos de CPDL+ mediante propiedades de pathwidth
title_fullStr Fragmentos de CPDL+ mediante propiedades de pathwidth
title_full_unstemmed Fragmentos de CPDL+ mediante propiedades de pathwidth
title_sort Fragmentos de CPDL+ mediante propiedades de pathwidth
dc.creator.none.fl_str_mv Schiavinato, Mauro Luis
author Schiavinato, Mauro Luis
author_facet Schiavinato, Mauro Luis
author_role author
dc.contributor.none.fl_str_mv Figueira, Santiago Daniel
Pin Baque, Edwin
dc.subject.none.fl_str_mv LOGICA MODAL
PDL
GRAFOS
PATHWIDTH
SIMULACION
topic LOGICA MODAL
PDL
GRAFOS
PATHWIDTH
SIMULACION
dc.description.none.fl_txt_mv En este trabajo nos centramos en CPDL+, un lenguaje recientemente definido que extiende a PDL, una lógica modal ya conocida y ampliamente estudiada. Sobre esta nueva lógica estudiamos una jerarquización del lenguaje basado en propiedades de pathwidth asociados a los grafos subyacentes de ciertas expresiones que este lenguaje posee. Esta jerarquización es comparable y análoga a la jerarquización de CPDL+ basada en propiedades de treewidth con la que se definió originalmente. En un principio, nuestro problema se basaba en hacer una comparación de expresividad de varios fragmentos de CPDL+, pero varias propiedades relacionadas con teoría de modelos y juegos de simulación fueron surgiendo a medida que este estudio se fue desarrollando. Finalmente, demostramos que el criterio de simulación estudiado para la jerarquía de treewidth también sirve para pathwidth, con algunas modificaciones semánticas.
Fil: Schiavinato, Mauro Luis. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
description En este trabajo nos centramos en CPDL+, un lenguaje recientemente definido que extiende a PDL, una lógica modal ya conocida y ampliamente estudiada. Sobre esta nueva lógica estudiamos una jerarquización del lenguaje basado en propiedades de pathwidth asociados a los grafos subyacentes de ciertas expresiones que este lenguaje posee. Esta jerarquización es comparable y análoga a la jerarquización de CPDL+ basada en propiedades de treewidth con la que se definió originalmente. En un principio, nuestro problema se basaba en hacer una comparación de expresividad de varios fragmentos de CPDL+, pero varias propiedades relacionadas con teoría de modelos y juegos de simulación fueron surgiendo a medida que este estudio se fue desarrollando. Finalmente, demostramos que el criterio de simulación estudiado para la jerarquía de treewidth también sirve para pathwidth, con algunas modificaciones semánticas.
publishDate 2024
dc.date.none.fl_str_mv 2024-07-23
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_7a1f
info:ar-repo/semantics/tesisDeGrado
format bachelorThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.12110/seminario_nCOM000525_Schiavinato
url https://hdl.handle.net/20.500.12110/seminario_nCOM000525_Schiavinato
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publisher.none.fl_str_mv Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
dc.source.none.fl_str_mv reponame:Biblioteca Digital (UBA-FCEN)
instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN
reponame_str Biblioteca Digital (UBA-FCEN)
collection Biblioteca Digital (UBA-FCEN)
instname_str Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron_str UBA-FCEN
institution UBA-FCEN
repository.name.fl_str_mv Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
repository.mail.fl_str_mv ana@bl.fcen.uba.ar
_version_ 1844618755154378753
score 13.070432