Tagurpidi aheldamine on tehisintellektisüsteemides kasutatav loogikasüsteem. See on loodud probleemi lahendamiseks, töötades lõpp-eesmärgist rea reeglite kaudu tagasi. Seda lähenemist saavad kasutada väga erinevad süsteemid, alates malemänge lahendavatest programmidest kuni tundmatute objektide tuvastamiseks kasutatavate algoritmideni. Alus nõuab tugevat programmeerimist koos loogiliste ja kasulike induktiivsete reeglitega, mida süsteem saab kasutada lahenduseni jõudmiseks erinevate valikute täpseks liikumiseks.
Selle meetodi puhul varustab süsteem reeglistikuga programmeerija poolt, kes esitab sellele lõpptoote või eesmärgi. Süsteem töötab tagurpidi läbi reeglite, et teha kindlaks, kuidas võiks jõuda lõppeesmärgini. Tagurpidi induktsioonis, mida kasutavad näiteks malemänge lahendavad programmid, saab arvuti võtta nuppude asukoha ja liikuda läbi rida kui-siis-lauseid, et määrata kindlaks liigutuste tõenäoline kulg mängus. Arvuti võib kasutada ka tagurpidi aheldamist, et uurida muid võimalikke lahendusi ja harusid, mis võisid mängu käigus tekkida, et tulemust muuta.
Süsteemidel, mis kasutavad tagurpidi aheldamist, võivad olla reeglid, mille keerukus on erinev, olenevalt sellest, millist tööd nad peavad tegema. Näiteks süsteem, mis suudab lilli tuvastada, võib vajada suurt hulka hargnemisvõimalusi, et täpselt kindlaks teha, milliseid liike see vaadeldakse. See võib alata värviga seotud väidete seeriaga, liikuda läbi lilletüüpide, kroonlehtede arvu, lehestiku ja muude omaduste ning määrata konkreetse lille identiteedi, vastates igal etapil küsimustele, et määrata lõplik vastus. Selle protsessi vead võivad põhjustada tuvastamisvigu.
See arutlussüsteem nõuab lihtsat loogikat. Süsteem uurib fakti, teeb kindlaks, kas see sobib antud tootega, ja astub sealt edasi. Kui fakt ei ühti olemasoleva teabega, on see vale ja tagurpidi aheldamise loogika võib selle fakti ja muud, mis võivad sellest hargneda, kõrvale jätta. Sobivad faktid võimaldavad programmil töötada loogikaga ja uurida hargnevaid fakte, et näha, milline neist kõige paremini sobib. See võib hästi toimida mitmesuguste ülesannete puhul.
Tehisintellekt ei ole ainus üksus, mis saab kasutada tagurpidi aheldamist. Primaatidega töötavad teadlased märgivad, et mõned liigid kasutavad seda loogilist meetodit probleemide lahendamiseks. See illustreerib suutlikkust mõista probleeme ja töötada välja süsteem nende lahendamiseks.