图书介绍
现代认知逻辑的理论与应用PDF|Epub|txt|kindle电子书版本网盘下载
- 郭美云著 著
- 出版社： 北京：科学出版社
- 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与PB12
1.2.1 单主体的认知模态语言？KB12
1.2.2 认知逻辑系统PK和PB16
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 公开宣告逻辑PAL85
4.2.1 语言和语义85
4.2.2 公理系统90
4.2.3 完全性证明91
4.2.4 关于公开宣告逻辑PAL92
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 信念逻辑系统SKD45157
6.1.2 信念修正的AGM理论159
6.2 静态的信念修正逻辑系统SSBR161
6.2.1 顺序条件函数162
6.2.2 系统SSBR的语言及语义166
6.2.3 系统SSBR的证明系统167
6.2.4 SSBR系统的可靠性和完全性169
6.3 动态的信念修正逻辑系统SDBR172
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与一阶谓词语言？Q242
附录2 语义理论244
附录3 一阶逻辑演算系统Q246