Koncept v učení viz Řetězení
Zpětné řetězení začíná se seznamem cílů (nebo hypotézou) a pracuje pozpátku od následného k předchozímu, aby zjistil, zda jsou k dispozici data, která podpoří některé z těchto následných. inferenční engine používající zpětné řetězení by hledal inferenční pravidla, dokud nenajde jedno, které má následnou (Pak klauzuli), která odpovídá požadovanému cíli. Pokud předchozí (If klauzule) tohoto pravidla není známa jako pravdivá, pak je přidána do seznamu cílů (aby byl cíl potvrzen, musí také poskytnout data, která potvrzují toto nové pravidlo).
Tento základ pravidla by byl vyhledán a třetí a čtvrté pravidlo by bylo vybráno, protože jejich důsledky (Pak Fritz je zelený, Pak Fritz je žlutý) odpovídají cíli (určit Fritzovu barvu). Zatím není známo, že Fritz je žába, takže oba předchůdci (Pokud je Fritz žába, Pokud Fritz je kanárek) jsou přidány do seznamu cílů. Základ pravidla je opět vyhledán a tentokrát jsou vybrána první dvě pravidla, protože jejich důsledky (Pak X je žába, Pak X je kanárek) odpovídají novým cílům, které byly právě přidány do seznamu. Předchozí (Pokud Fritz kváká a jí mouchy) je známo, že je pravdivý, a proto lze dojít k závěru, že Fritz je žába, a ne kanárek. Cíle určení Fritzovy barvy je nyní dosaženo (Fritz je zelený, pokud je žába, a žlutý, pokud je kanárek, ale je žába, protože kváká a jí mouchy; proto je Fritz zelený).
Všimněte si, že cíle se vždy shodují s potvrzenými verzemi následků důsledků (a ne s negovanými verzemi jako v modus tollens) a i pak jsou jejich předchůdce považovány za nové cíle (a ne závěry jako potvrzení následků), které nakonec musí odpovídat známým faktům (obvykle definovaným jako důsledky, jejichž předchůdce jsou vždy pravdivé); tudíž pravidlo odvození, které se používá, je modus ponens.
Vzhledem k tomu, že seznam cílů určuje, která pravidla jsou vybrána a použita, nazývá se tato metoda řízená cílem, na rozdíl od inference řízené dopředu řetězením dat. Přístup zpětného řetězení často používají expertní systémy.