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
- Institución
- Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
- OAI Identificador
- seminario:seminario_nCOM000525_Schiavinato
Ver los metadatos del registro completo
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 |