{"id":3852,"date":"1994-01-01T00:00:00","date_gmt":"1994-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/1994\/01\/01\/una-interpretacion-algebraica-de-la-verificacion-de-sistemas-basados-en-el-conocimiento\/"},"modified":"1994-01-01T00:00:00","modified_gmt":"1994-01-01T00:00:00","slug":"una-interpretacion-algebraica-de-la-verificacion-de-sistemas-basados-en-el-conocimiento","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/una-interpretacion-algebraica-de-la-verificacion-de-sistemas-basados-en-el-conocimiento\/","title":{"rendered":"Una interpretacion algebraica de la verificacion de sistemas basados en el conocimiento"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Angelica De Antonio  Jimenez <\/strong><\/h2>\n<p>El trabajo presentado se puede considerar un avance en la validacion de sistemas basados en el conocimiento. Se han reformulado los conceptos propios de la logica algebraica para su aplicacion en la representacion de sistemas basados en el conocimiento. Se ha construido asi un modelo formal que, no solo permite expresar el conocimiento contenido en la base y su evolucion, sino tambien expresar formalmente las propiedades deseadas y analizar su cumplimiento. Se ha conseguido una interpretacion algebraica del concepto de consistencia que ha conducido, a su vez, a la construccion de un metodo de deteccion de inconsistencias, al que se ha llamado madison, capaz de detectar tanto contradicciones logicas como las derivadas de incompatibilidades semanticas.  el estudio se ha centrado en sistemas con logica proposicional como logica subyacente, habiendose desarrollado tambien un mecanismo que permite reducir al caso proposicional el problema de la deteccion de inconsistencias en logica de primer orden. Se han superado limitaciones impuestas por otros metodos de verificacion, relativas esencialmente al conocimiento disyuntivo y la adicion de reglas dinamica.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Una interpretacion algebraica de la verificacion de sistemas basados en el conocimiento<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Una interpretacion algebraica de la verificacion de sistemas basados en el conocimiento <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Angelica De Antonio  Jimenez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1994<\/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>Luis Mar\u00eda Laita De La Rica<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Juan Pazos Sierra <\/li>\n<li>Miguel Delgado Calvo-flores (vocal)<\/li>\n<li> De Ledesma Otamendi Luis (vocal)<\/li>\n<li>Antonio Bahamonde Rionda (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Angelica De Antonio Jimenez El trabajo presentado se puede considerar un avance en la validacion de sistemas [&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":[3749,1890,2528,3747,3748,126,16008],"tags":[16085,10527,15380,4012,10819,4011],"class_list":["post-3852","post","type-post","status-publish","format-standard","hentry","category-algebra-de-boole","category-ciencia-de-los-ordenadores","category-inteligencia-artificial","category-logica","category-logica-deductiva","category-matematicas","category-politecnica-de-madrid","tag-angelica-de-antonio-jimenez","tag-antonio-bahamonde-rionda","tag-de-ledesma-otamendi-luis","tag-juan-pazos-sierra","tag-luis-maria-laita-de-la-rica","tag-miguel-delgado-calvo-flores"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/3852","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=3852"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/3852\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=3852"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=3852"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=3852"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}