博弈論的認(rèn)知邏輯基礎(chǔ)研究

1、中文摘要中文摘要博弈論是關(guān)于理性主體間策略性互動(dòng)的理論， 其目 標(biāo)是為理解社會(huì)領(lǐng)域中各種沖突和合作提供一個(gè)統(tǒng)一的分析框架。 理性是博弈論的核心概念，它的數(shù)學(xué)形式是表征行動(dòng)選擇的 合理性和互動(dòng)結(jié)果的穩(wěn)定性的 均衡。均衡分析的有效性依賴(lài)于對(duì)主體理性和認(rèn)知狀態(tài)的預(yù)設(shè)。 分析博弈中 互認(rèn)知推理，澄清均衡的認(rèn)知條件，揭示理性的邏輯 和認(rèn)識(shí)論內(nèi) 涵， 是博弈論認(rèn)知邏輯基礎(chǔ)研究的主題.本文根據(jù) “ 互動(dòng)認(rèn)識(shí)論”的 研究思路， 運(yùn)用形式化公理化方法，

2、在多主體認(rèn)知邏輯和認(rèn)知條件句邏輯中 重構(gòu)了二人策略型博弈和完美信息擴(kuò)展型博弈，澄清了 納什均衡和子博弈完美均衡的認(rèn)知條件，論證了 最優(yōu)反 應(yīng)函數(shù)方法和逆推歸納法的邏輯有效性， 通過(guò)合理行動(dòng)悖論分析探討了 博弈論的理性問(wèn)題。首先，以“ 理性、 認(rèn)知 和策略性互動(dòng)” 為主線(xiàn)， 概述了博弈論的基本思想和方法，闡明了其 “ 認(rèn)知轉(zhuǎn)向”的必然性和互動(dòng)認(rèn)識(shí)論、 博弈論認(rèn)知邏輯基礎(chǔ)研究的哲學(xué)和邏輯學(xué)意義。 博弈論的數(shù)學(xué)模型不能表示互 認(rèn)知推理和認(rèn)知預(yù)

3、設(shè)，不能顯示均衡是理性主體間 策略性互動(dòng)的結(jié)果。 博弈論的 “ 認(rèn)知轉(zhuǎn)向”遏制了均衡分析的盲目 使用，均衡的認(rèn)知條件分析成為博弈分析的要素。本質(zhì)上包含認(rèn)知內(nèi)容的相關(guān)均衡和序貫均衡的提出、互動(dòng)認(rèn)識(shí)論的興起代表了當(dāng)代博弈論發(fā)展的主要方向， 博弈論認(rèn) 知邏輯基礎(chǔ)研究就是在這一背 景下產(chǎn)生的。其次，結(jié)合 互動(dòng) 認(rèn)知 論 和認(rèn)知邏輯的 最新 成 果， 將單 主體 認(rèn)知邏輯系統(tǒng)s E擴(kuò)充為多主體認(rèn)知邏輯系統(tǒng)S E c， 構(gòu)造了 認(rèn)知條件句邏輯 系統(tǒng)

4、E C L ， 在形式語(yǔ)言中明 確定義了 “ 理性” “ 行動(dòng)選擇” ，為二人策略型博弈和完美信息的有限擴(kuò)展型博弈提供了 邏輯分析框架。 在S E c中， 證明了二人策略 博弈中納什均衡的認(rèn)知條件是: 每個(gè)局中人是理性的并且猜測(cè)到彼此的 行動(dòng): 在E C L中證明了 完美 信息 有限 擴(kuò)展博弈的 子博弈完 美 均衡的認(rèn)知 條件 是: “ 每個(gè) 局中 人是理性的” 和博弈結(jié)構(gòu)是局中 人之間的 共同 知 識(shí)。 前一個(gè)結(jié)論部分地改 進(jìn)了 奧曼

5、和布蘭登伯格( 1 99 5)的結(jié)果， 后一 個(gè)結(jié)論確立了逆推歸納法的 認(rèn)知邏 輯意義上的有效性。最后，從合理行動(dòng)悖論分析入手，討論了 博弈論中的 理性問(wèn)題。理性要求手段和目 的的一致性，理性問(wèn)題的實(shí)質(zhì)是理性、 認(rèn)知和行動(dòng)的關(guān)系問(wèn) 題。理性問(wèn)題有兩個(gè)層次:邏輯層次 和哲學(xué)認(rèn)識(shí)論層次。 我們對(duì) “ 突擊考試悖論” 、紐科英文摘要Ab s t r a C tT 五 e s u b j e C t o fg 山 舊 e t h eo r yi

