ENCADENAMIENTO HACIA ADELANTE

B.C. MOTOR INFERENCIA

R1: SI a ^ b -> c PASO 1:
R2: SI d ^ e -> f - Realiza emparejamiento de Reglas vs hechos (Identifica reglas que
R3: SI c ^ f ^ g ->x pueden dispararse)
MT - Identifica que R1 y R2 pueden ser disparadas
a - Según el criterio “primera regla se dispara FIFO” escogemos R1
b - Comprobamos si la primera premisa de R1(a) es un hecho
d - Comprobamos que “a” si es un hecho
e - Comprobamos si la segunda premisa de R1(b) es un hecho
g - Comprobamos que “b” si es un hecho
HECHOS - Se dispara R1 y se agrega “c” como hecho generado en la MT
GENERADOS - “c” es una meta
c-> R1 - Comprueba que “c” no es meta
f-> R2 PASO 2
x->R3 - Realiza emparejamiento de Reglas vs hechos (Identifica reglas que
pueden dispararse)
- Identifica R2 pueden ser disparada
- Comprobamos si la primera premisa de R2(d) es un hecho
- Comprobamos que “d” si es un hecho
- Comprobamos si la segunda premisa de R2(e) es un hecho
- Comprobamos que “e” si es un hecho
- Se dispara R2 y se agrega “f” como hecho generado en la MT
- “f” es una meta
- Comprueba que “f” no es meta

PASO 3
- Realiza emparejamiento de Reglas vs hechos (Identifica reglas que
pueden dispararse)
- Identifica R3 pueden ser disparada
- Comprobamos si la primera premisa de R3(c) es un hecho
- Comprobamos que “e” si es un hecho
- Comprobamos si la segunda premisa de R3(f) es un hecho
- Comprobamos que “f” si es un hecho
- Comprobamos si la tercera premisa de R3(g) es un hecho
- Comprobamos que “g” si es un hecho
- Se dispara R3 y se agrega “x” como hecho generado en la MT
- “x” es meta
- Comprueba que “x” si es meta
FIN
 ENCADENAMIENTO HACIA ATRAS

B.C. MOTOR INFERENCIA

R1: SI a ^ b -> c PASO 1:
R2: SI d ^ e -> f - Comprueba si “x” esta como hecho en la MT
R3: SI c ^ f ^ g ->x - Comprueba que “x” no es un hecho
MT - Asigna a “x” como h1
a PASO 2:
b - Realiza emparejamiento de Reglas vs h1 (Identifica regla que
d contiene h1)
e - Comprueba si la primera condición de R3(“c”) es un hecho
g - Comprueba que “c” no es un hecho
HECHOS - Asigna a “c” como h2
GENERADOS PASO 3
c-> R1 - Realiza emparejamiento de Reglas vs h2 (Identifica regla que
f-> R2 contiene h2)
x->R3 - Comprueba si la primera condición de R1(“a”) es un hecho
- Comprueba que “a” si es un hecho
- Comprueba si la segunda condición de R1(“b”) es un hecho
- Comprueba que “b” si es un hecho
- Identifica que R1 puede ser disparada
- Dispara R1 y agrega “c” en la MT
- Como continuación del paso 2
- Comprueba si la segunda condición de R3 es un hecho
- Comprueba que “f” no es un hecho.
- Asigna como “f” como h3
PASO 4
- Realiza emparejamiento de Reglas vs h3 (Identifica regla que
contiene h3)
- Comprueba si la primera condición de R2(“d”) es un hecho
- Comprueba que “d” si es un hecho
- Comprueba si la segunda condición de R2(“e”) es un hecho
- Comprueba que “e” si es un hecho
- Identifica que R2 puede ser disparada
- Dispara R2 y agrega “f” en la MT
- Como continuación del paso 2
- Comprueba si la tercera condición de R3(“g”) es un hecho
- Comprueba que “g” si es un hecho
- Identifica que R3 puede ser disparada
- Dispara R3 y agrega “x” en la MT
- Como continuación del PASO 1 comprueba que “x” es la meta.
FIN