La Induccin hacia atrs es el proceso de razonar hacia atrs en el tiempo, desde el final de un

problema o situacin, para determinar una secuencia de acciones ptimas. Se procede, en primer
lugar tomando en cuenta la ltima vez que se llevo a cabo una decisin y se elige qu hacer en
ese momento. Con esta informacin, se puede entonces determinar lo que debe hacer en la
penltima la decisin. Este proceso contina hacia atrs hasta que se ha determinado la mejor accin
para cada situacin posible (es decir, para cada posible conjunto de informacin) en cada punto en el tiempo.

En el mtodo matemtico de optimizacin programacin dinmica, la induccin hacia atrs es uno de los
principales mtodos para resolver la ecuacin de Bellman.1 2 En la teora de juegos, la induccin hacia
atrs es un mtodo utilizado para calcular el equilibrio perfecto en subjuegos en los juegos secuenciales.
La nica diferencia es que la optimizacin implica un solo tomador de decisiones , que elige lo que debe
hacer en cada momento del tiempo, mientras que la teora de juegos analiza cmo las decisiones de
varios jugadores interactan. Es decir, mediante la previsin de lo que el ltimo jugador que elige va a
hacer en esa situacin, es posible determinar que va a hacer el penltimo jugador en elegir, y as
sucesivamente. En los campos relacionados con la planificacin automtica y la programacin automatizada
y demostracin automtica de teoremas, el mtodo se llama bsqueda hacia atrs o encadenamiento hacia atrs
En el ajedrez se llama ajedrez retrospectivo.

La induccin hacia atrs se ha utilizado para resolver juegos desde que la teora de juegos ha existido.
John von Neumann y Oskar Morgenstern sugieren la solucin de un juego de suma cero, juegos de
dos personas por induccin hacia atrs en su libro Teora de Juegos y Comportamiento Econmico (1944),
el libro que estableci la teora de juegos como un campo de estudio.