El encadenamiento hacia atrás es un sistema de lógica utilizado por los sistemas de inteligencia artificial. Está diseñado para resolver un problema trabajando hacia atrás desde un objetivo final a través de una serie de reglas. Este enfoque puede ser utilizado por una amplia variedad de sistemas, desde programas que resuelven partidas de ajedrez hasta algoritmos utilizados para identificar objetos desconocidos. La base requiere una programación robusta con un conjunto de reglas inductivas lógicas y útiles que el sistema puede usar para moverse con precisión a través de una serie de opciones para llegar a una solución.
En este método, el programador proporciona al sistema un conjunto de reglas, que le presenta un producto final u objetivo. El sistema trabaja al revés a través de las reglas para determinar cómo se puede llegar a la meta final. En la inducción hacia atrás utilizada por los programas que resuelven juegos de ajedrez, por ejemplo, la computadora puede tomar la posición de las piezas y moverse a través de una serie de declaraciones si-entonces para determinar el curso probable de los movimientos a lo largo del juego. Una computadora también puede usar el encadenamiento hacia atrás para explorar otras posibles soluciones y ramificaciones que podrían haber ocurrido durante el juego para cambiar el resultado.
Los sistemas que utilizan el encadenamiento hacia atrás pueden tener reglas que varían en complejidad, según el tipo de trabajo que necesiten realizar. Un sistema capaz de identificar flores, por ejemplo, puede necesitar un gran conjunto de opciones de ramificación para identificar con precisión las especies que está observando. Podría comenzar con una serie de declaraciones relacionadas con el color, pasar por tipos de flores, número de pétalos, follaje y otras características, y determinar la identidad de una flor dada respondiendo preguntas en cada paso para determinar una respuesta final. Los errores en este proceso pueden dar lugar a errores de identificación.
Este sistema de razonamiento recurre a la lógica simple. El sistema examina un hecho, determina si encaja con un producto dado y da otro paso a partir de ahí. Si el hecho no coincide con la información disponible, es incorrecto y la lógica de encadenamiento hacia atrás puede descartar ese hecho y otros que podrían derivarse de él. Los hechos que encajan permiten que un programa trabaje con la lógica y explore los hechos de ramificación para ver cuál encaja mejor. Esto puede funcionar bien para una variedad de tareas.
La inteligencia artificial no es la única entidad que puede utilizar el encadenamiento hacia atrás. Los investigadores que trabajan con primates señalan que algunas especies parecen utilizar este método lógico para resolver problemas. Esto ilustra la capacidad para comprender los problemas y desarrollar un sistema para abordarlos.