Encadenamiento hacia atrás

encadenamiento hacia atrás (o razonamiento hacia atrás) es un método de inferencia que se describe coloquialmente como trabajar hacia atrás desde el objetivo. Se utiliza en demostradores de teoremas automatizados, motores de inferencia, asistentes de prueba y otras aplicaciones de inteligencia artificial.

En la teoría de juegos, los investigadores la aplican a subjuegos (más simples) para encontrar una solución al juego, en un proceso llamado inducción hacia atrás. En ajedrez, se llama análisis retrógrado y se utiliza para generar bases de tablas para finales de ajedrez para ajedrez por computadora.

El encadenamiento hacia atrás se implementa en la programación lógica mediante resolución SLD. Ambas reglas se basan en la regla de inferencia modus ponens. Es uno de los dos métodos de razonamiento con reglas de inferencia e implicaciones lógicas más utilizados; el otro es el encadenamiento directo. Los sistemas de encadenamiento hacia atrás suelen emplear una estrategia de búsqueda en profundidad, p. Prólogo.

Cómo funciona

El encadenamiento hacia atrás comienza con una lista de objetivos (o una hipótesis) y avanza hacia atrás desde el consecuente hasta el antecedente para ver si algún dato respalda alguno de estos consecuentes. Un motor de inferencia que utilice encadenamiento hacia atrás buscaría las reglas de inferencia hasta encontrar una con una cláusula consecuente (Entonces) que coincida con el objetivo deseado. Si no se sabe que el antecedente (cláusula If) de esa regla es verdadero, entonces se agrega a la lista de objetivos (para que el objetivo de uno sea confirmado, también se deben proporcionar datos que confirma esta nueva regla).

Por ejemplo, supongamos que una nueva mascota, Fritz, se entrega en una caja opaca junto con dos datos sobre Fritz:

• Fritz croaks
• Fritz come moscas

El objetivo es decidir si Fritz es verde, basándose en una base de reglas que contiene las siguientes cuatro reglas:

1. Si X croaks y X come moscas – Entonces... X es una rana
2. Si X chirps y X canta – Entonces... X es un canario
3. Si X es una rana – Entonces... X es verde
4. Si X es un canario – Entonces... X es amarillo

Con razonamiento inverso, un motor de inferencia puede determinar si Fritz es verde en cuatro pasos. Para empezar, la pregunta se formula como una afirmación de objetivo que debe demostrarse: "Fritz es verde".

1. Fritz se sustituye por X en la regla 3 para ver si su consecuente coincide con el objetivo, por lo que la regla 3 se convierte en:

 Si Fritz es una rana – Entonces... Fritz es verde

Dado que el consecuente coincide con el objetivo ("Fritz es verde"), el motor de reglas ahora necesita ver si el antecedente ("Fritz es una rana") puede demostrarse. El antecedente, por tanto, se convierte en la nueva meta:

 Fritz es una rana

2. Nuevamente sustituyendo a Fritz por X, la regla n.° 1 se convierte en:

 Si Fritz croaks y Fritz come moscas – Entonces... Fritz es una rana

Dado que el consecuente coincide con el objetivo actual ("Fritz es una rana"), el motor de inferencia ahora necesita ver si el antecedente ("Fritz croa y come moscas") puede ser probado. El antecedente, por tanto, se convierte en la nueva meta:

 Fritz croaks y Fritz come moscas

3. Dado que este objetivo es una conjunción de dos declaraciones, el motor de inferencia lo divide en dos subobjetivos, los cuales deben demostrarse:

 Fritz croaks
Fritz come moscas

4. Para probar ambos subobjetivos, el motor de inferencia ve que ambos subobjetivos se dieron como hechos iniciales. Por tanto, la conjunción es verdadera:

 Fritz croaks y Fritz come moscas

por lo tanto el antecedente de la regla #1 es verdadero y el consecuente debe ser verdadero:

 Fritz es una rana

por lo tanto el antecedente de la regla #3 es verdadero y el consecuente debe ser verdadero:

 Fritz es verde

Esta derivación, por lo tanto, permite que el motor de inferencia demuestre que Fritz es verde. No se utilizaron las reglas 2 y 4.

Tenga en cuenta que las metas siempre coinciden con las versiones afirmadas de los consecuentes de las implicaciones (y no con las versiones negadas como en el modus tollens) e incluso entonces, sus antecedentes son considerados como las nuevas metas (y no las conclusiones como al afirmar las implicaciones). consecuente), que en última instancia debe coincidir con hechos conocidos (generalmente definidos como consecuentes cuyos antecedentes son siempre verdaderos); por tanto, la regla de inferencia utilizada es el modus ponens.

Dado que la lista de objetivos determina qué reglas se seleccionan y utilizan, este método se denomina basado en objetivos, en contraste con la inferencia de encadenamiento directo basada en datos. Los sistemas expertos suelen emplear el enfoque de encadenamiento hacia atrás.

Los lenguajes de programación como Prolog, Knowledge Machine y ECLiPSe admiten el encadenamiento hacia atrás dentro de sus motores de inferencia.