Registro:
| Documento: | Tesis de Grado |
| Título: | Optimizando el rendimiento de la herramienta FormaLex de análisis de documentos normativos |
| Autor: | Faciano, Carlos Augusto |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-06-12 |
| Fecha de defensa: | 2016 |
| Fecha en portada: | 2016 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Schapachnik, Fernando Pablo |
| Jurado: | Mera, Sergio Fernando; Pérez, Gervasio Daniel |
| Idioma: | Español |
| Palabras clave: | OPTIMIZACION; FL; TEXTOS NORMATIVOS; FILTRADO; REDUCTOR; FORMALEX |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000633_Faciano |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000633_Faciano.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000633_Faciano |
| Ubicación: | Dep.COM 000633 |
| 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. Faciano, Carlos Augusto. (2016). Optimizando el rendimiento de la herramienta FormaLex de análisis de documentos normativos. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000633_Faciano |
Resumen:
Una de las primeras etapas del desarrollo de un programa informático es la especificación, donde se define qué tiene que hacer el programa, indicando los comportamientos permitidos y los prohibidos. Existen técnicas y herramientas que de manera formal analizan estas especificaciones para buscar inconsistencias o huecos, que son complejos de encontrar manualmente. Dado que existen fuertes similitudes entre la especificación de software y la de las normas legales se decidió aprovechar la experiencia en el terreno informático en esta área. Sobre esas bases se desarrollaron FL, un lenguaje basado en la lógica temporal lineal LTL y FormaLex, una herramienta centrada en el análisis de coherencia de documentos deónticos escritos en FL. El objetivo de FormaLex es poder modelar y analizar sistemas legales usando herramientas informáticas. Hasta el momento el desarrollo de la herramienta se había concentrado en expandir su expresividad, y mostraba problemas de rendimiento en muchas áreas. En particular, no era capaz de analizar en un tiempo razonable varios casos de estudio derivados de la Ley de Defensa del Consumidor de la República Argentina. En esta tesis se implementaron tres optimizaciones, algunas de las cuales reducen fuertemente los tiempos de procesamiento logrando que de 30 casos de prueba que no lograban terminar, 19 pasen a lograrlo. Éstas se basan en cambios en la representación basada en autómatas utilizada, cambios en los operadores utilizados en las fórmulas, y eliminación de componentes inactivos.
Citación:
---------- APA ----------
Faciano, Carlos Augusto. (2016). Optimizando el rendimiento de la herramienta FormaLex de análisis de documentos normativos. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000633_Faciano
---------- CHICAGO ----------
Faciano, Carlos Augusto. "Optimizando el rendimiento de la herramienta FormaLex de análisis de documentos normativos". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2016.https://hdl.handle.net/20.500.12110/seminario_nCOM000633_Faciano
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000633_Faciano.pdf
Distrubución geográfica
