Verificación de bases de conocimiento
- Ramirez Nieves, Betty
- Luis María Laita de la Rica Director/a
Universidad de defensa: Universidad Politécnica de Madrid
Año de defensa: 1991
- Juan Pazos Sierra Presidente/a
- Juan Carlos Martínez Alonso Secretario/a
- José Luis Maté Hernández Vocal
- José F. Prida Vocal
- José Cuena Bartolomé Vocal
Tipo: Tesis
Resumen
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.