愤怒博弈者的更新逻辑

摘要：

愤怒的博弈者是具有攻击性的，为了减少对手的效用，他们甚至愿意牺牲自己的利益。本文为刻画该行为模式构建了一个包含更新算子的模态逻辑。与传统的针对偏好的更新不同，我们的逻辑中因应愤怒更新的是博弈者的可选行为，即在更新之后的模型中，愤怒的博弈者只能选择使对手获益最少的策略。我们为这套逻辑构建了一个公理系统，证明了其可靠性以及弱完全性，并将其应用在最后通牒博弈中。

机标关键词：最后通牒博弈、weak completeness、模态逻辑、modal logic、行为、弱完全性、模式构建、逻辑构建、公理系统、更新算子、可靠性、攻击性、证明、应用、选择、效用、牺牲、模型、策略

所属期刊栏目：9

分类号：F01;F0

资助基金：The second author was supported by the Fundamental Research Funds for the Central Universities 13WKPY71

在线出版日期：2016-10-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共18页

页码：71-88