Tesis doctoral de Betty Ramirez Nieves
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.
Datos académicos de la tesis doctoral «Verificacion de bases de conocimiento.«
- Título de la tesis: Verificacion de bases de conocimiento.
- Autor: Betty Ramirez Nieves
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1991
Dirección y tribunal
- Director de la tesis
- Luis María Laita De La Rica
- Tribunal
- Presidente del tribunal: Juan Pazos Sierra
- José Fernandez Prida (vocal)
- José Luis Maté Hernández (vocal)
- José Cueva Bartolome (vocal)