论双主体博弈逻辑.pdfVIP

2011 年第6 期 北方民族大学学报(哲学社会科学版) No.6 ,2011 总第 102 期 Jou17UlI 0/ 8eifai吨 University 0/ Natwnaliti白 Gen. No. 1 但 论双主体博弈逻辑 张峰 (北京理工大学人文与社会科学学院，北京 10∞81) 摘 要:双主体博弈逻辑是目前国际上博弈逻辑研究的重心。结合动态逻辑研究双主体博弈逻辑 已经成为国际上双主体博弈逻辑研究的主要趋势。目前，国际学界对双主体零和博弈逻辑的形式系统 进行了初步建构，并对双主体零和博弈逻辑模型检测的复杂性进行了探索，而对双主体非零和博弈逻辑 的研究才刚刚开始。 关键词:博弈逻辑:双主体零和博弈逻辑:双主体非零和博弈逻辑 中图分类号:881 文献标志码:A 文章编号:1674 -6627(2011)06 -0134 -03 博弈逻辑是博弈论和逻辑学交叉的一个新的研究领域，属于应用逻辑范畴。著名的国际逻辑 期刊《逻辑研究)(Studia Logica) 在2∞3 年 11 月出版了博弈逻辑专刊，发表了系列论文，标志着博 弈逻辑作为-个新的研究领域在国际学术界得到公认。双主体博弈逻辑作为博弈逻辑的一个分 支，是近年来国际上博弈逻辑研究的重心。 一、双主体博弈逻辑的概念及分类 双主体博弈逻辑就是两个各自独立决策但策略和利益具有相互依存关系的博弈方如何合理选 择策略的逻辑。双主体博弈逻辑有三个基本假定:博弈双方是理性的，即参与者努力使自己的得益 最大化;博弈双方相互了解;博弈双方都知道上述假定。其主要研究对象为双主体博弈中的推理 问题。 双主体博弈参与者的利益不仅取决于自己的行动，同时取决于另一参与者的行动。根据博弈 双方得益之和的特征，双主体博弈逻辑可以分为双主体零和博弈逻辑和双主体非零和博弈逻辑。 在零和博弈中，博弈方的利益是完全相反的，没有任何调和的余地。而在非零和博弈逻辑中，博弈 方的利益不是完全相反的，而是部分一致部分矛盾的，在不同策略组合下各博弈方的得益之和往往 是不同的。 二、双主体博弈逻辑的研究现状 目前，国外对双主体博弈逻辑的研究尚处于初期。近年来，结合动态逻辑研究双主体博弈逻辑 已经成为国际上双主体博弈逻辑研究的主要趋势，主要代表人物是纽约城市大学教授帕里克(Ro­ hit Parikh) 、法国学者波利(Marc Pauly) 、德国 RWTH Aachen 大学计算机系的 Dietmar BeIWanger 教 收摘自期:2011 -08-30 基金项目:北京市哲学社会科学规划项目双主体博弈逻辑形式系统建构与模型检测研究(llZX政阳) 作者简介:张峰(1975 -).女，内蒙古丰镇人，北京理工大学人文与社会科学学院副教授，博士，主要从事现代 逻辑研究。 134 授和荷兰阿姆斯特丹大学教授约翰·范·本瑟姆(Johan van Benthem) 。 帕里克是最早研究博弈逻辑的学者，他的主要贡献在于把命题动态逻辑(PDL) 扩展为双主体 博弈逻辑。近年来他致力于双主体零和博弈逻辑形式系统的建梅、完善反应用方面[1] 。他指出双 主体零和博弈逻辑的语言由博弈和命题两类构成。给定 r。为原子博弈集，φ。是原子命题集，可以 定义博弈γ 和命题ψ 的语法形式，产生了博弈集 r 和命题集 φ。他在定义双主体零和博弈模型 M 的基础上，定义了双主体零和博弈逻辑的语义，并提出了双主体零和博弈逻辑公理系统的推理规 则，即分离规则、单调性规则和不动点规则。 波利近年来侧重于双主体零和博弈逻辑与克里普克模型上的博弈逻辑的比较研究，分析了双 主体博弈推理与程序推理的不同之处。波利对双主体零和博弈逻辑的弱完全性定理给出了证明， 即不带有迭代算子·的双主体零和博弈逻辑 GL. 对所有双主体零和博弈模型类是完全的[2] ，并初 步分析了双主体零和博弈逻辑模型枪测的复杂性，推进了帕里克的研究工作。但是关于有迭代算 子·的双主体零和博弈逻辑对所有双主体零和博弈模型类是完全的证明，仍然是一个未解决的技 术问题。