黃繁

中山大學邏輯與認知研究所

wong.vanz@gmail.com

文學鋒

中山大學邏輯與認知研究所

wxflogic@gmail.com

憤怒博弈者的更新邏輯

黃繁

中山大學邏輯與認知研究所

wong.vanz@gmail.com

文學鋒

中山大學邏輯與認知研究所

wxflogic@gmail.com

憤怒的博弈者是具有攻擊性的，為了減少對手的效用，他們甚至愿意犧牲自己的利益。本文為刻畫該行為模式構(gòu)建了一個包含更新算子的模態(tài)邏輯。與傳統(tǒng)的針對偏好的更新不同，我們的邏輯中因應(yīng)憤怒更新的是博弈者的可選行為，即在更新之后的模型中，憤怒的博弈者只能選擇使對手獲益最少的策略。我們?yōu)檫@套邏輯構(gòu)建了一個公理系統(tǒng)，證明了其可靠性以及弱完全性，并將其應(yīng)用在最后通牒博弈中。