本书首先揭示了博弈与逻辑之间的联系,介绍了博弈理论中关于博弈认知问题的背景知识。其次,讨论了建构博弈认知模型的基本途径,分析了静态博弈中理性主体信息交换推理问题,以及几种建构完美信息动态博弈解(子博弈精炼均衡)的认知基础的逻辑系统。再次,联合几类不同描述主体信息跟新技术,示例化说明了基于Kripke-关系语义模型建构认知(信念)森式模型的基本途径和方法。最后,利用DEMOGAME检测通过公开宣告化简博弈模型方法的有效性,拓展了动态认知模型检测工具DEMO的应用领域。
样章试读
目录
- 目录
丛书序
前言
第一章 逻辑视野中的博弈 1
第一节 博弈逻辑 1
第二节 博弈中的认知信息 5
第三节 小结 11
第二章 博弈论基础知识 12
第一节 静态博弈模型——策略式博弈 13
第二节 策略式博弈中各类博弈解 15
第三节 动态博弈模型一扩展式博弈 23
第三章 博弈中主体的信息 32
第一节 博弈的信息场景 33
第二节 Kripke-关系语义模型 36
第三节 小结 54
第四章 静态博弈中的理性主体 56
第一节 博弈解与理性 56
第二节 关于理性的统一认知刻画模型 59
第三节 两类博弈解认知刻画理论的比较分析 71
第四节 小结 79
第五章 动态博弈中的理性主体 81
第一节 Aumann-理性的公共知识与SPE解 82
第二节 Stalnaker-理性的公共知识与SPE解 85
第三节 BI算法中的认知悖论 88
第四节 Baltag动态化理性和坚定信念 89
第五节 Bonanno动态化信念框架 94
第六节 效力认知模型 98
第七节 小结 103
第六章 博弈主体信息的动态化 107
第一节 主体信息的动态更新机制 108
第二节 完美记忆 114
第三节 完美记忆的逻辑刻画 116
第四节 实际博弈中主体的动态认知机制 121
第五节 小结 129
第七章 动态认知模型检测 131
第一节 引言 131
第二节 DEMOGAME的介绍 131
第三节 拓展DEMOGAME 136
第四节 基于DEMOGAME验证不同算法结果 149
第五节 小结 152
结论 154
参考文献 158
附录 166