Induzione a ritroso

L'induzione a ritroso (in inglese: backward induction) è un processo di ragionamento che va a ritroso nel tempo, dalla fine di un problema, allo scopo di determinare una sequenza di azioni ottimale. Si procede in primo luogo considerando l'ultima volta che una decisione può essere presa, individuando una scelta ottimale in quella situazione. Usando questa informazione, si può quindi stabilire che cosa fare in occasione della penultima azione e così via sino a quando, con questa a analisi a ritroso, non si è individuata un'azione ottimale per ogni possibile situazione in qualsiasi punto nel tempo.

In teoria dei giochi, l'induzione a ritroso è stata per la prima volta impiegata da John von Neumann e Oskar Morgenstern nel loro lavoro fondatore: Teoria dei Giochi e comportamento economico (1944). In questo contesto, viene usata per calcolare l'equilibrio perfetto di un sotto-gioco (subgame perfect equilibria) in giochi sequenziali.

Per la programmazione dinamica, l'induzione a ritroso costituisce uno dei metodi principali per risolvere l'equazione di Bellman. L'unica differenza fra l'uso in questi due campi, è che l'ottimizzazione coinvolge un solo giocatore, il quale seleziona l'azione da eseguire in ogni istante di tempo, quando la teoria dei giochi prevede l'interazione fra più giocatori. Quindi, anticipando l'azione dell'ultimo giocatore in ogni situazione, è possibile determinare cosa farà il penultimo giocatore, e così via. Nei campi della pianificazione automatica o della dimostrazione automatica di teoremi, questo metodo è chiamato ricerca a ritroso (in inglese: backward search o backward chaining).