Ir al contenido

Documat


Resumen de Verificación de bases de conocimiento

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.


Fundación Dialnet

Mi Documat