Procesamiento de método en un sistema experto basado en reglas que comienza con la identificación de una cadena de verdaderas reglas que llevan a una conclusión. Comparar encadenamiento hacia atrás.