Taaksepäin ketjutus on tekoälyjärjestelmien käyttämä logiikkajärjestelmä. Se on suunniteltu ratkaisemaan ongelma toimimalla taaksepäin lopputavoitteesta sääntöjen sarjan kautta. Tätä lähestymistapaa voivat käyttää monenlaiset järjestelmät, shakkipelejä ratkaisevista ohjelmista algoritmeihin, joita käytetään tuntemattomien esineiden tunnistamiseen. Perusta edellyttää vankkaa ohjelmointia ja joukon loogisia ja hyödyllisiä induktiivisia sääntöjä, joiden avulla järjestelmä voi liikkua tarkasti eri vaihtoehtojen läpi ratkaisun löytämiseksi.
Tässä menetelmässä ohjelmoija toimittaa järjestelmälle joukon sääntöjä, jotka esittävät sille lopputuotteen tai tavoitteen. Järjestelmä toimii sääntöjen mukaisesti taaksepäin määrittääkseen, miten päämäärään päästään. Esimerkiksi shakkipelejä ratkaisevien ohjelmien käyttämässä taaksepäin induktiossa tietokone voi ottaa palaset ja siirtyä sarjan “jos-sitten” -lausekkeiden läpi määrittääkseen pelin mahdollisen liikkeen. Tietokone voi myös käyttää taaksepäin ketjutusta tutkiakseen muita mahdollisia ratkaisuja ja haaroja, jotka olisivat voineet tapahtua pelin aikana muuttaakseen lopputulosta.
Taaksepäin ketjutusta käyttävissä järjestelmissä voi olla sääntöjä, jotka vaihtelevat monimutkaisuudesta riippuen siitä, millaista työtä he tarvitsevat tehdä. Järjestelmä, joka pystyy esimerkiksi tunnistamaan kukat, saattaa tarvita suuren joukon haarautumisvaihtoehtoja tarkasti etsimänsä lajin tunnistamiseksi. Se voisi alkaa sarjalla väreihin liittyviä lausuntoja, liikkua kukkien tyypeillä, terälehtien lukumäärällä, lehdillä ja muilla ominaisuuksilla ja määrittää tietyn kukan identiteetti vastaamalla kysymyksiin jokaisessa vaiheessa lopullisen vastauksen määrittämiseksi. Virheet tässä prosessissa voivat johtaa tunnistamisvirheisiin.
Tämä päättelyjärjestelmä vaatii yksinkertaista logiikkaa. Järjestelmä tutkii tosiasian, määrittää sopiiko se tiettyyn tuotteeseen ja ottaa sitten uuden askeleen. Jos tosiasia ei vastaa käytettävissä olevia tietoja, se on virheellinen, ja taaksepäin ketjuttu logiikka voi hylätä tämän tosiasian ja muut, jotka voivat haarautua siitä. Sopivat tosiasiat antavat ohjelman toimia logiikan kanssa ja tutkia haarautuvia tosiasioita nähdäkseen, mikä sopii parhaiten. Tämä voi toimia hyvin erilaisissa tehtävissä.
Tekoäly ei ole ainoa kokonaisuus, joka voi käyttää taaksepäin ketjutusta. Kädellisten kanssa työskentelevät tutkijat huomaavat, että jotkut lajit näyttävät käyttävän tätä loogista menetelmää ongelmien ratkaisemiseen. Tämä kuvaa kykyä ymmärtää ongelmia ja kehittää järjestelmä niiden ratkaisemiseksi.