Verificación de bases de conocimiento

  1. Ramirez Nieves, Betty
Dirigida por:
  1. Luis María Laita de la Rica Director/a

Universidad de defensa: Universidad Politécnica de Madrid

Año de defensa: 1991

Tribunal:
  1. Juan Pazos Sierra Presidente/a
  2. Juan Carlos Martínez Alonso Secretario/a
  3. José Luis Maté Hernández Vocal
  4. José F. Prida Vocal
  5. José Cuena Bartolomé Vocal

Tipo: Tesis

Teseo: 32540 DIALNET

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.