Definición: ¿Qué significa el encadenamiento hacia atrás?
El encadenamiento hacia atrás es un método de inferencia ampliamente utilizado en inteligencia artificial, probadores automatizados de teoremas y asistentes de prueba. La metodología de encadenamiento hacia atrás se puede describir como trabajar desde un objetivo. Muchos lenguajes de programación admiten el encadenamiento hacia atrás dentro de sus motores de inferencia.
El encadenamiento hacia atrás también se conoce como razonamiento hacia atrás.
Techinfo explica el encadenamiento hacia atrás
El encadenamiento hacia atrás se utiliza en la programación lógica a través de una resolución de cláusula definida lineal selectiva. Es uno de los métodos de razonamiento más utilizados con reglas de interferencia e implicación lógica. El encadenamiento hacia atrás funciona al revés a partir de una lista de objetivos para determinar si hay datos que los respalden. Un motor de inferencia que utiliza encadenamiento hacia atrás busca las reglas de inferencia hasta que encuentra una regla con un consecuente que coincida con el objetivo deseado. Si no se sabe que el antecedente de esta regla sea cierto, la regla se agrega a la lista de objetivos para que se puedan encontrar datos que la confirmen.