Control

Un sistema que hace inferencias para generar nuevos hechos debe de poder controlar sus capacidades de su mecanismo de inferencia de algín modo.

Un sistema tiene que representar y usar conocimiento acerca de su propio comportamiento deductivo.

Esta información meta-deductiva se debe de hacer explícita y separarla de la información de hechos representados en el esquema (por razones de claridad, platicidad y poder deductivo).

Un problema, es entonces, encontrar un conjunto de primitivas de control adecuadas.

Es importante que la información de control esté representada en un squeme compatible con el scheme usado para representar el conocimiento del sistema, para que el control pueda estar involucrado en inferencias hechas y cambios.

Uno de los problemas principales (en general) está entre el balance del poder expresivo y su implementación (ver artículo de Brachman y Levesque).

En general, se debe de poder tener una buena noción de una teoría (un pedazo de conocimiento organizado acerca de un área).