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.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | bachelorThesis |
| Language: | spa |
| Published: |
2023
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11086/549061 |
| _version_ | 1801215360382271488 |
|---|---|
| author | Díaz, Marcio Oscar |
| author2 | Areces, Carlos Eduardo |
| author_facet | Areces, Carlos Eduardo Díaz, Marcio Oscar |
| author_sort | Díaz, Marcio Oscar |
| collection | Repositorio Digital Universitario |
| description | Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2013. |
| format | bachelorThesis |
| id | rdu-unc.549061 |
| institution | Universidad Nacional de Cordoba |
| language | spa |
| publishDate | 2023 |
| record_format | dspace |
| spelling | rdu-unc.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/ |
| 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 |
| title | 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_short | Optimización de la traducción funcional para lógicas modales |
| title_sort | optimizacion de la traduccion funcional para logicas modales |
| topic | Lógica matemática Lógica modal Lógica híbrida Traducciones funcionales Lógica de primer orden Demostrador de teoremas Mathematical logic |
| url | http://hdl.handle.net/11086/549061 |
| work_keys_str_mv | AT diazmarciooscar optimizaciondelatraduccionfuncionalparalogicasmodales |