Ejemplo de maquina de inferencia

Veamos un ejemplo basado sobre reglas de producción del tipo SI P ENTONCES C donde P (premisas) son los hechos y C sería la conclusión la cual también es un hecho.

La maquina de inferencia (MI) tendrá las siguientes estrategias sistemáticas:
Búsqueda en profundidad.
Encadenamiento hacia adelante (de los datos al objetivo).
Control por tentativa.

La estrategia heurística sería por el orden de las reglas:

Sean los hechos de partida A y H (donde A puede ser el hecho y H otro hecho cualquiera), y sea X el objetivo a alcanzar (el cual también se representa en forma de hecho por ejemplo el objetivo podría ser tratar de probar que ).

Tenemos las siguientes reglas.
R1: si A entonces C.
R2: si A entonces Z.
R3: si V y Z entonces X.
R4: si C entonces D.
R5: si W y Q entonces V.
R6: si H entonces F.
R7: si D y F entonces X.


REGLA MEMORIA DE TRABAJO (MT) OBSERVACION

- (A,H) (X) estado inicial.

R1 (A,H,C) (X) se aplica la R1 y la conclusión se
almacena en la MT

R2 (A,H,C,Z) (X) se aplica la R2 e incrementa la MT.

R3 (A,H,C,Z) (X) falla, va a buscar otra regla
no se incrementa la MT.

R4 (A,H,C,Z,D) (X) se aplica la R4.

R5 (A,H,C,Z,D) (X) falla.

R6 (A,H,C,Z,D,F) (X) se aplica la R6.

R7 (A,H,C,Z,D,F,X) (X) éxito, se alcanzó el objetivo X.

Observar como en la memoria de trabajo se van almacenando los hechos que se satisfagan.