Optimización de la traducción funcional para lógicas modales

Autores
Díaz, Marcio Oscar
Año de publicación
2013
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión publicada
Colaborador/a o director/a de tesis
Areces, Carlos Eduardo
Descripción
Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Fil: Díaz, Marcio Oscar. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.
En esta tesis estudiamos las traducciones funcionales que transforman fórmulas de lógica modal a lógica de primer orden con sorts. En trabajos previos se mostró que remover las anotaciones de sorts de las traducciones funcionales preserva satisfacibilidad. Investigamos el desempeño de SPASS, un demostrador de lógica de primer orden, al suministrarle fórmulas traducidas con y sin anotaciones de sorts. Concluimos que, para todas los casos testeados, remover sorts mejora el desempeño del demostrador.
Fil: Díaz, Marcio Oscar. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.
Materia
Lógica matemática
Lógica modal
Lógica híbrida
Traducciones funcionales
Lógica de primer orden
Demostrador de teoremas
Mathematical logic
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/549061
Acceder
id RDUUNC_5293afdca9d030f398d57d10e9490d8a
oai_identifier_str oai:rdu.unc.edu.ar:11086/549061
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Optimización de la traducción funcional para lógicas modalesDíaz, Marcio OscarLógica matemáticaLógica modalLógica híbridaTraducciones funcionalesLógica de primer ordenDemostrador de teoremasMathematical logicTesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.Fil: Díaz, Marcio Oscar. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.En esta tesis estudiamos las traducciones funcionales que transforman fórmulas de lógica modal a lógica de primer orden con sorts. En trabajos previos se mostró que remover las anotaciones de sorts de las traducciones funcionales preserva satisfacibilidad. Investigamos el desempeño de SPASS, un demostrador de lógica de primer orden, al suministrarle fórmulas traducidas con y sin anotaciones de sorts. Concluimos que, para todas los casos testeados, remover sorts mejora el desempeño del demostrador.Fil: Díaz, Marcio Oscar. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.Areces, Carlos Eduardo2013-08-09info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttp://hdl.handle.net/11086/549061spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-29T13:43:45Zoai:rdu.unc.edu.ar:11086/549061Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-29 13:43:45.712Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Optimización de la traducción funcional para lógicas modales
title Optimización de la traducción funcional para lógicas modales
spellingShingle Optimización de la traducción funcional para lógicas modales
Díaz, Marcio Oscar
Lógica matemática
Lógica modal
Lógica híbrida
Traducciones funcionales
Lógica de primer orden
Demostrador de teoremas
Mathematical logic
title_short Optimización de la traducción funcional para lógicas modales
title_full Optimización de la traducción funcional para lógicas modales
title_fullStr Optimización de la traducción funcional para lógicas modales
title_full_unstemmed Optimización de la traducción funcional para lógicas modales
title_sort Optimización de la traducción funcional para lógicas modales
dc.creator.none.fl_str_mv Díaz, Marcio Oscar
author Díaz, Marcio Oscar
author_facet Díaz, Marcio Oscar
author_role author
dc.contributor.none.fl_str_mv Areces, Carlos Eduardo
dc.subject.none.fl_str_mv Lógica matemática
Lógica modal
Lógica híbrida
Traducciones funcionales
Lógica de primer orden
Demostrador de teoremas
Mathematical logic
topic Lógica matemática
Lógica modal
Lógica híbrida
Traducciones funcionales
Lógica de primer orden
Demostrador de teoremas
Mathematical logic
dc.description.none.fl_txt_mv Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
Fil: Díaz, Marcio Oscar. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.
En esta tesis estudiamos las traducciones funcionales que transforman fórmulas de lógica modal a lógica de primer orden con sorts. En trabajos previos se mostró que remover las anotaciones de sorts de las traducciones funcionales preserva satisfacibilidad. Investigamos el desempeño de SPASS, un demostrador de lógica de primer orden, al suministrarle fórmulas traducidas con y sin anotaciones de sorts. Concluimos que, para todas los casos testeados, remover sorts mejora el desempeño del demostrador.
Fil: Díaz, Marcio Oscar. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.
description Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
publishDate 2013
dc.date.none.fl_str_mv 2013-08-09
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 http://hdl.handle.net/11086/549061
url http://hdl.handle.net/11086/549061
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1844618964254064640
score 13.070432

Publicaciones similares