Verificación de bases de conocimiento
- Ramirez Nieves, Betty
- Luis María Laita de la Rica Zuzendaria
Defentsa unibertsitatea: Universidad Politécnica de Madrid
Defentsa urtea: 1991
- Juan Pazos Sierra Presidentea
- Juan Carlos Martínez Alonso Idazkaria
- José Luis Maté Hernández Kidea
- José F. Prida Kidea
- José Cuena Bartolomé Kidea
Mota: Tesia
Laburpena
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.