Autor: RAMIREZ NIEVES, Betty
Título: Verificación de bases de conocimiento
Fecha: 1991
Materia: Sin materia definida
Escuela: FACULTAD DE INFORMATICA
Departamento: INTELIGENCIA ARTIFICIAL
Director/a(s):
- Director/a: LAITA DE LA RICA, Luis María
- Director/a: LEDESMA OTAMENDI, Luis de
Resumen: Se utiliza la teoría de categorías en su versión de determinadas categorías preorden para desarrollar un modelo formal del problema de verificación de bases de conocimiento para sistemas expertos. La verificación consiste en la detección de circularidades, contradicciones, submenciones y otros problemas en los sistemas de bases de reglas