Il concatenamento all'indietro è il processo logico di inferenza di verità sconosciute da conclusioni note spostandosi a ritroso da una soluzione per determinare le condizioni e le regole iniziali. Il concatenamento all'indietro viene spesso applicato nell'intelligenza artificiale (AI) e può essere utilizzato insieme alla sua controparte, il concatenamento in avanti.
Nell'intelligenza artificiale, il concatenamento all'indietro viene utilizzato per trovare le condizioni e le regole in base alle quali è stato raggiunto un risultato logico o una conclusione. Un'intelligenza artificiale potrebbe utilizzare il concatenamento all'indietro per trovare informazioni relative a conclusioni o soluzioni in applicazioni di ingegneria inversa o teoria dei giochi. Il concatenamento all'indietro viene utilizzato in strumenti di dimostrazione automatizzata di teoremi, motori di inferenza, assistenti di prova e altre applicazioni di intelligenza artificiale.
Come una forma di ragionamento guidata da obiettivi e dall'alto verso il basso, concatenamento all'indietro di solito impiega un ricerca approfondita partendo da una conclusione, risultato o obiettivo e andando a ritroso per dedurre le condizioni da cui è derivato. Il concatenamento all'indietro ripercorre il codice, ad esempio, e analizza una tabella delle regole. Nella tabella delle regole, cerca tutte le azioni specificate nelle istruzioni if-then, applicando la logica per determinare quale delle possibili azioni avrebbe causato il risultato finale.
Il concatenamento all'indietro e il suo opposto, il concatenamento in avanti, usano il ragionamento deduttivo. Il concatenamento in avanti viene utilizzato per scomporre la sequenza logica e lavorarci dall'inizio alla fine allegando ogni passaggio dopo che quello precedente è stato risolto.