图书介绍
现代认知逻辑的理论与应用pdf电子书版本下载
- 郭美云著 著
- 出版社： 北京：科学出版社
- ISBN：9787030287465
- 出版时间：2010
- 标注页数：250页
- 文件大小：12MB
- 文件页数：265页
- 主题词：认知逻辑
PDF下载
下载说明
现代认知逻辑的理论与应用PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
1 认知逻辑的基础理论 1
1.1 基本的模态逻辑系统 1
1.1.1 基本模态语言？□ 1
1.1.2 基本模态语言的解释——框架与模型 3
1.1.3 正规模态逻辑 6
1.2 单主体的认知模态逻辑PK与PB 12
1.2.1 单主体的认知模态语言？KB 12
1.2.2 认知逻辑系统PK和PB 16
1.2.3 PK与PB系统的可靠性和完全性 18
1.3 多主体的认知逻辑初步 24
1.3.1 由单主体系统向多主体系统的扩展 24
1.3.2 普遍知识、公共知识与分布式知识 26
1.3.3 举例——泥孩难题 28
2 时态认知逻辑 30
2.1 时态逻辑 31
2.1.1 基本时态命题逻辑 31
2.1.2 S,U时态命题逻辑系统 34
2.2 时态化逻辑系统的方法 38
2.2.1 时态化任意一个正规逻辑系统 38
2.2.2 T（L）的完全性 40
2.2.3 T（L）的可判定性 44
2.3 时态认知逻辑系统Kt（S5） 45
3 群体知识和多主体认知逻辑 49
3.1 多主体认知逻辑概述 50
3.2 分布式知识 54
3.2.1 分布式知识概念的提出 54
3.2.2 联合知识与隐含知识——分布式知识的形式化分析 56
3.2.3 完全交流原则与完全交流模型 59
3.2.4 互模拟和群体知识 62
3.3 带有群体知识的多主体认知逻辑S5B m（RC,D,E） 65
3.3.1 相对化公共知识 65
3.3.2 语言和语义 66
3.3.3 公理系统 67
3.3.4 完全性证明 70
4 动态认知逻辑的基础系统——公开宣告逻辑 77
4.1 公开宣告与逻辑模型 79
4.1.1 从过程看推理 79
4.1.2 公开宣告和信息流动 80
4.1.3 公开宣告和模型变化 82
4.2 公开宣告逻辑PAL 85
4.2.1 语言和语义 85
4.2.2 公理系统 90
4.2.3 完全性证明 91
4.2.4 关于公开宣告逻辑PAL 92
4.3 带有群体知识的公开宣告逻辑PAL（RC,D,E） 93
4.3.1 语言和语义 93
4.3.2 公理系统 96
4.3.3 完全性证明 97
4.4 应用分析 101
4.4.1 泥孩难题再分析 101
4.4.2 和积之谜 103
4.4.3 意外考试难题 105
5 博弈逻辑 109
5.1 逻辑与博弈 109
5.1.1 博弈论的基本概念 109
5.1.2 逻辑与博弈的关系 115
5.2 带有偏好的博弈逻辑 119
5.2.1 形式定义 120
5.2.2 语形与语义 122
5.2.3 公理系统及其可靠性 124
5.3 扩展式博弈逻辑 127
5.3.1 具有完美信息的扩展式博弈 128
5.3.2 扩展式博弈逻辑系统 133
5.3.3 纳什均衡的PDL刻画 141
5.4 公开宣告逻辑在博弈中的应用 145
5.4.1 重复剔除的占优均衡 145
5.4.2 重复剔除严格劣策略算法的逻辑刻画 148
6 信念修正的动态逻辑 156
6.1 经典的信念逻辑 157
6.1.1 信念逻辑系统SKD45 157
6.1.2 信念修正的AGM理论 159
6.2 静态的信念修正逻辑系统SSBR 161
6.2.1 顺序条件函数 162
6.2.2 系统SSBR的语言及语义 166
6.2.3 系统SSBR的证明系统 167
6.2.4 SSBR系统的可靠性和完全性 169
6.3 动态的信念修正逻辑系统SDBR 172
6.3.1 更新模型 172
6.3.2 SDBR的系统 175
6.3.3 SDBR系统完全性的证明 177
6.3.4 与AGM理论作比较 178
7 非逻辑全知主体的逻辑 180
7.1 逻辑全知问题概述 180
7.1.1 逻辑全知的不同表现形式 180
7.1.2 逻辑全知问题的解决途径 181
7.2 非标准语义结构 183
7.3 不可能世界模型 185
7.3.1 不可能世界 185
7.3.2 Lévesque的隐性和显性信念逻辑 187
7.4 觉知逻辑 190
7.5 Montague-Scott邻域语义 192
7.5.1 Montague-Scott语义模型 192
7.5.2 局部推理模型 194
7.6 动态认知的方法 195
8 非单调逻辑和缺省逻辑 200
8.1 知识与常识 200
8.2 推理的单调性与非单调性 202
8.3 非单调逻辑 205
8.3.1 非单调逻辑及其研究方法 205
8.3.2 非单调逻辑的元理论性质 209
8.4 常识与缺省规则 210
8.5 缺省逻辑的语形 214
8.6 缺省理论及其扩张 218
8.6.1 缺省理论扩张的定义 218
8.6.2 缺省理论扩张的性质 225
8.7 缺省逻辑的语义 228
8.8 对缺省逻辑的进一步认识 230
参考文献 233
附录 命题逻辑与一阶谓词逻辑 242
附录1 命题语言？P与一阶谓词语言？Q 242
附录2 语义理论 244
附录3 一阶逻辑演算系统Q 246