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

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

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

【共引文獻】

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

1 張峰;;論博弈邏輯[J];學術論壇;2006年03期

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

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

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

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

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

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

【相似文獻】

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

1 郭鋒;哥德爾不完備性定理及其證明過程的哲學解析[J];福建師范大學學報(哲學社會科學版);1991年02期

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

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

4 袁正校;論非有效推理形式的判定問題──邏輯類比法的理論基礎[J];西南師范大學學報(哲學社會科學版);1994年01期

5 倪蔭林;;邏輯本體問題新探[J];甘肅理論學刊;2005年06期

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

7 熊明;演繹系統(tǒng)和歸納系統(tǒng)一一對應[J];中山大學學報(社會科學版);2003年S1期

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

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

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

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

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

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

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

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

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

6 楊子京;;從開放的角度看悖論問題[A];1996年邏輯研究專輯[C];1996年

7 楊子京;;從事物作用、反作用的辯證關系看“悖論”與“開放”的意義[A];邏輯今探——中國邏輯學會第五次代表大會暨學術討論會論文集[C];1996年

8 吳允曾;;關于形式化的幾個問題[A];金岳霖學術思想研究——金岳霖學術思想研討會論文集[C];1985年

9 朱建平;;從語形學、語義學到語用學[A];2000年邏輯研究專輯[C];2000年

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

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

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

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

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

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

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

4 唐芳芳;哥德爾定理的意義[D];清華大學;2005年

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

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

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

8 孫巖;論證評估理論探析[D];華東師范大學;2006年

9 饒萍;情境語義學的邏輯應用研究[D];河南大學;2009年

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

，

本文編號：521868