双主体零和博弈逻辑形式系统建构及模型检测研究

发布时间：2017-07-05 12:06

  本文关键词：双主体零和博弈逻辑形式系统建构及模型检测研究

  更多相关文章： 双主体零和博弈逻辑 形式系统 μ-演算 模型检测

【摘要】：博弈逻辑是博弈论和逻辑学相交叉的一个崭新研究领域,属应用逻辑范畴。双主体零和博弈逻辑是目前国际上博弈逻辑研究的重心。在命题动态逻辑原有程序算子(;∪*)的基础上增加对偶(dual)算子d建构双主体零和博弈逻辑的形式系统;把双主体零和博弈逻辑嵌入μ-演算中,分析双主体零和博弈逻辑的语言表达力;并在对双主体零和博弈逻辑形式系统建构的基础上,研究其模型检测的复杂性,可以为双主体非零和博弈逻辑及多主体博弈逻辑的研究奠定基础。双主体零和博弈逻辑已成为拓展博弈逻辑研究的一个重要方向。
【作者单位】： 北京理工大学人文与社会科学学院;
【关键词】： 双主体零和博弈逻辑 形式系统 μ-演算 模型检测
【基金】：作者主持的北京市哲学社会科学规划项目《双主体博弈逻辑形式系统建构及模型检测研究》的成果之一(项目编号11ZXB004)
【分类号】：B81-05
【正文快照】： 双主体零和博弈逻辑是博弈逻辑的一个重要分支,也是目前国际上博弈逻辑研究的重心。目前对双主体零和博弈逻辑的研究主要是结合动态逻辑来进行的。双主体博弈逻辑就是两个各自独立决策,但策略和利益具有相互依存关系的博弈方如何合理选择策略的逻辑。零和博弈逻辑研究的是博

【共引文献】

中国期刊全文数据库 前3条

1 张峰;;论博弈逻辑[J];学术论坛;2006年03期

2 张峰;;博弈逻辑中理性人假设的困境与思考[J];学术论坛;2007年09期

3 张峰;逻辑学的新分支——博弈逻辑研究现状分析[J];哲学动态;2005年02期

中国硕士学位论文全文数据库 前3条

1 李登;博弈中的逻辑推理研究[D];燕山大学;2010年

2 金双全;终极博弈决策逻辑分析[D];浙江大学;2010年

3 赵荣盛;博弈逻辑中局中人有限理性研究[D];广西师范大学;2008年

【相似文献】

中国期刊全文数据库 前10条

1 郭锋;哥德尔不完备性定理及其证明过程的哲学解析[J];福建师范大学学报(哲学社会科学版);1991年02期

2 栾静闻;关于一阶逻辑形式系统中概括规则的注记[J];江汉大学学报;1996年06期

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

4 袁正校;论非有效推理形式的判定问题──逻辑类比法的理论基础[J];西南师范大学学报(哲学社会科学版);1994年01期

5 倪荫林;;逻辑本体问题新探[J];甘肃理论学刊;2005年06期

6 孙明湘;李建华;;论逻辑的有效性及其判定[J];湖南文理学院学报(社会科学版);2006年05期

7 熊明;演绎系统和归纳系统一一对应[J];中山大学学报(社会科学版);2003年S1期

8 马雷;亚里士多德模态三段论的形式系统[J];合肥学院学报(社会科学版);2005年01期

9 陈晓平;;辩证逻辑与形而上学——兼析形式系统Z的辩证法含义[J];华南师范大学学报(社会科学版);2005年05期

10 姚从军;;模态命题逻辑系统K、D、T、S4、S5、B之比较[J];毕节学院学报;2009年04期

中国重要会议论文全文数据库 前10条

1 张锦文;;一种弗晰逻辑的形式系统[A];全国逻辑讨论会论文选集[C];1979年

2 莫绍揆;;归纳推理的形式系统[A];1994年逻辑研究专辑[C];1994年

3 李文健;;形式化的涵义及其认识论本质[A];1993年逻辑研究专辑[C];1993年

4 张志勇;;从当代计算机的发展看什么是逻辑[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

5 林邦瑾;;够用的无衍系统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年

中国博士学位论文全文数据库 前1条

1 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年

中国硕士学位论文全文数据库 前10条

1 王三民;模糊逻辑形式系统的若干完备性定理[D];陕西师范大学;2001年

2 张琼;BL_△~*形式系统与NM（?）形式系统的研究[D];陕西师范大学;2010年

3 胡明娣;逻辑代数上的滤子及反向三I算法统一形式的研究[D];陕西师范大学;2008年

4 唐芳芳;哥德尔定理的意义[D];清华大学;2005年

5 文红峰;论逻辑后承与逻辑真[D];湘潭大学;2008年

6 聂成丽;奎因与模态逻辑的发展[D];苏州大学;2009年

7 贾改琴;知道谓词逻辑[D];西南师范大学;2005年

8 孙岩;论证评估理论探析[D];华东师范大学;2006年

9 饶萍;情境语义学的逻辑应用研究[D];河南大学;2009年

10 王祥兵;形式化方法的理论及其影响[D];贵州大学;2009年

，

本文编号：521868