现代认知逻辑的理论与应用PDF格式文档图书下载
- 购买点数:10 点
- 作 者:郭美云著
- 出 版 社:北京:科学出版社
- 出版年份:2010
- ISBN:9787030287465
- 标注页数:250 页
- PDF页数:265 页
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
- 《决策、博弈与认知 归纳逻辑的理论与应用》任晓明,陈晓平等著 2014
- 《认知信息的逻辑理论与应用研究》何向东,李章吕等著 2019
- 《现代认知逻辑的理论与应用》郭美云著 2010
- 《人类的心智与认知 当代认知科学重大理论与应用研究》蔡曙山主编;江铭虎副主编 2016
- 《逻辑、语言和认知》(荷)约翰·范本特姆著 2009
- 《数字营造 建筑设计·运算逻辑·认知理论》李大夏名誉主编;陈寿恒等主编 2009
- 《自然计算与网络状态认知和流量控制》王辉著 2016
- 《逻辑、语言与认知》黄华新等著 2019
- 《认知逻辑新发展》弓肇祥著 2004
- 《变革的逻辑 中国经济转轨的实践认知与理论思辨》吕炜著 2013
- 《油田开发》(苏)日尔托夫(Жeлтов,Ю.П.)著;郭美云,栾志安译 1992
- 《近代天津商会》宋美云著 2002
- 《原色 第5辑》朱美云著 1995
- 《三里原》朱美云著 1995
- 《同类》朱美云著 1996
- 《瘗鹤铭石刻考证》刘建国,潘美云著 2006
- 《穿越峡谷的歌吟》李美云著 2006
- 《唐伎研究》廖美云著 1995
- 《朱熹论三苏之学》涂美云著 2006
- 《元白新乐府研究》廖美云著 1989
- 《Townsend Press 英语词汇学习丛书 英语词汇入门 第2版》(美)纳代尔(Nadell.J)等编著 2018
- 《THE GOVERNMENT/PRESS CONNECTION PRESS OFFICERS AND THEIR OFFICES》STEPHEN HESS 1984
- 《PRESS》POLITICS & PUBLIC OPINION IN BIHAR 1912-1947 2010
- 《Press law》Robin Callender Smith. 1978
- 《SUING THE PRESS》RODNEY A.SMOLLA 1986
- 《THE PRESS AND AMERICA》 2222
- 《FREEDOM OF THE PRESS》ERIC BARENDT 2009
- 《FREEDOM OF THE PRESS》ROB EDELMAN 2006
- 《FREEDOM OF THE PRESS》DAVID L.GEBERT 2005
- 《Racism and the press》Teun A.van Dijk 2016