Verificación de Sistemas basados en el Conocimiento

La calidad de un Sistema basado en el Conocimiento (SBC) es uno de los objetivos prioritarios de la Ingeniería del Conocimiento. Dentro de la Ingeniería del Conocimiento, existe una disciplina denominada habitualmente Verificación & Validación (V&V) cuyo objetivo es precisamente asegurar la calidad de un SBC. Una de las líneas de investigación que ha surgido en la V&V se ha centrado en estudiar cómo comprobar si un SBC satisface una serie de propiedades formales. En particular, se ha prestado especial atención a la verificación de la consistencia de un SBC. Como parte de estas investigaciones, se han propuesto métodos automatizables para identificar anomalías en la estructura de un SBC que potencialmente puedan dar lugar a salidas incorrectas.Esta tesis supone un paso hacia delante en el área de los métodos de V&V. En este sentido, se va a presentar un método, denominado MECORI, para detectar inconsistencias semánticas en SBCs híbridos basados en reglas de producción y jerarquías de marcos. Se explicará de qué manera este método supera a sus predecesores, acabando con muchas de sus limitaciones.