{"id":42505,"date":"1999-01-01T00:00:00","date_gmt":"1999-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/verification-and-validation-of-knowledge-based-program-supervision-systems-verificacion-y-validacion-de-sistemas-de-supervision-de-programas-basados-en-el-conocimiento\/"},"modified":"1999-01-01T00:00:00","modified_gmt":"1999-01-01T00:00:00","slug":"verification-and-validation-of-knowledge-based-program-supervision-systems-verificacion-y-validacion-de-sistemas-de-supervision-de-programas-basados-en-el-conocimiento","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/verification-and-validation-of-knowledge-based-program-supervision-systems-verificacion-y-validacion-de-sistemas-de-supervision-de-programas-basados-en-el-conocimiento\/","title":{"rendered":"Verification and validation of knowledge-based program supervision systems \/ verificacion y validacion de sistemas de supervision de programas basados en el conocimiento."},"content":{"rendered":"<h2>Tesis doctoral de <strong> M. Mar Marcos Lopez <\/strong><\/h2>\n<p>La supervisi\u00f3n de programas tiene cono objetivo la automatizaci\u00f3n de las distintas actividades implicadas en la utilizaci\u00f3n especializada de una librer\u00eda de programas. Para llevar a cabo esta tarea, los sistemas de supervisi\u00f3n de programas necesitan una gran cantidad de conocimiento sobre la utilizaci\u00f3n de los programas, incluyendo las situaciones en que pueden ser aplicados, las combinaciones de programas habitualmente utilizadas, etc.  los sistemas de supervisi\u00f3n de programas incorporan esta experiencia en una arquitectura basada en el conocimiento. sus caracter\u00edsticas distintivas son la variedad de conocimiento que emplean y su representaci\u00f3n, la cual normalmente incluye objetos estructurales y reglas de producci\u00f3n. A pesar de su importancia creciente, poca investigaci\u00f3n se ha dedicado a la verificaci\u00f3n y validaci\u00f3n de sistemas con las caracter\u00edsticas anteriores. en esta tesis acometemos la verificaci\u00f3n y validaci\u00f3n de sistemas de supervisi\u00f3n de programas a partir de un modelado del conocimiento, explotando la informaci\u00f3n sobre el conocimiento que requieren, su organizaci\u00f3n y la manera precisa en que utilizan este conocimiento durante el razonamiento. esta informaci\u00f3n nos permite identificar las propiedades que las bases de conocimiento deben verificar para servir adecuadamente a la supervisi\u00f3n de programas, propiedades m\u00e1s all\u00e1 de la consistencia y cmpletitud de su implementaci\u00f3n. en esta tesis presentamos las herramientas de verificaci\u00f3n de bases de conocimiento desarrolladas de acuerdo con este enfoque, as\u00ed como algunos experimentos en la aplicaci\u00f3n de t\u00e9cnicas de verificaci\u00f3n de programas a motores de supervisi\u00f3n de programas con el fin de identificar las propiedades que nos interesan.  palabras clave: inteligencia artificial, sistemas basados en el conocimiento, supervisi\u00f3n de programas, verificaci\u00f3n y validaci\u00f3n de sistemas basados en el conocimiento, modelado del conocimien<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Verification and validation of knowledge-based program supervision systems \/ verificacion y validacion de sistemas de supervision de programas basados en el conocimiento.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Verification and validation of knowledge-based program supervision systems \/ verificacion y validacion de sistemas de supervision de programas basados en el conocimiento. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 M. Mar Marcos Lopez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Jaume i de castell\u00f3n<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1999<\/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> Pobil Ferre Angel P. Del<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: jose Mira mira <\/li>\n<li>frank Van harmelen (vocal)<\/li>\n<li>monique Thonnat (vocal)<\/li>\n<li>ramon Perez otero (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de M. Mar Marcos Lopez La supervisi\u00f3n de programas tiene cono objetivo la automatizaci\u00f3n de las distintas actividades [&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,18725,126],"tags":[106799,2531,106797,106800,106798,17324],"class_list":["post-42505","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-inteligencia-artificial","category-jaume-i-de-castellon","category-matematicas","tag-frank-van-harmelen","tag-jose-mira-mira","tag-m-mar-marcos-lopez","tag-monique-thonnat","tag-pobil-ferre-angel-p-del","tag-ramon-perez-otero"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/42505","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=42505"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/42505\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=42505"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=42505"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=42505"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}