Verificación de bases de conocimiento

  1. Ramirez Nieves, Betty
Zuzendaria:
  1. Luis María Laita de la Rica Zuzendaria

Defentsa unibertsitatea: Universidad Politécnica de Madrid

Defentsa urtea: 1991

Epaimahaia:
  1. Juan Pazos Sierra Presidentea
  2. Juan Carlos Martínez Alonso Idazkaria
  3. José Luis Maté Hernández Kidea
  4. José F. Prida Kidea
  5. José Cuena Bartolomé Kidea

Mota: Tesia

Teseo: 32540 DIALNET

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.