Inducție înapoi
L 'inducere înapoi (în engleză : inducere înapoi) este un proces de raționament care merge înapoi în timp, de la sfârșitul unei probleme, pentru a determina o succesiune optimă de acțiuni. Mai întâi continuăm luând în considerare ultima dată când se poate lua o decizie, identificând o alegere optimă în acea situație. Folosind aceste informații, se poate determina apoi ce trebuie făcut la penultima acțiune și așa mai departe până când, cu această analiză inversă, a fost identificată o acțiune optimă pentru fiecare situație posibilă în orice moment al timpului.
În teoria jocurilor, inducerea înapoi a fost folosită pentru prima dată de John von Neumann și Oskar Morgenstern în lucrarea lor fondatoare: Game Theory and Economic Behavior (1944) [1] . În acest context, este folosit pentru a calcula echilibrul perfect al unui sub-joc ( echilibru perfect al sub-jocului ) în jocurile secvențiale [2] .
Pentru programarea dinamică , inducerea înapoi este una dintre principalele metode de rezolvare a ecuației Bellman [3] [4] . Singura diferență între utilizarea în aceste două domenii este că optimizarea implică un singur jucător, care selectează acțiunea care urmează să fie efectuată în fiecare moment al timpului, când teoria jocului prevede interacțiunea dintre mai mulți jucători. Astfel, anticipând acțiunea ultimului jucător în fiecare situație, este posibil să se determine ce va face următorul jucător și așa mai departe. În câmpurile de planificare automată sau de verificare automată a teoremelor , această metodă se numește căutare inversă (în engleză: căutare înapoi sau înapoi-înlănțuire).
Notă
- ^ (EN) John von Neumann și Oskar Morgenstern, Theory of Games and Economic Behavior, ediția a 3-a, Princeton University Press, 1953 [1944], secțiunea 15.3.1 ..
- ^ (EN) Drew Fudenberg și Jean Tirole, Game Theory, Cambridge, SUA, MIT Press, 1991, p. 92.
- ^ (EN) Jerome Adda și Russell Cooper, Dynamic Economics: Quantitative Methods and Applications, Cambridge, SUA, MIT Press, 2003, p. 28.
- ^ (EN) Mario Miranda și Paul Fackler, Applied Computational Economics and Finance, Cambridge, SUA, MIT Press, 2002, p. 164. S-au specificat