6、 ss t r a t e g i c 1 n t e I a c t 1 o nb e t W e e n r a t i o n a I a ge n ts . I t i s甸噸 t oP r o v i d e a 畫(huà)f i e d a n a l y t ic丘 a mef o r s o ci a l c o 胡i c t s a n dc o p e r a t i o n .R 月 t i o n a l i t yi

7、s t h e C e n 往 a 】 c o n c e p t i ng a m e t h e o 盡 . A s l r 以 t h e m a t i c a lr e p r e s e n t a t i o no fr a t i 0 n a li t y ， e q u i 1 1 b r iU m r e f i ec t s t h e r a t i o n a li t y o fc h 0 1 c e s a

8、 D d 引 刁 b i l t yo fi n t e r a c t i o no u t c o m e . T he r e l i a bi l i t yo f e q ui l i b r it n r e l a ys o n洲i o n a 】 l t ya n d b el i e f o r k no w le d g eo fp l a ye r s. T 七 e i s s u e o f而s p 越 祀 r

9、i s e xp os i n g t h e e P l s t e 而c c o n d i t i o n f o r e qu l l i b r iu ma nd 引 刀 d y i n g t h e i n t e 獻(xiàn) i v e r e a s on i n g i ng a m e . A c or d i n g t oi n t e r ac t i v e e P i s t 曰 盯 o f o g y ，w e

10、 a P P l yf o r n 因 即d a x o m 畫(huà)e d m e t h o df o r t w。 詳 ” 加 勸 磁 e g i c g a me a ndf i 苗 t ee x t e n s i v e g 別 叮 e sw it h p er f ec ti 創(chuàng) F o n r 以 t l 眺 T h ee Pi s t e l n jcc on di t i o n s f o r N a s h叫u l l

11、 i b r iu m 叨 d S U b - g a m e 聲 d 免 c t e qu i l i b r iu m a r e c l 畫(huà)f i e d . a n d t h e l e g i c a iv a id i t yo fb es t找 污 p on s 七 丘 m c t 1 o n a nd b a c k w a r di n d u C t i o n a r e P r o v e d. T 比 。 u

12、 g h r a t l o n a la c t l o np a r a do x e s ， t h e P r o b l e m o f h ao n a li t yi ng 別 舊 e t h e o r yi s d i s c u s s e d.F i r s t 1 y ， i nt h el i g h t o ft h e i d eao f r e l a t io n 忱 栩e n r a t 1 0 n

13、a l l t y ， b el i e f o r如。 w 】 曰g e a nd i n t e n ‘ t i o 乓w c b r ie n y i n t r o d uet h e l n 月 川i d ‘ 巧陰 d m e t h o d so fg 田 刀 et h e o r y . I ti sp oi n t e d t h a t i n t e r a C t 1 v e r e a s o m n g a n

14、 d 叩 1 5 加 面 c c on d i t 1 0 nc a n n o t b ec x P r e s s e di nn 坦 t b e m a t l c a lm od e l s ; 也 e e q u l l i b r i u m a 刀 a 】 y s i si s i ns h o r to f i n t u i t i v er e l i a b i l i t ya n d b l i n dl y

15、u s e d， b e l i e fo rk n o w le d g e a r e n e g l e c t e d T b e b 1 i n d 1 y u s a g e o f四 u i l i b r iu l n 助 a l y s i s i s扯 m d l c a p p e d 勿 t h e e P i s t e 而ct u m a nd e Pi s t e 而cc on d i t i o n sf

16、 o r e q u ll i b r i u m b e c o m e 加腳比 勸 t 企 c t o r i ng 團(tuán) 舊 e a n a 】 y s i s . T 五 e i d c ao f漲 月 u e n t i a le q u l 1 i b r iU I n a n d c o r e1 a t e de q u i l i 靦u m， t h e r i s eo fi n 讓 汀 別 比 i v e e Pi

17、s t e m o l o g yr e f l e c t t h e d ev e l o P i n g d i r e C t 1 o no f c on t e m p or a r y g a m e t h e O r y . T b e i s s u eo f e PI S t e t n i cb a s i s o f g a me t h e o r yc o m e s 加mt h o s e b 即 k g

18、r o u n d s .S e c o n d l y ，b a s e d o n c on t em p or 山 嘆 r e s 川 t so f i n t e 俄t i v ee Pl s t e m o l o g y a n d e P i s t e 而 c lo g ic ， w e s e t u Pm u l t i 一 昭 e n t s喇s t e 而 c lo g ic s y 雍 ms EC f o r

19、s t r a t eg i cg a me s a nd e Pi s t e 而c c o n di t i o . 目l o g i c s y s t e mE C Lf o r f i 刀 l t ee x t e n s i v e g a J 舊 e 初t h p e 到 免 c ti n f o r m a t i o n . I ns E c ， b y d e 儷n gr a t i n n a li t ya n