Lanac unatrag je sustav logike koji koriste sustavi umjetne inteligencije. Dizajniran je za rješavanje problema radeći unatrag od krajnjeg cilja kroz niz pravila. Ovaj pristup može se koristiti u raznim sustavima, od programa koji rješavaju šahovske igre do algoritama koji se koriste za identifikaciju nepoznatih objekata. Osnova zahtijeva robusno programiranje sa skupom logičkih i korisnih induktivnih pravila koja sustav može koristiti za precizno kretanje kroz niz opcija kako bi došao do rješenja.
U ovoj metodi, sustav dobiva skup pravila od strane programera, koji mu predstavlja krajnji proizvod ili cilj. Sustav radi unatrag kroz pravila kako bi odredio kako se može doći do krajnjeg cilja. U indukciji unatrag koju koriste programi koji rješavaju šahovske partije, na primjer, računalo može zauzeti položaj figura i kretati se kroz niz ako-onda izjava kako bi odredio vjerojatni tijek kretanja kroz igru. Računalo također može koristiti ulančavanje unatrag za istraživanje drugih mogućih rješenja i grana koje su se mogle dogoditi tijekom igre kako bi se promijenio ishod.
Sustavi koji koriste ulančavanje unatrag mogu imati pravila koja se razlikuju po složenosti, ovisno o vrsti posla koji trebaju obaviti. Sustav sposoban identificirati cvijeće, na primjer, možda će trebati veliki skup opcija grananja kako bi točno odredio vrstu koju gleda. Moglo bi započeti nizom izjava povezanih s bojom, pomicati se kroz vrste cvijeća, broj latica, lišća i druge karakteristike te odrediti identitet danog cvijeta odgovarajući na pitanja u svakom koraku kako bi se odredio konačni odgovor. Pogreške u ovom procesu mogu dovesti do pogrešaka pri identifikaciji.
Ovaj sustav razmišljanja poziva se na jednostavnu logiku. Sustav ispituje činjenicu, utvrđuje odgovara li danom proizvodu i odatle poduzima još jedan korak. Ako se činjenica ne podudara s dostupnim informacijama, ona je netočna i logika ulančavanja unatrag može odbaciti tu činjenicu i druge koje bi se mogle od nje granati. Činjenice koje se uklapaju dopuštaju programu da radi s logikom i istražuje činjenice o granama kako bi vidio što najbolje odgovara. Ovo može dobro funkcionirati za razne zadatke.
Umjetna inteligencija nije jedini entitet koji može koristiti ulančavanje unatrag. Istraživači koji rade s primatima primjećuju da se čini da neke vrste koriste ovu logičnu metodu za rješavanje problema. Ovo ilustrira sposobnost razumijevanja problema i razvoja sustava za njihovo rješavanje.