Resumen de Validation of multi-level rule-based expert systems
LOS SISTEMAS EXPERTOS (SES), HAN DE SER VALIDADOS, LOS SES PRESENTAN DIFERENCIAS CON EL SOFTWARE CONVENCIONAL, POR LO CUAL LOS METODOS DE VALIDACION DE SOFWARE CONVENCIONAL NO SON DIRECTAMENTE APLICABLES A LOS SES.
TRAS UN AMPLIO REPASO AL TRABAJO REALIZADO EN ESTE CAMPO, SE ANALIZA LA VALIDACION DE SES COMO UN TODO. SE CONSIDERAN CUATRO CUESTIONES FUNDAMENTALES: QUE ES VALIDACION?, QUE VALIDAR?, COMO VALIDAR? Y CUANDO VALIDAR?. SE DEDICA ESPECIAL ATENCION A LAS CUESTIONES DE TERMINOLOGIA, PROPONIENDO DEFINICIONES QUE CAPTURAN LAS CARACTERISTICAS ESPECIFICAS DE LOS SISTEMAS EXPERTOS, MANTENIENDO EL SIGNIFICACO BASICO DE LA VALIDACION EN INGENIERIA DE SOFTWARE.
SE CONSIDERAN SES BASADOS EN REGLAS CON ARQUITECTURA MULTINIVEL. CONTIENEN REPRESENTACIONES EXPLICITAS DE CONOCIMIENTO DE DOMINIO Y DE CONTROL, INCLUYENDO INCERTIDUMBRE. SE PRESENTAN DOS NUEVOS METODOS DE VALIDACION PARA ESTOS SISTEMAS. EL PRIMERO ES UN METODO DE VERIFICACION QUE COMPRUEBA PROPIEDADES ESTRUCTURALES DE LA BASE DE CONOCIMIENTOS. LA PRESENCIA DE INCERTIDUMBRE Y DE CONOCIMIENTO DE CONTROL GENERAL NUEVOS PROBLEMAS DE VERIFICACION, QUE SE RESUELVEN UTILIZANDO ETIQUETAS EXTENDIDAS, UNA EXTENSION DE CONCEPTOS DEL ATMS. SE HA IMPLEMENTADO UNA VERSION INCREMENTAL DE ESTE METODOS EN EL VERIFICADOR IN-DEPTH II, QUE SE HA UTILIZADO PARA VERIFICAR EL SISTEMA EXPERTO PNEUMON-IA, CON BUENOS RESULTADOS.
EL SEGUNDO METODO ES UN SISTEMA DE REFINAMIENTO PARA VALIDAR LOS CONTENIDOS DE LA BASE DE CONOCIMIENTO. ESTE METODO INCORPORA TRES CONTRIBUCIONES ORIGINALES: (I) EL RENDIMIENTO DEL SE NO SE MIDE POR EL NUMERO TOTAL DE ERRORES REALIZADOS SINO POR LA REPERCUSION DE ESTOS ERRORES EN LA TAREA DEL SE; (II) TANTO EL CONOCIMIENTO DE DOMINIO COMO EL DE CONTROL SON REFINADOS; (III) SE CONSIDERA UN NUEVO TIPO DE ERROR, ORDEN INCORRECTO. ESTE METODO SE HA IMPLEMENTADO EN IMPROVER, UNA HERRAMIENTA AUTOMATICA DE REFINAMIENTO, QUE SE HA UTILIZADO PARA REFINAR PNEUMON-IA CON MUY BUEN
