Registro:
| Documento: | Tesis de Grado |
| Título: | Fragmentos de CPDL+ mediante propiedades de pathwidth |
| Autor: | Schiavinato, Mauro Luis |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-06-12 |
| Fecha de defensa: | 2024-07-23 |
| Fecha en portada: | 2024 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Figueira, Santiago Daniel |
| Director Asistente: | Pin Baque, Edwin |
| Jurado: | Rodríguez, Ricardo Oscar; Abriola, Sergio Alejandro |
| Idioma: | Español |
| Palabras clave: | LOGICA MODAL; PDL; GRAFOS; PATHWIDTH; SIMULACION |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000525_Schiavinato |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000525_Schiavinato.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000525_Schiavinato |
| Ubicación: | Dep.COM 000525 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Schiavinato, Mauro Luis. (2024). Fragmentos de CPDL+ mediante propiedades de pathwidth. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000525_Schiavinato |
Resumen:
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.
Citación:
---------- APA ----------
Schiavinato, Mauro Luis. (2024). Fragmentos de CPDL+ mediante propiedades de pathwidth. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000525_Schiavinato
---------- CHICAGO ----------
Schiavinato, Mauro Luis. "Fragmentos de CPDL+ mediante propiedades de pathwidth". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2024.https://hdl.handle.net/20.500.12110/seminario_nCOM000525_Schiavinato
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000525_Schiavinato.pdf
Distrubución geográfica
