Înlănțuirea înapoi este un sistem de logică utilizat de sistemele de inteligență artificială. Este conceput pentru a rezolva o problemă lucrând înapoi de la un scop final printr-o serie de reguli. Această abordare poate fi folosită de o mare varietate de sisteme, de la programe care rezolvă jocuri de șah până la algoritmi folosiți pentru identificarea obiectelor necunoscute. Baza necesită o programare robustă cu un set de reguli inductive logice și utile pe care sistemul le poate folosi pentru a trece cu precizie printr-o serie de opțiuni pentru a ajunge la o soluție.
În această metodă, sistemul este prevăzut cu un set de reguli de către programator, care îl prezintă cu un produs final sau un scop. Sistemul lucrează înapoi prin reguli pentru a determina cum se poate ajunge la obiectivul final. În inducerea înapoi folosită de programele care rezolvă jocurile de șah, de exemplu, computerul poate lua poziția pieselor și poate trece printr-o serie de afirmații dacă-atunci pentru a determina cursul probabil al mișcărilor prin joc. Un computer poate folosi, de asemenea, înlănțuirea înapoi pentru a explora alte soluții și ramuri posibile care ar fi putut apărea în timpul jocului pentru a schimba rezultatul.
Sistemele care folosesc înlănțuirea înapoi pot avea reguli care variază în complexitate, în funcție de tipul de muncă pe care trebuie să o facă. Un sistem capabil să identifice florile, de exemplu, poate avea nevoie de un set mare de opțiuni de ramificare pentru a identifica cu precizie speciile la care se uită. Ar putea începe cu o serie de afirmații legate de culoare, trece prin tipuri de flori, număr de petale, frunziș și alte caracteristici și poate determina identitatea unei flori date, răspunzând la întrebări la fiecare pas pentru a determina un răspuns final. Erorile din acest proces pot duce la greșeli de identificare.
Acest sistem de raționament face apel la o logică simplă. Sistemul examinează un fapt, determină dacă acesta se potrivește cu un produs dat și face încă un pas de acolo. Dacă faptul nu se potrivește cu informațiile disponibile, este incorect, iar logica de înlănțuire înapoi poate elimina acel fapt și altele care s-ar putea ramifica din el. Faptele care se potrivesc permit unui program să lucreze cu logica și să exploreze faptele de ramificare pentru a vedea care se potrivește cel mai bine. Acest lucru poate funcționa bine pentru o varietate de sarcini.
Inteligența artificială nu este singura entitate care poate folosi înlănțuirea înapoi. Cercetătorii care lucrează cu primate observă că unele specii par să folosească această metodă logică pentru a rezolva probleme. Aceasta ilustrează capacitatea de a înțelege problemele și de a dezvolta un sistem care să le rezolve.