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