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
.jpg)
- 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-10-16T09:31:09Zseminario: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-10-16 09:31:10.719Biblioteca 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_ |
1846142863127085056 |
| score |
12.712165 |