Tesis:
Verificación de bases de conocimiento
- Autor: RAMIREZ NIEVES, Betty
- Título: Verificación de bases de conocimiento
- Fecha: 1991
- Materia: Sin materia definida
- Escuela: FACULTAD DE INFORMATICA
- Departamentos: INTELIGENCIA ARTIFICIAL
- Acceso electrónico:
- Director/a 1º: LAITA DE LA RICA, Luis María
- Director/a 2º: 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