{"id":101782,"date":"2018-03-11T10:23:42","date_gmt":"2018-03-11T10:23:42","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/desplegado-de-programas-logicos-difusos\/"},"modified":"2018-03-11T10:23:42","modified_gmt":"2018-03-11T10:23:42","slug":"desplegado-de-programas-logicos-difusos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/logica\/desplegado-de-programas-logicos-difusos\/","title":{"rendered":"Desplegado de programas l\u00f3gicos difusos"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jaime Penabad V\u00e1zquez <\/strong><\/h2>\n<p>El objetivo general de esta tesis es la introducci\u00f3n de un conjunto de transformaciones, basadas en desplegado, para optimizar programas l\u00f3gicos difusos. Introducimos por primera vez estas t\u00e9cnicas de transformaci\u00f3n de programas, que por otra parte son cl\u00e1sicas en paradigmas declarativos precedentes como el l\u00f3gico, funcional y el l\u00f3gico-funcional, sobre distintos lenguajes de la programaci\u00f3n l\u00f3gica difusa (a los que tambi\u00e9n en ocasiones aportamos diferentes tipos de enriquecimientos), poniendo especial \u00e9nfasis en el relativamente reciente marco l\u00f3gico multi-adjunto. En este potente paradigma difuso se extiende la noci\u00f3n cl\u00e1sica de cl\u00e1usula al etiquetar las reglas con pesos y permitir la presencia de distintos tipos de conectivas difusas en sus cuerpos, al tiempo que se dispone de una amplia gama de ret\u00edculos para modelar la noci\u00f3n de grado de verdad en dominios m\u00e1s ricos que el intervalo [0,1].  hemos estudiado las principales sem\u00e1nticas de la programaci\u00f3n l\u00f3gica multi-adjunta y aportado resultados relevantes sobre las relaciones que mantienen entre ellas. Adem\u00e1s de formular mediante teor\u00eda de modelos la noci\u00f3n de modelo m\u00ednimo de herbrand difuso en este contexto, tambi\u00e9n mejoramos su sem\u00e1ntica procedural a dos niveles complementarios. Por un lado, demostramos sobre la fase operacional una extensi\u00f3n del resultado cl\u00e1sico de independencia de la regla de computaci\u00f3n, lo que resulta crucial para demostrar las propiedades formales de nuestra noci\u00f3n de desplegado operacional. Por otra parte, dise\u00f1amos la fase interpretativa en t\u00e9rminos de un sistema de transici\u00f3n de estados, lo que resulta preceptivo para formular el desplegado interpretativo en este marco y posteriormente abordar rigurosos an\u00e1lisis del coste computacional asociados a este tipo de computaciones y transformaciones.  en este mismo contexto, adaptamos conceptos cl\u00e1sicos de evaluaci\u00f3n parcial con la intenci\u00f3n inicial de disponer de t\u00e9cnicas de especializaci\u00f3n para programas l\u00f3gicos multi-adjuntos. Un paso m\u00e1s all\u00e1, y con una motivaci\u00f3n completamente diferente y original, mostramos que estas mismas t\u00e9cnicas admiten una f\u00e1cil reutilizaci\u00f3n para  el c\u00e1lculo eficiente de reductantes (reglas especiales que son necesarias para garantizar la completitud -aproximada- en este contexto). Una particularidad de los lenguajes  difusos en general, y del l\u00f3gico multi-adjunto en especial, es que buena parte de las t\u00e9cnicas de manipulaci\u00f3n de programas se prestan a su optimizaci\u00f3n mediante t\u00e9cnicas de umbralizaci\u00f3n: se trata de evitar computaciones irrelevantes en funci\u00f3n de la gesti\u00f3n de los grados de verdad que llevan asociadas. En este sentido, hemos dise\u00f1ado un algoritmo refinado y \u00e1gil  para computar pe-reductantes muy eficientes mediante t\u00e9cnicas de evaluaci\u00f3n parcial basadas en desplegado con un conjunto de umbrales din\u00e1mico.  todos los desarrollos descritos en esta tesis vienen acompa\u00f1ados de demostraciones formales de sus propiedades fundamentales (incluyendo invariablemente las de correcci\u00f3n, completitud y eficiencia), al tiempo que se proporcionan detalles t\u00e9cnicos sobre el prototipo floper que se est\u00e1 implementando en nuestro grupo y que pretende servir de plataforma sobre la que implantar todos los avances relatados en la misma.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Desplegado de programas l\u00f3gicos difusos<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Desplegado de programas l\u00f3gicos difusos <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jaime Penabad V\u00e1zquez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Castilla-la mancha<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 18\/06\/2010<\/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>Gines Damian Moreno Valverde<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Mar\u00eda Alpuente frasnedo <\/li>\n<li>Rafael Caballero roldan (vocal)<\/li>\n<li>Fernando Cuartero gomez (vocal)<\/li>\n<li>Manuel Ojeda aciego (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jaime Penabad V\u00e1zquez El objetivo general de esta tesis es la introducci\u00f3n de un conjunto de transformaciones, [&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":[6313,18451,13880,3747],"tags":[5510,178320,206736,74745,6479,85858],"class_list":["post-101782","post","type-post","status-publish","format-standard","hentry","category-aplicaciones-de-la-logica","category-castilla-la-mancha","category-informatica","category-logica","tag-fernando-cuartero-gomez","tag-gines-damian-moreno-valverde","tag-jaime-penabad-vazquez","tag-manuel-ojeda-aciego","tag-maria-alpuente-frasnedo","tag-rafael-caballero-roldan"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/101782","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=101782"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/101782\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=101782"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=101782"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=101782"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}