憤怒博弈者的更新邏輯

黃繁

中山大學(xué)邏輯與認(rèn)知研究所

wong.vanz@gmail.com

文學(xué)鋒

中山大學(xué)邏輯與認(rèn)知研究所

wxflogic@gmail.com

憤怒博弈者的更新邏輯

黃繁

中山大學(xué)邏輯與認(rèn)知研究所

wong.vanz@gmail.com

文學(xué)鋒

中山大學(xué)邏輯與認(rèn)知研究所

wxflogic@gmail.com

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