Extensive Infinite Games and Escalation, an exercise in Agda
published by Pierre Lescanne
in 2020
in Informatics Engineering
and research's language is
English
Download
Abstract in English
Escalation in games is when agents keep playing forever. Based on formal proofs we claim that if agents assume that resource are infinite, escalation is rational.