{"id":18418,"date":"2002-12-07T00:00:00","date_gmt":"2002-12-07T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/metodo-para-la-verificacion-de-sistemas-hibra%c2%addos-basado-en-la-propagacion-de-etiquetas\/"},"modified":"2002-12-07T00:00:00","modified_gmt":"2002-12-07T00:00:00","slug":"metodo-para-la-verificacion-de-sistemas-hibra%c2%addos-basado-en-la-propagacion-de-etiquetas","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/metodo-para-la-verificacion-de-sistemas-hibra%c2%addos-basado-en-la-propagacion-de-etiquetas\/","title":{"rendered":"M\u00e9todo para la verificaci\u00f3n de sistemas hibr\u00eddos basado en la propagaci\u00f3n de etiquetas"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jaime Ram\u00edrez  Rodr\u00edguez <\/strong><\/h2>\n<p>Esta tesis supone un paso hacia delante en el \u00e1rea de la verificaci\u00f3n de sistemas basados en el conocimiento (sbcs). As\u00ed pues, se va a presentar un m\u00e9todo, al que se ha llamado mecori, capaz de detectar incosistencias sem\u00e1nticas en sbcs h\u00edbridos (basados en reglas de producci\u00f3n y jerarqu\u00edas de marcos).  como parte del proceso de verificaci\u00f3n, se construye una teor\u00eda atms simulando el proceso deductivo que sigue el sbc para deducir una inconsistencia sem\u00e1ntica. posteriormente, es f\u00e1cil obtener a partir de la teor\u00eda atms una secuencia de reglas y una especificaci\u00f3n de la bh inicial que permiten deducir la inconsistencia. Ha sido posible superar algunas limitaciones y restricciones impuestas por otros m\u00e9todos. En este sentido, los aspectos m\u00e1s destacables e innovadores de este m\u00e9todo son: primero, este m\u00e9todo puede verificar sbcs h\u00edbridos; segundo, los sbcs pueden utilizar ciertas clases de razonamiento no mon\u00f3tomo; tercero, mecori puede tratar reglas de producci\u00f3n que incluyan f\u00f3rmulas expresadas en una l\u00f3gica de segundo orden restringida; cuarto, mecori puede verificar sbcs que representen razonamiento con incertidumbre; y quinto, nuestro m\u00e9todo puede tratar reglas de producci\u00f3n que incluyan restricciones aritm\u00e9ticas sobre los valores de los atributos y los factores de certeza.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>M\u00e9todo para la verificaci\u00f3n de sistemas hibr\u00eddos basado en la propagaci\u00f3n de etiquetas<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 M\u00e9todo para la verificaci\u00f3n de sistemas hibr\u00eddos basado en la propagaci\u00f3n de etiquetas <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jaime Ram\u00edrez  Rodr\u00edguez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 12\/07\/2002<\/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>Angelica De Antonio  Jimenez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Juan Pazos sierra <\/li>\n<li>Manuel Alonso fonz\u00e1lez (vocal)<\/li>\n<li>Miguel Delgado clavo-flores (vocal)<\/li>\n<li>camino Fern\u00e1ndez llamas (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jaime Ram\u00edrez Rodr\u00edguez Esta tesis supone un paso hacia delante en el \u00e1rea de la verificaci\u00f3n de [&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,2528,126,16008,30277],"tags":[16085,57158,57155,4012,57156,57157],"class_list":["post-18418","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-inteligencia-artificial","category-matematicas","category-politecnica-de-madrid","category-sistemas-automatizados-de-control-de-calidad","tag-angelica-de-antonio-jimenez","tag-camino-fernandez-llamas","tag-jaime-ramirez-rodriguez","tag-juan-pazos-sierra","tag-manuel-alonso-fonzalez","tag-miguel-delgado-clavo-flores"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/18418","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=18418"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/18418\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=18418"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=18418"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=18418"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}