- 作 者：（英）T·雷蒙德著；赵沁平译
- 出 版 社：北京：北京大学出版社
- 出版年份：1990
- ISBN：7301010206
- 注意：在使用云解压之前，请认真核对实际PDF页数与内容!
在线云解压
价格(点数)
购买连接
说明
转为PDF格式
7
（在线云解压服务）
云解压服务说明
1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。
云解压下载及付费说明
1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
目录 1
第一章 导论 1
§1.1非标准逻辑 1
§1.2计算机科学中的非标准逻辑 2
§1.3人工智能中的非标准逻辑 3
§1.4经典一阶逻辑 4
第二章 模态词与动态逻辑 9
§2.1模态逻辑 9
§2.2模态逻辑的计算解释 13
§2.3一个简单的程序设计语言 14
§2.4动态逻辑 16
§2.5知道和动作的理论 20
第三章 3－值逻辑及其计算解释 25
§3.1引言 25
§3.2三种3－值逻辑 25
§3.3单调性 31
§3.4严格性 35
第四章 直觉主义逻辑：Martin-L？f的类型理论 38
§4.1直觉主义 38
§4.2逻辑常元的直觉主义解释 40
§4.3类型理论的语言 44
§4.4判断与推理规则 46
§4.5类型理论作为程序设计语言 49
第五章 面向非单调推理的语义理论 56
§5.1非单调推理 56
§5.2非单调模态理论 59
§5.3非单调逻辑的直觉基础 63
§5.4部分模型与不完全信息 67
§5.5自动认知逻辑（AutoepistemicLogic） 72
第六章 人工智能中的时态逻辑 78
§6.1引言 78
§6.2时态逻辑 80
§6.3两个专题研究 85
§6.4事件与时刻 91
§6.5时态逻辑，规范说明和验证 94
第七章 模糊逻辑与专家系统 106
§7.1模糊化 106
§7.2模糊集合论 107
§7.3多值逻辑 109
§7.4模糊逻辑 111
§7.5专家系统中的模糊逻辑与模糊集合论 116
第八章 其它逻辑及未来的前景 122
§8.1其它逻辑 122
§8.2前景 124