{"id":73277,"date":"2018-03-09T23:18:10","date_gmt":"2018-03-09T23:18:10","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/reflexion-abstraccion-y-simulacion-en-la-logica-de-reescritura\/"},"modified":"2018-03-09T23:18:10","modified_gmt":"2018-03-09T23:18:10","slug":"reflexion-abstraccion-y-simulacion-en-la-logica-de-reescritura","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/reflexion-abstraccion-y-simulacion-en-la-logica-de-reescritura\/","title":{"rendered":"Reflexi\u00f3n, abstracci\u00f3n y simulaci\u00f3n en la l\u00f3gica de reescritura"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Miguel Palomino Tarjuelo <\/strong><\/h2>\n<p>La l\u00f3gica de reescritura es una extensi\u00f3n de la l\u00f3gica ecuacional habitual que fue introducida como un modelo parala especificaci\u00f3n de sistemas concurrentes que unifica numerosas propuestas anteriores.  desde entonces esta l\u00f3gica ha demostrado ser un formalismo muy flexible, no solo para la especificaci\u00f3n de la concurrencia, sino tambi\u00e9n como marco l\u00f3gico y sem\u00e1ntico en el que interpretar otras l\u00f3gicas y modelos de computaci\u00f3n. desde su introducci\u00f3n, se present\u00f3 tal l\u00f3gica como la base de un lenguaje declarativo de especificaci\u00f3n y programaci\u00f3n, llamado maude.  el estudio de las propiedades matem\u00e1ticas de la l\u00f3gica de reescritura es necesario para justificar su uso como herramienta de dise\u00f1o y especificaci\u00f3n. una de estas propiedades, de fundamental importancia en esta l\u00f3gica, es la reflexi\u00f3n, que intuitivamente consiste en la habilidad de un sistema computacional o l\u00f3gico de acceder a su propio metanivel para controlar su comportamiento. En esta tesis damos una demostraci\u00f3n detallada de la reflexividad de la l\u00f3gica de reescritura que extiende trabajos previos sobre versiones m\u00e1s restringidas de la l\u00f3gica. Adem\u00e1s, presentamos un enfoque unificador, aprovechando el trabajo anterior para el estudio de la reflexi\u00f3n en algunas subl\u00f3gicas de la l\u00f3gica de reescritura como son la l\u00f3gica de pertenencia a la l\u00f3gica de horn con igualdad. La reflexi\u00f3n en la l\u00f3gica de reescritura tiene, adem\u00e1s, una vertiente claramente pr\u00e1ctica en la que se propone el uso de la reflexi\u00f3n para metarrozanamiento formal. En esta tesis se avanza en estas ideas, generalizando los principios inductivos propuestos por otro autores y estudiando c\u00f3mo aplicarlos para demostrar relaciones sem\u00e1nticas entre teor\u00edas en la l\u00f3gica de pertenencia.  el otro gran tema de la tesis consiste en la b\u00fasqueda de m\u00e9todos de demostraci\u00f3n para la verificaci\u00f3n de sistemas que con ella se especifiquen. Para la verificaci\u00f3n de propiedades en sistema<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Reflexi\u00f3n, abstracci\u00f3n y simulaci\u00f3n en la l\u00f3gica de reescritura<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Reflexi\u00f3n, abstracci\u00f3n y simulaci\u00f3n en la l\u00f3gica de reescritura <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Miguel Palomino Tarjuelo <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Complutense de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 17\/03\/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>Narciso Mart\u00ed Oliet<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: mario Rodr\u00edguez artalejo <\/li>\n<li>salvador Lucas alba (vocal)<\/li>\n<li>ugo Montanari (vocal)<\/li>\n<li>Francisco Javier Duran mu\u00f1oz (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Miguel Palomino Tarjuelo La l\u00f3gica de reescritura es una extensi\u00f3n de la l\u00f3gica ecuacional habitual que fue [&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,126,6473],"tags":[66541,4813,159113,66539,45326,5513],"class_list":["post-73277","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-matematicas","category-teoria-de-la-programacion","tag-francisco-javier-duran-munoz","tag-mario-rodriguez-artalejo","tag-miguel-palomino-tarjuelo","tag-narciso-marti-oliet","tag-salvador-lucas-alba","tag-ugo-montanari"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/73277","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=73277"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/73277\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=73277"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=73277"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=73277"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}