第一章 引论 1
1.1 从多元的观点看逻辑 1
1.2 认知逻辑发展简史 3
1.3 认知模态词及其命题形式 5
1.4 认知逻辑在人工智能中的应用 7
第二章 模态逻辑基础 10
2.1 可能世界语义学 10
2.2 模态命题逻辑 14
2.3 命题时态逻辑 25
2.4 模态谓词逻辑 35
习题 48
第三章 断定逻辑系统 52
3.1 断定模态及其性质 52
3.2 断定逻辑系统 55
3.3 断定逻辑系统间的关系 62
3.4 断定逻辑的深入课题 65
习题 68
第四章 知道逻辑系统 70
4.1 知道逻辑语言和语义 70
4.2 基本知道逻辑系统 75
4.3 知道逻辑系统及其性质 83
4.4 约简知识模型 87
4.5 公共知识模型 97
习题 114
第五章 信念逻辑系统 121
5.1 信念逻辑形式 121
5.2 逻辑万能问题 123
5.3 隐式和显式信念 128
5.4 融合信念模型 133
习题 138
第六章 广义认知逻辑 144
6.1 知识结构理论 144
6.2 信念推导模型 153
6.3 认知综合系统 159
6.4 量级认知逻辑 167
6.5 一阶认知逻辑 177
习题 181
第七章 认知状态逻辑 182
7.1 非单调推理概论 182
7.2 优先推理模型 186
7.3 认知状态理论 191
7.4 自知逻辑系统 207
习题 223
第八章 认知缺省推理 228
8.1 普通认知缺省推理 228
8.2 动态认知缺省逻辑 242
8.3 认知缺省衍推理论 252
8.4 反事实认知推理 260
习题 272
第九章 应用 276
9.1 怀疑论的逻辑反驳 276
9.2 智能分布式系统 280
9.3 通信协议的逻辑验证 288
9.4 基于知识的行动规划 293
参考文献 300