愤怒博弈者的更新逻辑（英文）

发布时间：2017-10-12 23:11

  本文关键词：愤怒博弈者的更新逻辑（英文）

  更多相关文章： 博弈者 模态逻辑 行为模式 公理系统 implies 完全性 sequential player coherent axiom

【摘要】：愤怒的博弈者是具有攻击性的,为了减少对手的效用,他们甚至愿意牺牲自己的利益。本文为刻画该行为模式构建了一个包含更新算子的模态逻辑。与传统的针对偏好的更新不同,我们的逻辑中因应愤怒更新的是博弈者的可选行为,即在更新之后的模型中,愤怒的博弈者只能选择使对手获益最少的策略。我们为这套逻辑构建了一个公理系统,证明了其可靠性以及弱完全性,并将其应用在最后通牒博弈中。
【作者单位】： 中山大学逻辑与认知研究所;
【关键词】： 博弈者;模态逻辑;行为模式;公理系统;implies;完全性;sequential;player;coherent;axiom;
【基金】：supported by the Fundamental Research Funds for the Central Universities(No.13WKPY71)
【分类号】：B812.2
【正文快照】： 1 Introduction This paper focuses on the emotion of anger,and develops a modal logic to characterise the effect of anger on human behaviour in sequential games.Human emotion is not often seen as a proper subject for logical study(for an exception,see[1]，

本文编号：1021444