Resumen

CLEMENTE, Julia; DE ANTONIO, Angélica  y  RAMIREZ, Jaime. CRIB: Método para la Comprobación de Restricciones de Integridad en Bases de Conocimiento. Comp. y Sist. [online]. 2005, vol.8, n.4, pp.265-280. ISSN 2007-9737.

La necesidad de herramientas de verificación para Sistemas Basados en el Conocimiento (SBCs), que ayuden a garantizar un cierto grado de calidad y fiabilidad de estos sistemas aumentará en el futuro conforme más sistemas críticos sean desarrollados en áreas tales como la industria, la ciencia, los negocios, etc. Uno de los objetivos de la verificación de SBCs es asegurar la consistencia y la completitud de la Base de Conocimientos (BC). En este artículo se describe una técnica para detectar posibles inconsistencias o situaciones conflictivas entre los objetos de la BC, y se presenta una herramienta llamada CRIB, que implementa esta técnica. La generalidad de esta técnica, basada en la comprobación de las Restricciones de Integridad (Rls) declaradas en la BC, permite aplicarla a diferentes tipos de SBCs. Asimismo, la flexibilidad y la potencia del lenguaje de especificación de RIs hará posible detectar un amplio abanico de inconsistencias en una BC.

Palabras llave : Verificación; Sistema Basado en el Conocimiento; Consistencia.

        · resumen en Inglés     · texto en Inglés     · Inglés ( pdf )