Verificación de la consistencia de una base de conocimientos basada en reglas.
Palabras clave:
VARIABLES, VALORES, CIRCUITOS LÓGICOS,
Resumen
Este trabajo tiene como finalidad abarcar un problema, que actualmente es objeto de estudio e investigación y es el de la coherencia de una Base de Conocimientos Basada en Reglas de Producción. Es sabido que un conjunto de reglas representan el conocimiento de un cierto dominio y como tal su implantación correcta constituye una parte muy importante en el desarrollo de un sistema experto.