{"id":145,"date":"2008-08-21T00:00:00","date_gmt":"2008-08-21T00:00:00","guid":{"rendered":"http:\/\/ijandev-test.fi.uncoma.edu.ar\/Wordpress\/index.php\/2008\/08\/21\/lorenzo-evaluacion-de-demostradores-de-logicas-para-la-descripcion-sobre-formulas-hibridas-julio-2008\/"},"modified":"2022-02-15T03:17:48","modified_gmt":"2022-02-15T06:17:48","slug":"1-lorenzo-evaluacion-de-demostradores-de-logicas-para-la-descripcion-sobre-formulas-hibridas-julio-2008","status":"publish","type":"post","link":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/nuevos-lic-lcc\/1-lorenzo-evaluacion-de-demostradores-de-logicas-para-la-descripcion-sobre-formulas-hibridas-julio-2008\/","title":{"rendered":"Lorenzo, Alejandra: Evaluaci\u00f3n de demostradores de l\u00f3gicas para la descripci\u00f3n sobre f\u00f3rmulas h\u00edbridas, Agosto 2008"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-post\" data-elementor-id=\"145\" class=\"elementor elementor-145\">\n\t\t\t\t\t\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-10503a10 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"10503a10\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-554693af\" data-id=\"554693af\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-4e933cb6 elementor-widget elementor-widget-text-editor\" data-id=\"4e933cb6\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<style>\/*! elementor - v3.6.7 - 03-07-2022 *\/\n.elementor-widget-text-editor.elementor-drop-cap-view-stacked .elementor-drop-cap{background-color:#818a91;color:#fff}.elementor-widget-text-editor.elementor-drop-cap-view-framed .elementor-drop-cap{color:#818a91;border:3px solid;background-color:transparent}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap{margin-top:8px}.elementor-widget-text-editor:not(.elementor-drop-cap-view-default) .elementor-drop-cap-letter{width:1em;height:1em}.elementor-widget-text-editor .elementor-drop-cap{float:left;text-align:center;line-height:1;font-size:50px}.elementor-widget-text-editor .elementor-drop-cap-letter{display:inline-block}<\/style>\t\t\t\t<p style=\"text-align: justify;\"><strong>T\u00edtulo<\/strong>: Evaluaci\u00f3n de demostradores de l\u00f3gicas para la descripci\u00f3n sobre f\u00f3rmulas h\u00edbridas<\/p><p style=\"text-align: justify;\"><strong>Autor:<\/strong> Alejandra Lorenzo<\/p><p style=\"text-align: justify;\"><strong>Directores:<\/strong> Mg. Gerardo Parra &#8211; Carlos Areces<\/p><p><strong>Carrera:<\/strong> Licenciatura en Ciencias de la Computaci\u00f3n<\/p><p style=\"text-align: justify;\"><strong>Fecha de defensa<\/strong>: 21 de Agosto de 2008<\/p><p style=\"text-align: justify;\"><strong>Resumen<\/strong><\/p><p style=\"text-align: justify;\">En esta tesis presentamos una traducci\u00f3n de f\u00f3rmulas h\u00edbridas a conceptos de l\u00f3gica para la descripci\u00f3n, e implementamos dicha traducci\u00f3n para dos salidas distintas. Las sintaxis elegidas son la sintaxis del lenguaje de entrada de FaCT++ y la sintaxis OWL RDF\/XML, utilizada por una gran variedad de demostradores de l\u00f3gica para la descripci\u00f3n. Elegimos estas dos sintaxis, debido a que son las sintaxis utilizadas por FaCT++ y Pellet, dos razonadores de l\u00f3gicas para la descripci\u00f3n que proveen el soporte para l\u00f3gicas h\u00edbridas m\u00ednimo requerido para la implementaci\u00f3n de la traducci\u00f3n: la posibilidad<br \/>de trabajar con nominales.<\/p><p style=\"text-align: justify;\">La implementaci\u00f3n de nuestra traducci\u00f3n nos permitir\u00e1 resolver problemas de l\u00f3gica h\u00edbrida con herramientas de l\u00f3gica para la descripci\u00f3n. Esta posibilidad es muy interesante, particularmente considerando que las l\u00f3gicas para la descripci\u00f3n cuentan con mecanismos de inferencia muy experimentados. Pero m\u00e1s interesante a\u00fan es que dicha implementaci\u00f3n nos dar\u00e1 la posibilidad de comparaci\u00f3n entre demostradores de l\u00f3gica h\u00edbrida y demostradores de l\u00f3gicas para la descripci\u00f3n, algo que hasta ahora no se ha estudiado en profundidad y que puede ser de gran ayuda en el crecimiento de los demostradores involucrados.<br \/>Con este \u00faltimo objetivo en mente, comenzamos con la etapa de evaluaciones. En esta etapa utilizamos una herramienta de testeo originalmente desarrollada para el demostrador de l\u00f3gica h\u00edbrida HyLoRes. Dicha herramienta ejecuta los tests generando f\u00f3rmulas h\u00edbridas aleatoriamente por medio del generador de f\u00f3rmulas h\u00edbridas aleatorias en CNF (forma normal conjuntiva), hGen. Estas f\u00f3rmulas son entonces directamente procesadas por los razonadores de l\u00f3gica h\u00edbrida hTab y HyLoRes, y traducidas a conceptos de l\u00f3gicas para la descripci\u00f3n para ser luego procesadas por los razonadores<br \/>de l\u00f3gicas para la descripci\u00f3n FaCT++ y Pellet. De esta forma podemos obtener una comparaci\u00f3n entre todos los demostradores involucrados.<br \/>Los test preliminares que comenzamos a correr, y que analizamos en los cap\u00edtulos finales de esta tesis, indican que es necesario tener particular cuidado con los operadores caracter\u00edsticos de las l\u00f3gicas h\u00edbridas. Durante nuestros tests, hemos observado que demostradores del estado del arte de l\u00f3gicas de descripci\u00f3n como Fact++ y Pellet, tienen dificultades para decidir la satisfacibilidad de formulas h\u00edbridas.<\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"elementor-section elementor-top-section elementor-element elementor-element-a5123d2 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"a5123d2\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-1fc8d44b\" data-id=\"1fc8d44b\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-58464d0e elementor-align-center elementor-widget elementor-widget-button\" data-id=\"58464d0e\" data-element_type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t<a href=\"https:\/\/www.fi.uncoma.edu.ar\/index.php\/nuevos-lic-lcc\/\" class=\"elementor-button-link elementor-button elementor-size-sm\" role=\"button\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t<span class=\"elementor-button-text\">Ver otras tesis LCC FaI<\/span>\n\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>T\u00edtulo: Evaluaci\u00f3n de demostradores de l\u00f3gicas para la descripci\u00f3n sobre f\u00f3rmulas h\u00edbridas Autor: Alejandra Lorenzo Directores: Mg. Gerardo Parra &#8211; Carlos Areces Carrera: Licenciatura en Ciencias de la Computaci\u00f3n Fecha de defensa: 21 de Agosto de 2008 Resumen En esta tesis presentamos una traducci\u00f3n de f\u00f3rmulas h\u00edbridas a conceptos de l\u00f3gica para la descripci\u00f3n, e &hellip;<\/p>\n<p class=\"read-more\"> <a class=\"\" href=\"https:\/\/www.fi.uncoma.edu.ar\/index.php\/nuevos-lic-lcc\/1-lorenzo-evaluacion-de-demostradores-de-logicas-para-la-descripcion-sobre-formulas-hibridas-julio-2008\/\"> <span class=\"screen-reader-text\">Lorenzo, Alejandra: Evaluaci\u00f3n de demostradores de l\u00f3gicas para la descripci\u00f3n sobre f\u00f3rmulas h\u00edbridas, Agosto 2008<\/span> Leer m\u00e1s &raquo;<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"default","ast-global-header-display":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":""},"categories":[14],"tags":[],"uagb_featured_image_src":{"full":false,"thumbnail":false,"medium":false,"medium_large":false,"large":false,"1536x1536":false,"2048x2048":false},"uagb_author_info":{"display_name":"ufai","author_link":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/author\/ufai\/"},"uagb_comment_info":0,"uagb_excerpt":"T\u00edtulo: Evaluaci\u00f3n de demostradores de l\u00f3gicas para la descripci\u00f3n sobre f\u00f3rmulas h\u00edbridas Autor: Alejandra Lorenzo Directores: Mg. Gerardo Parra &#8211; Carlos Areces Carrera: Licenciatura en Ciencias de la Computaci\u00f3n Fecha de defensa: 21 de Agosto de 2008 Resumen En esta tesis presentamos una traducci\u00f3n de f\u00f3rmulas h\u00edbridas a conceptos de l\u00f3gica para la descripci\u00f3n, e&hellip;","_links":{"self":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts\/145"}],"collection":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/comments?post=145"}],"version-history":[{"count":5,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts\/145\/revisions"}],"predecessor-version":[{"id":9596,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/posts\/145\/revisions\/9596"}],"wp:attachment":[{"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/media?parent=145"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/categories?post=145"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.fi.uncoma.edu.ar\/index.php\/wp-json\/wp\/v2\/tags?post=145"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}