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

Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.

Detalles Bibliográficos
Autor principal: Díaz, Marcio Oscar
Otros Autores: Areces, Carlos Eduardo
Formato: bachelorThesis
Lenguaje:Español
Publicado: 2023
Materias:
Lógica matemática
Lógica modal
Lógica híbrida
Traducciones funcionales
Lógica de primer orden
Demostrador de teoremas
Mathematical logic
Acceso en línea:http://hdl.handle.net/11086/549061
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-549061
record_format dspace
spelling I10-R141-11086-5490612023-09-20T13:24:30Z Optimización de la traducción funcional para lógicas modales Díaz, Marcio Oscar Areces, Carlos Eduardo Lógica matemática Lógica modal Lógica híbrida Traducciones funcionales Lógica de primer orden Demostrador de teoremas Mathematical logic 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. 2023-09-18T14:11:45Z 2023-09-18T14:11:45Z 2013-08-09 bachelorThesis http://hdl.handle.net/11086/549061 spa Attribution-NonCommercial-NoDerivatives 4.0 Internacional http://creativecommons.org/licenses/by-nc-nd/4.0/
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Lógica matemática
Lógica modal
Lógica híbrida
Traducciones funcionales
Lógica de primer orden
Demostrador de teoremas
Mathematical logic
spellingShingle Lógica matemática
Lógica modal
Lógica híbrida
Traducciones funcionales
Lógica de primer orden
Demostrador de teoremas
Mathematical logic
Díaz, Marcio Oscar
Optimización de la traducción funcional para lógicas modales
topic_facet Lógica matemática
Lógica modal
Lógica híbrida
Traducciones funcionales
Lógica de primer orden
Demostrador de teoremas
Mathematical logic
description Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013.
author2 Areces, Carlos Eduardo
author_facet Areces, Carlos Eduardo
Díaz, Marcio Oscar
format bachelorThesis
author Díaz, Marcio Oscar
author_sort Díaz, Marcio Oscar
title Optimización de la traducción funcional para lógicas modales
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
publishDate 2023
url http://hdl.handle.net/11086/549061
work_keys_str_mv AT diazmarciooscar optimizaciondelatraduccionfuncionalparalogicasmodales
_version_ 1782014859258363904

Ejemplares similares