Verificación de bases de conocimiento

• Autores: Betty Ramirez Nieves
• Directores de la Tesis: Luis María Laita de la Rica (dir. tes.)
• Lectura: En la Universidad Politécnica de Madrid ( España ) en 1991
• Idioma: español
• Tribunal Calificador de la Tesis: Juan Pazos Sierra (presid.) , Juan Carlos Martínez Alonso (secret.) , José Luis Maté Hernández (voc.) , José F. Prida (voc.) , José Cuena Bartolomé (voc.)
• Texto completo no disponible (Saber más ...)
• 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.