用共归纳法解构无限可拓对策
Deconstruction of Infinite Extensive Games using coinduction
摘要：
有限的对象，更具体地说，有限的游戏形式化使用归纳法，而无限的对象形式化使用共归纳法。在这篇文章中，在介绍了共同归纳的概念之后，我们重新审视了博弈论的基本概念--无限（离散）广泛博弈。其中，我们引入了纳什均衡的定义和无限博弈的子博弈完美均衡的概念。我们使用这些概念来分析著名的无限游戏，如美元拍卖游戏和蜈蚣游戏，我们表明，人类的行为，往往被认为是不合逻辑的是完全合理的，如果承认人类代理人的原因共感。
英文摘要：
Finite objects and more specifically finite games are formalized using induction, whereas infinite objects are formalized using coinduction. In this article, after an introduction to the concept of coinduction, we revisit on infinite (discrete) extensive games the basic notions of game theory. Among others, we introduce a definition of Nash equilibrium and a notion of subgame perfect equilibrium for infinite games. We use those concepts to analyze well known infinite games, like the dollar auction game and the centipede game and we show that human behaviors that are often considered as illogic are perfectly rational, if one admits that human agents reason coinductively.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
