Encadenamiento de las reglas en los sistemas expertos

Un espacio de estados se puede interpretar como una imagen de la evolución incremental de la base de hechos (la traza de los hechos en la memoria de trabajo), tanto de hechos establecidos como de hechos a establecer, en función de la aplicación de las reglas desencadenables.

En el encadenamiento hacia delante y hacia atrás:
El sentido de la trayectoria en el espacio de estado queda definido por el modo de funcionamiento del motor de inferencias.

Encadenamiento hacia delante:

Los hechos de la Base de datos global (base de hechos), son considerados como disparadores de las reglas, son hechos establecidos. La exploración de las reglas en estas condiciones corresponde a un razonamiento, desde los hechos hacia los objetivos.

Encadenamiento hacia atrás:

Los hechos de la base de hechos son considerados como hechos a establecer (sub-objetivos). La exploración de las reglas corresponde a un razonamiento desde los objetivos a los hechos.

Ejemplo de encadenamiento hacia delante:

Reglas:
R1: si A entonces B.
R2: si B entonces C.
R3: si C entonces Z

Hechos:
H1: A (dato de partida)
H3: Z (objetivo a alcanzar)

Regla Memoria de trabajo Observación;

.... (A ) (X) Estado inicial
1 (A, B) (X) Se aplica la R1 y la conclusión (B) (B) se incluye en la memoria de trabajo (MT)
2 (A, B, C) (X) Se aplica la R2 y se incrementa la MT.
3 (A, b, C, Z) (Z) Se aplica la R3 y se alcanzo el objetivo.

Donde el espacio de estados fue el siguiente:

A -> B -> C -> Z

Para el encadenamiento hacia atrás el espacio de estado se movería al revés:

A -> B -> C -> Z