Una de las estrategias de
inferencia más utilizadas para obtener conclusiones compuestas es el llamado
encadenamiento de reglas. Esta estrategia puede utilizarse cuando las premisas
de ciertas reglas coinciden con las conclusiones de otras. Cuando se encadenan
las reglas, los hechos pueden utilizarse para dar lugar a nuevos hechos. Esto
se repite sucesivamente hasta que no pueden obtenerse más conclusiones. El
tiempo que consume este proceso hasta su terminación depende, por una parte, de
los hechos conocidos, y, por otra, de las reglas que se activan. La estrategia
de encadenamiento de reglas se da en el algoritmo siguiente:
Algoritmo.
- Datos: Una base de conocimiento (objetos y reglas) y algunos hechos iniciales.
- Resultado: El conjunto de hechos derivados lógicamente de ellos.
1. Asignar
a los objetos sus valores conocidos tales como los dan los hechos conocidos.
2. Ejecutar
cada regla de la base de conocimiento y concluir nuevos hechos si es posible.
3. Repetir
la Etapa 2 hasta que no puedan ser obtenidos nuevos hechos.
Este algoritmo puede ser
implementado de muchas formas. Una de ellas comienza con las reglas cuyas
premisas tienen valores conocidos. Estas reglas deben concluir y sus
conclusiones dan lugar a nuevos hechos. Estos nuevos hechos se añaden al
conjunto de hechos conocidos, y el proceso continúa hasta que no pueden
obtenerse nuevos hechos. Este proceso se ilustra, a continuación, con dos
ejemplos.
Ejemplo 1. La Figura 1 muestra un ejemplo de seis reglas
que relacionan 13 objetos, del A al M. Las relaciones entre estos objetos
implicadas por las seis reglas pueden representarse gráficamente, tal como se
muestra en la Figura 2, donde cada objeto se representa por un nodo. Las
aristas representan la conexión entre los objetos de la premisa de la regla y
el objeto de su conclusión. Nótese que las premisas de algunas reglas coinciden
con las conclusiones de otras reglas. Por ejemplo, las conclusiones de las
Reglas 1 y 2 (objetos C y G) son las premisas de la Regla 4.
Supóngase que se sabe que
los objetos A, B, D, E, F, H e I son ciertos y los restantes objetos son de
valor desconocido. La Figura 3 distingue entre objetos con valor conocido (los
hechos) y objetos con valores desconocidos.
En este caso, el algoritmo
de encadenamiento de reglas procede como sigue:
• La Regla 1 concluye que C
= cierto.
• La Regla 2 concluye que G
= cierto.
• La Regla 3 concluye que J
= cierto.
• La Regla 4 concluye que K
= cierto.
• La Regla 5 concluye que L
= cierto.
• La Regla 6 concluye que M
= cierto.
Puesto que no pueden
obtenerse más conclusiones, el proceso se detiene.
Este proceso se ilustra en
la Figura 3, donde los números en el interior de los nodos indican el orden en
el que se concluyen los hechos.
Tabla
1. Reglas
Tabla
2. Relación de las Reglas
Tabla
3. Nodos numerados indican el orden de cómo se cumplen las reglas.
