FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos

Autores
Gunski, María Celeste; Raiczyk, Melisa Gabriela
Año de publicación
2016
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión publicada
Colaborador/a o director/a de tesis
Schapachnik, Fernando Pablo
Descripción
Una de las primeras etapas del desarrollo de un programa informático es la especificación, donde se define que 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. A pesar de que existen fuertes similitudes entre la especificación de software y la de las normas legales, los intentos de automatizar el análisis de dichas normas, hasta ahora, se han basado en la creación de nuevas herramientas totalmente desde cero. Para poder aprovechar la experiencia en el terreno informático en esta área se desarrolló FL, un lenguaje basado en lógica temporal lineal, y FormaLex, que consiste en un grupo de herramientas centrado en el análisis de coherencia de documentos deónticos escritos en FL. Nuestra tesis consiste en extender el lenguaje FL y sus herramientas asociadas, agregando funcionalidades para permitir dar soporte a un conjunto más amplio de situaciones expresadas en los textos normativos y adaptar la herramienta para que funcionen todas estas nuevas características. Este trabajo se engloba dentro de uno más amplio, cuyo objetivo es proveer de herramientas prácticas que sirvan de ayuda para detectar errores a la hora de crear normas y reglamentos.
Fil: Gunski, María Celeste. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
Fil: Raiczyk, Melisa Gabriela. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
Materia
LOGICA DEONTICA
FL
TEXTOS NORMATIVOS
DETECCION ERRORES
FORMALEX
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_nCOM000683_GunskiRaiczyk

id BDUBAFCEN_1482bdbf043679b38b4067e554d548f6
oai_identifier_str seminario:seminario_nCOM000683_GunskiRaiczyk
network_acronym_str BDUBAFCEN
repository_id_str 1896
network_name_str Biblioteca Digital (UBA-FCEN)
spelling FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativosGunski, María CelesteRaiczyk, Melisa GabrielaLOGICA DEONTICAFLTEXTOS NORMATIVOSDETECCION ERRORESFORMALEXUna de las primeras etapas del desarrollo de un programa informático es la especificación, donde se define que 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. A pesar de que existen fuertes similitudes entre la especificación de software y la de las normas legales, los intentos de automatizar el análisis de dichas normas, hasta ahora, se han basado en la creación de nuevas herramientas totalmente desde cero. Para poder aprovechar la experiencia en el terreno informático en esta área se desarrolló FL, un lenguaje basado en lógica temporal lineal, y FormaLex, que consiste en un grupo de herramientas centrado en el análisis de coherencia de documentos deónticos escritos en FL. Nuestra tesis consiste en extender el lenguaje FL y sus herramientas asociadas, agregando funcionalidades para permitir dar soporte a un conjunto más amplio de situaciones expresadas en los textos normativos y adaptar la herramienta para que funcionen todas estas nuevas características. Este trabajo se engloba dentro de uno más amplio, cuyo objetivo es proveer de herramientas prácticas que sirvan de ayuda para detectar errores a la hora de crear normas y reglamentos.Fil: Gunski, María Celeste. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.Fil: Raiczyk, Melisa Gabriela. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.Universidad de Buenos Aires. Facultad de Ciencias Exactas y NaturalesSchapachnik, Fernando Pablo2016info: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_nCOM000683_GunskiRaiczykspainfo: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:38Zseminario:seminario_nCOM000683_GunskiRaiczykInstitucionalhttps://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:39.825Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesfalse
dc.title.none.fl_str_mv FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos
title FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos
spellingShingle FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos
Gunski, María Celeste
LOGICA DEONTICA
FL
TEXTOS NORMATIVOS
DETECCION ERRORES
FORMALEX
title_short FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos
title_full FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos
title_fullStr FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos
title_full_unstemmed FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos
title_sort FormaLex : mejorando el poder expresivo del lenguaje FL para la detección de defectos normativos
dc.creator.none.fl_str_mv Gunski, María Celeste
Raiczyk, Melisa Gabriela
author Gunski, María Celeste
author_facet Gunski, María Celeste
Raiczyk, Melisa Gabriela
author_role author
author2 Raiczyk, Melisa Gabriela
author2_role author
dc.contributor.none.fl_str_mv Schapachnik, Fernando Pablo
dc.subject.none.fl_str_mv LOGICA DEONTICA
FL
TEXTOS NORMATIVOS
DETECCION ERRORES
FORMALEX
topic LOGICA DEONTICA
FL
TEXTOS NORMATIVOS
DETECCION ERRORES
FORMALEX
dc.description.none.fl_txt_mv Una de las primeras etapas del desarrollo de un programa informático es la especificación, donde se define que 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. A pesar de que existen fuertes similitudes entre la especificación de software y la de las normas legales, los intentos de automatizar el análisis de dichas normas, hasta ahora, se han basado en la creación de nuevas herramientas totalmente desde cero. Para poder aprovechar la experiencia en el terreno informático en esta área se desarrolló FL, un lenguaje basado en lógica temporal lineal, y FormaLex, que consiste en un grupo de herramientas centrado en el análisis de coherencia de documentos deónticos escritos en FL. Nuestra tesis consiste en extender el lenguaje FL y sus herramientas asociadas, agregando funcionalidades para permitir dar soporte a un conjunto más amplio de situaciones expresadas en los textos normativos y adaptar la herramienta para que funcionen todas estas nuevas características. Este trabajo se engloba dentro de uno más amplio, cuyo objetivo es proveer de herramientas prácticas que sirvan de ayuda para detectar errores a la hora de crear normas y reglamentos.
Fil: Gunski, María Celeste. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
Fil: Raiczyk, Melisa Gabriela. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
description Una de las primeras etapas del desarrollo de un programa informático es la especificación, donde se define que 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. A pesar de que existen fuertes similitudes entre la especificación de software y la de las normas legales, los intentos de automatizar el análisis de dichas normas, hasta ahora, se han basado en la creación de nuevas herramientas totalmente desde cero. Para poder aprovechar la experiencia en el terreno informático en esta área se desarrolló FL, un lenguaje basado en lógica temporal lineal, y FormaLex, que consiste en un grupo de herramientas centrado en el análisis de coherencia de documentos deónticos escritos en FL. Nuestra tesis consiste en extender el lenguaje FL y sus herramientas asociadas, agregando funcionalidades para permitir dar soporte a un conjunto más amplio de situaciones expresadas en los textos normativos y adaptar la herramienta para que funcionen todas estas nuevas características. Este trabajo se engloba dentro de uno más amplio, cuyo objetivo es proveer de herramientas prácticas que sirvan de ayuda para detectar errores a la hora de crear normas y reglamentos.
publishDate 2016
dc.date.none.fl_str_mv 2016
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_nCOM000683_GunskiRaiczyk
url https://hdl.handle.net/20.500.12110/seminario_nCOM000683_GunskiRaiczyk
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_ 1844618756643356672
score 13.070432