- 作 者：周昌乐编著
- 出 版 社：清华大学出版社；广西科学技术出版
- 出版年份：2001
- ISBN：7302044775
- 标注页数：313 页
- PDF页数：326 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源326 ≥313页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第一章 引论 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