{"id":76687,"date":"2018-03-09T23:22:07","date_gmt":"2018-03-09T23:22:07","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/modelos-formales-de-explicacon-en-logica-e-inteligencia-artificial\/"},"modified":"2018-03-09T23:22:07","modified_gmt":"2018-03-09T23:22:07","slug":"modelos-formales-de-explicacon-en-logica-e-inteligencia-artificial","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/modelos-formales-de-explicacon-en-logica-e-inteligencia-artificial\/","title":{"rendered":"Modelos formales de explicac\u00f3n en l\u00f3gica e inteligencia artificial"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Fernando Soler Toscano <\/strong><\/h2>\n<p>La abducci\u00f3n es el tipo de razonamiento en que, dada una teor\u00eda t (habitualmente un conjunto de f\u00f3rmulas del lenguaje con el que se trabaje) y una observaci\u00f3n o (generalmente una f\u00f3rmula), tales que ni o ni su negaci\u00f3n son consecuencia l\u00f3gica de t, se trata de buscar una explicaci\u00f3n e (una f\u00f3rmula) tal que o sea consecuencia l\u00f3gica de la uni\u00f3n de t y e. El razonamiento abductivo, que no puede ser reducido a deducci\u00f3n, plantea interesantes problemas que van m\u00e1s all\u00e1 de los aspectos l\u00f3gicos, como la distinci\u00f3n entre las concepciones de \u00ababducci\u00f3n como producto\u00bb y \u00ababducci\u00f3n como proceso\u00bb o los diferentes estadios de \u00abgeneraci\u00f3n\u00bb y \u00abselecci\u00f3n\u00bb de las hip\u00f3tesis explicativas. El razonamiento abductivo encuentra aplicaciones en numerosas disciplinas, desde la inteligencia artificial a la ling\u00ed\u00bc\u00edstica, pasando por las ciencias cognitivas o la filosof\u00eda de la ciencia.  en este trabajo proponemos un c\u00e1lculo abductivo, que llamamos delta-resoluci\u00f3n, dual a la resoluci\u00f3n cl\u00e1sica (robinson, 1965) que tiene la virtud de generar hip\u00f3tesis \u00abde modo directo\u00bb. Adem\u00e1s, integra las nociones de abduci\u00f3n como \u00abproducto\u00bb y como \u00abproceso\u00bb, as\u00ed como las etapas de \u00abgeneraci\u00f3n\u00bb y \u00abselecci\u00f3n\u00bb. igualmente, se apunta que la extensi\u00f3n a l\u00f3gicas no cl\u00e1sicas resulta m\u00e1s prometedora en este que en otros acercamientos.  tras comparar la eficiencia con el sistema de aliseda (1997), que emplea tablas sem\u00e1nticas para comenzar la b\u00fasqueda abductiva, se constata que nuestro sistema rinde notablemente mejor, sobre todo en los problemas m\u00e1s complejos, debido a que la heur\u00edstica que sigue resulta computacionalmente mucho m\u00e1s ventajosa en los problemas abductivos m\u00e1s comunes en programaci\u00f3n l\u00f3gica y representaci\u00f3n del conocimiento. En este sentido, se proporcionan implementaciones en swi-prolog de los algoritmos definidos.  finalmente, proponemos una extensi\u00f3n a l\u00f3gica de primer orden que muestra que, aunque la abducci\u00f3n en estas l<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Modelos formales de explicac\u00f3n en l\u00f3gica e inteligencia artificial<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Modelos formales de explicac\u00f3n en l\u00f3gica e inteligencia artificial <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Fernando Soler Toscano <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Sevilla<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 14\/10\/2005<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>\u00e1ngel Nepomuceno Fern\u00e1ndez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: pascual Mart\u00ednez freire <\/li>\n<li>Mar\u00eda Manzano arjona (vocal)<\/li>\n<li>atocha Aliseda llera (vocal)<\/li>\n<li>concepci\u00f3n Mart\u00ednez vidal (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Fernando Soler Toscano La abducci\u00f3n es el tipo de razonamiento en que, dada una teor\u00eda t (habitualmente [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","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":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[1890,16438,2528,3747,3748,16437,126,31309,19156,10715,6566],"tags":[93494,165391,131780,165390,33962,13458],"class_list":["post-76687","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-induccion","category-inteligencia-artificial","category-logica","category-logica-deductiva","category-logica-inductiva","category-matematicas","category-metodo-cientifico","category-metodologia","category-sevilla","category-sistemas-formales","tag-angel-nepomuceno-fernandez","tag-atocha-aliseda-llera","tag-concepcion-Martinez-vidal","tag-fernando-soler-toscano","tag-maria-manzano-arjona","tag-pascual-Martinez-freire"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/76687","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=76687"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/76687\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=76687"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=76687"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=76687"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}