Resumen de Verificación de bases de conocimiento
SE UTILIZA LA TEORIA DE CATEGORIAS EN SU VERSION DE DETERMINADAS CATEGORIAS PREORDEN PARA DESARROLLAR UN MODELO FORMAL DEL PROBLEMA DE VERIFICACION DE BASES DE CONOCIMIENTO PARA SISTEMAS EXPERTOS, LA VERIFICACION CONSISTE EN LA DETECCION DE CIRCULARIDADES, CONTRADICCIONES, SUBSUNCIONES Y OTROS PROBLEMAS EN LOS SISTEMAS DE BASES DE REGLAS.
