本文關(guān)鍵詞：雙主體零和博弈邏輯形式系統(tǒng)建構(gòu)及模型檢測(cè)研究

  更多相關(guān)文章： 雙主體零和博弈邏輯 形式系統(tǒng) μ-演算 模型檢測(cè)

【摘要】：博弈邏輯是博弈論和邏輯學(xué)相交叉的一個(gè)嶄新研究領(lǐng)域,屬應(yīng)用邏輯范疇。雙主體零和博弈邏輯是目前國(guó)際上博弈邏輯研究的重心。在命題動(dòng)態(tài)邏輯原有程序算子(;∪*)的基礎(chǔ)上增加對(duì)偶(dual)算子d建構(gòu)雙主體零和博弈邏輯的形式系統(tǒng);把雙主體零和博弈邏輯嵌入μ-演算中,分析雙主體零和博弈邏輯的語(yǔ)言表達(dá)力;并在對(duì)雙主體零和博弈邏輯形式系統(tǒng)建構(gòu)的基礎(chǔ)上,研究其模型檢測(cè)的復(fù)雜性,可以為雙主體非零和博弈邏輯及多主體博弈邏輯的研究奠定基礎(chǔ)。雙主體零和博弈邏輯已成為拓展博弈邏輯研究的一個(gè)重要方向。
【作者單位】： 北京理工大學(xué)人文與社會(huì)科學(xué)學(xué)院;
【關(guān)鍵詞】： 雙主體零和博弈邏輯 形式系統(tǒng) μ-演算 模型檢測(cè)
【基金】：作者主持的北京市哲學(xué)社會(huì)科學(xué)規(guī)劃項(xiàng)目《雙主體博弈邏輯形式系統(tǒng)建構(gòu)及模型檢測(cè)研究》的成果之一(項(xiàng)目編號(hào)11ZXB004)
【分類(lèi)號(hào)】：B81-05
【正文快照】： 雙主體零和博弈邏輯是博弈邏輯的一個(gè)重要分支,也是目前國(guó)際上博弈邏輯研究的重心。目前對(duì)雙主體零和博弈邏輯的研究主要是結(jié)合動(dòng)態(tài)邏輯來(lái)進(jìn)行的。雙主體博弈邏輯就是兩個(gè)各自獨(dú)立決策,但策略和利益具有相互依存關(guān)系的博弈方如何合理選擇策略的邏輯。零和博弈邏輯研究的是博

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前3條

1 張峰;;論博弈邏輯[J];學(xué)術(shù)論壇;2006年03期

2 張峰;;博弈邏輯中理性人假設(shè)的困境與思考[J];學(xué)術(shù)論壇;2007年09期

3 張峰;邏輯學(xué)的新分支——博弈邏輯研究現(xiàn)狀分析[J];哲學(xué)動(dòng)態(tài);2005年02期

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前3條

1 李登;博弈中的邏輯推理研究[D];燕山大學(xué);2010年

2 金雙全;終極博弈決策邏輯分析[D];浙江大學(xué);2010年

3 趙榮盛;博弈邏輯中局中人有限理性研究[D];廣西師范大學(xué);2008年

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 郭鋒;哥德?tīng)柌煌陚湫远ɡ砑捌渥C明過(guò)程的哲學(xué)解析[J];福建師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1991年02期

2 欒靜聞;關(guān)于一階邏輯形式系統(tǒng)中概括規(guī)則的注記[J];江漢大學(xué)學(xué)報(bào);1996年06期

3 蔡曙山;;論形式化[J];哲學(xué)研究;2007年07期

4 袁正校;論非有效推理形式的判定問(wèn)題──邏輯類(lèi)比法的理論基礎(chǔ)[J];西南師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1994年01期

5 倪蔭林;;邏輯本體問(wèn)題新探[J];甘肅理論學(xué)刊;2005年06期

6 孫明湘;李建華;;論邏輯的有效性及其判定[J];湖南文理學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2006年05期

7 熊明;演繹系統(tǒng)和歸納系統(tǒng)一一對(duì)應(yīng)[J];中山大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2003年S1期

8 馬雷;亞里士多德模態(tài)三段論的形式系統(tǒng)[J];合肥學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2005年01期

9 陳曉平;;辯證邏輯與形而上學(xué)——兼析形式系統(tǒng)Z的辯證法含義[J];華南師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2005年05期

10 姚從軍;;模態(tài)命題邏輯系統(tǒng)K、D、T、S4、S5、B之比較[J];畢節(jié)學(xué)院學(xué)報(bào);2009年04期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條

1 張錦文;;一種弗晰邏輯的形式系統(tǒng)[A];全國(guó)邏輯討論會(huì)論文選集[C];1979年

2 莫紹揆;;歸納推理的形式系統(tǒng)[A];1994年邏輯研究專(zhuān)輯[C];1994年

3 李文健;;形式化的涵義及其認(rèn)識(shí)論本質(zhì)[A];1993年邏輯研究專(zhuān)輯[C];1993年

4 張志勇;;從當(dāng)代計(jì)算機(jī)的發(fā)展看什么是邏輯[A];邏輯今探——中國(guó)邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

5 林邦瑾;;夠用的無(wú)衍系統(tǒng)Cm[A];全國(guó)邏輯討論會(huì)論文選集[C];1979年

6 楊子京;;從開(kāi)放的角度看悖論問(wèn)題[A];1996年邏輯研究專(zhuān)輯[C];1996年

7 楊子京;;從事物作用、反作用的辯證關(guān)系看“悖論”與“開(kāi)放”的意義[A];邏輯今探——中國(guó)邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

8 吳允曾;;關(guān)于形式化的幾個(gè)問(wèn)題[A];金岳霖學(xué)術(shù)思想研究——金岳霖學(xué)術(shù)思想研討會(huì)論文集[C];1985年

9 朱建平;;從語(yǔ)形學(xué)、語(yǔ)義學(xué)到語(yǔ)用學(xué)[A];2000年邏輯研究專(zhuān)輯[C];2000年

10 畢富生;;三思“邏輯真”[A];2000年邏輯研究專(zhuān)輯[C];2000年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 余俊偉;弗協(xié)調(diào)邏輯應(yīng)用于道義邏輯的研究[D];中國(guó)社會(huì)科學(xué)院研究生院;2001年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 王三民;模糊邏輯形式系統(tǒng)的若干完備性定理[D];陜西師范大學(xué);2001年

2 張瓊;BL_△~*形式系統(tǒng)與NM（?）形式系統(tǒng)的研究[D];陜西師范大學(xué);2010年

3 胡明娣;邏輯代數(shù)上的濾子及反向三I算法統(tǒng)一形式的研究[D];陜西師范大學(xué);2008年

4 唐芳芳;哥德?tīng)柖ɡ淼囊饬x[D];清華大學(xué);2005年

5 文紅峰;論邏輯后承與邏輯真[D];湘潭大學(xué);2008年

6 聶成麗;奎因與模態(tài)邏輯的發(fā)展[D];蘇州大學(xué);2009年

7 賈改琴;知道謂詞邏輯[D];西南師范大學(xué);2005年

8 孫巖;論證評(píng)估理論探析[D];華東師范大學(xué);2006年

9 饒萍;情境語(yǔ)義學(xué)的邏輯應(yīng)用研究[D];河南大學(xué);2009年

10 王祥兵;形式化方法的理論及其影響[D];貴州大學(xué);2009年

，

本文編號(hào)：521868