Tabla de contenido:
- Definición - ¿Qué significa encadenamiento hacia atrás?
- Techopedia explica el encadenamiento hacia atrás
Definición - ¿Qué significa encadenamiento hacia atrás?
El encadenamiento hacia atrás es un método de inferencia ampliamente utilizado en inteligencia artificial, probadores de teoremas automatizados y asistentes de pruebas. La metodología de encadenamiento hacia atrás puede describirse como trabajar desde una meta. 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.
Techopedia explica el encadenamiento hacia atrás
El encadenamiento hacia atrás se utiliza en la programación lógica a través de la resolución selectiva lineal de cláusula definida. 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 hacia atrás desde una lista de objetivos para determinar si hay datos que los respalden. Un motor de inferencia que utiliza el encadenamiento hacia atrás busca las reglas de inferencia hasta encontrar una regla con un consecuente que coincida con el objetivo deseado. Si no se sabe que el antecedente de esta regla sea verdadero, la regla se agrega a la lista de objetivos para que se puedan encontrar datos que la confirmen.
