本文關(guān)鍵詞：憤怒博弈者的更新邏輯（英文）

  更多相關(guān)文章： 博弈者 模態(tài)邏輯 行為模式 公理系統(tǒng) implies 完全性 sequential player coherent axiom

【摘要】：憤怒的博弈者是具有攻擊性的,為了減少對手的效用,他們甚至愿意犧牲自己的利益。本文為刻畫該行為模式構(gòu)建了一個包含更新算子的模態(tài)邏輯。與傳統(tǒng)的針對偏好的更新不同,我們的邏輯中因應(yīng)憤怒更新的是博弈者的可選行為,即在更新之后的模型中,憤怒的博弈者只能選擇使對手獲益最少的策略。我們?yōu)檫@套邏輯構(gòu)建了一個公理系統(tǒng),證明了其可靠性以及弱完全性,并將其應(yīng)用在最后通牒博弈中。
【作者單位】： 中山大學(xué)邏輯與認(rèn)知研究所;
【關(guān)鍵詞】： 博弈者;模態(tài)邏輯;行為模式;公理系統(tǒng);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