El encadenamiento hacia adelante (o razonamiento hacia adelante ) es uno de los dos métodos principales de razonamiento cuando se usa un motor de inferencia y puede describirse lógicamente como una aplicación repetida del modus ponens . El encadenamiento directo es una estrategia de implementación popular para sistemas expertos, sistemas de reglas de producción y de negocios . Lo opuesto al encadenamiento hacia adelante es el encadenamiento hacia atrás .
El encadenamiento hacia adelante comienza con los datos disponibles y utiliza reglas de inferencia para extraer más datos (de un usuario final, por ejemplo) hasta alcanzar un objetivo . Un motor de inferencia que utiliza el encadenamiento directo busca las reglas de inferencia hasta que encuentra una en la que se sabe que el antecedente ( cláusula If ) es verdadero. Cuando se encuentra una regla de este tipo, el motor puede concluir, o inferir, el consecuente ( cláusula Entonces ), lo que da como resultado la adición de nueva información a sus datos. [1]
Supongamos que el objetivo es concluir el color de una mascota llamada Fritz, dado que croa y come moscas, y que la base de reglas contiene las siguientes cuatro reglas:
Ilustremos el encadenamiento directo siguiendo el patrón de una computadora mientras evalúa las reglas. Suponga los siguientes hechos:
1. Dado que los hechos básicos indican que "Fritz croa" y "Fritz come moscas", el antecedente de la regla n.º 1 se satisface al sustituir Fritz por X, y el motor de inferencia concluye:
2. El antecedente de la regla n.º 3 se satisface sustituyendo Fritz por X, y el motor de inferencia concluye: