Tesis doctoral de M. Mar Marcos Lopez
La supervisión de programas tiene cono objetivo la automatización de las distintas actividades implicadas en la utilización especializada de una librería de programas. Para llevar a cabo esta tarea, los sistemas de supervisión de programas necesitan una gran cantidad de conocimiento sobre la utilización de los programas, incluyendo las situaciones en que pueden ser aplicados, las combinaciones de programas habitualmente utilizadas, etc. los sistemas de supervisión de programas incorporan esta experiencia en una arquitectura basada en el conocimiento. sus características distintivas son la variedad de conocimiento que emplean y su representación, la cual normalmente incluye objetos estructurales y reglas de producción. A pesar de su importancia creciente, poca investigación se ha dedicado a la verificación y validación de sistemas con las características anteriores. en esta tesis acometemos la verificación y validación de sistemas de supervisión de programas a partir de un modelado del conocimiento, explotando la información sobre el conocimiento que requieren, su organización y la manera precisa en que utilizan este conocimiento durante el razonamiento. esta información nos permite identificar las propiedades que las bases de conocimiento deben verificar para servir adecuadamente a la supervisión de programas, propiedades más allá de la consistencia y cmpletitud de su implementación. en esta tesis presentamos las herramientas de verificación de bases de conocimiento desarrolladas de acuerdo con este enfoque, así como algunos experimentos en la aplicación de técnicas de verificación de programas a motores de supervisión de programas con el fin de identificar las propiedades que nos interesan. palabras clave: inteligencia artificial, sistemas basados en el conocimiento, supervisión de programas, verificación y validación de sistemas basados en el conocimiento, modelado del conocimien
Datos académicos de la tesis doctoral «Verification and validation of knowledge-based program supervision systems / verificacion y validacion de sistemas de supervision de programas basados en el conocimiento.«
- Título de la tesis: Verification and validation of knowledge-based program supervision systems / verificacion y validacion de sistemas de supervision de programas basados en el conocimiento.
- Autor: M. Mar Marcos Lopez
- Universidad: Jaume i de castellón
- Fecha de lectura de la tesis: 01/01/1999
Dirección y tribunal
- Director de la tesis
- Pobil Ferre Angel P. Del
- Tribunal
- Presidente del tribunal: jose Mira mira
- frank Van harmelen (vocal)
- monique Thonnat (vocal)
- ramon Perez otero (vocal)