{"id":107837,"date":"2011-07-04T00:00:00","date_gmt":"2011-07-04T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/programacion-declarativa-cualificada-con-restricciones\/"},"modified":"2011-07-04T00:00:00","modified_gmt":"2011-07-04T00:00:00","slug":"programacion-declarativa-cualificada-con-restricciones","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/programacion-declarativa-cualificada-con-restricciones\/","title":{"rendered":"Programaci\u00f3n declarativa cualificada con restricciones"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Carlos Alberto Romero Diaz <\/strong><\/h2>\n<p>\u00abla incorporaci\u00f3n del razonamiento con incertidumbre a la programaci\u00f3n declarativa y, en especial, a la programaci\u00f3n l\u00f3gica ha sido objeto de investigaci\u00f3n en las \u00faltimas d\u00e9cadas. en este periodo, se han aportado diversas propuestas con este prop\u00f3sito  as\u00ed como diferentes aplicaciones pr\u00e1cticas de estas propuestas. al mismo tiempo, los esquemas clp y cflp de la programaci\u00f3n l\u00f3gica con restricciones y la programaci\u00f3n l\u00f3gico-funcional con restricciones, respectivamente, se han convertido en potentes  marcos de programaci\u00f3n con soporte para computaciones eficientes sobre dominios de restricciones especializados, el primero, y tambi\u00e9n con funciones perezosas al estilo de las de la programaci\u00f3n funcional, el segundo.  sin embargo, han sido escasas las extensiones con incertidumbre que han tomado como punto de partida alguno de los esquemas clp o cflp, a pesar de que la potencia de c\u00f3mputo de los dominios con restricciones s\u00ed ha facilitado su implementaci\u00f3n pr\u00e1ctica.  es por ello, objeto de est a tesis la investigaci\u00f3n de extensiones con incertidumbre de los esquemas anteriormente mencionados, y por tanto se desarrollan aqu\u00ed principalmente dos esquemas param\u00e9tricos de programaci\u00f3n declarativa con incertidumbre: una extensi\u00f3n con cualificaci \u00f3n y proximidad del marco clp; y una extensi\u00f3n de programas cflp de primer orden.  para los esquemas de programaci\u00f3n aqu\u00ed desarrollados se aportan dos caracterizaciones equivalentes de la sem\u00e1ntica declarativa &#8212; una de punto fijo a partir de un tra nsformador de interpretaciones y otra basada en un c\u00e1lculo l\u00f3gico o una l\u00f3gica de reescritura, seg\u00fan sea el esquema de partida. se aportan tambi\u00e9n una noci\u00f3n declarativa de objetivo y soluci\u00f3n, y diferentes m\u00e9todos de resoluci\u00f3n de objetivos basados en t\u00e9cnicas de transformaci\u00f3n de programas, que conducen a la obtenci\u00f3n de programas y objetivos equivalentes para los que pueden computarse respuestas adecuadas.  estas t\u00e9cnicas de transformaci\u00f3n permiten adem\u00e1s implementar de manera sencilla y natu ral distintas instancias \u00fatiles de los esquemas propuestos en un prototipo que est\u00e1 p\u00fablicamente disponible y que, sobre sistemas clp actuales, hace posible la ejecuci\u00f3n de ejemplos y programas propuestos a lo largo de la tesis y la resoluci\u00f3n de obj etivos arbitrarios para dichos programas.\u00bb<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Programaci\u00f3n declarativa cualificada con restricciones<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Programaci\u00f3n declarativa cualificada con restricciones <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Carlos Alberto Romero Diaz <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 07\/04\/2011<\/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>Rafael Caballero Roldan<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Francisco javier Lopez fraguas <\/li>\n<li>Fernando Orejas vald\u00e9s (vocal)<\/li>\n<li>francisca Lucio carrasco (vocal)<\/li>\n<li>ernesto Pimentel sanchez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Carlos Alberto Romero Diaz \u00abla incorporaci\u00f3n del razonamiento con incertidumbre a la programaci\u00f3n declarativa y, en especial, [&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":[986,126],"tags":[216419,41295,5512,6567,6475,85858],"class_list":["post-107837","post","type-post","status-publish","format-standard","hentry","category-complutense-de-madrid","category-matematicas","tag-carlos-alberto-romero-diaz","tag-ernesto-pimentel-sanchez","tag-fernando-orejas-valdes","tag-francisca-lucio-carrasco","tag-francisco-javier-lopez-fraguas","tag-rafael-caballero-roldan"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/107837","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=107837"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/107837\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=107837"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=107837"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=107837"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}