- 作 者：刘凤歧，陈耀新编著
- 出 版 社：长沙：国防科技大学出版社
- 出版年份：1987
- ISBN：7810240129
- 标注页数：375 页
- PDF页数：383 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源383 ≥375页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
目 录 1
第一章导言 1
第二章符号逻辑导引 12
2.1命题逻辑 12
2.2一阶逻辑 16
2.3逻辑推论 25
2.4符号逻辑中的标准型 27
2.5一阶逻辑的应用 33
第三章Herbrand定理 36
3.1 Skolem标准型 36
3.2 Herbrand解释 43
3.3语义树 49
3.4 Herbrand定理 52
3.5 Herbrand定理的实现 55
4.1命题逻辑的归结原理 61
第四章归结原理 61
4.2取代和一致化 64
4.3一致化算法 67
4.4一阶逻辑的归结原理 71
4.5归结原理的完全性 76
4.6 归结原理应用示例 80
4.7删除策略 84
5.1语义归结导引 91
第五章语义归结 91
5.2语义归结的定义 94
5.3语义归结的完全性 97
5.4超归结和支撑集合策略——语义归结的特殊情况 99
第六章Horn短句与逻辑程序 104
6.1 Horn短句的归结原理 104
6.2输入反驳 110
6.3单位反驳 113
6.4逻辑程序 116
7.1基本语法 134
第七章Micro-PROLOG 134
7.2扩充Horn短句 141
7.3表格处理与语法分析 154
7.4某些语用考虑 165
7.5元逻辑程序设计 174
7.6 Micro-PROLOG的标准语法 184
第八章专家系统的实现 196
8.1专家系统导引 196
8.2 MYCIN的不精确推理 204
8.3知识表示和人－机交互 217
8.4实现解释功能 225
8.5专家系统外壳APES 235
8.6在法律中的应用 254
第九章逻辑程序的若干问题 265
9.1不确定性 265
9.2“当”型定义 272
9.3可证明性关系 282
9.4信息吸收 292
第十章逻辑程序的语义 299
10.1过程语义 299
10.2模型论语义 301
10.3不动点语义 304
10.4模型论语义和不动点语义 306
10.5过程语义和不动点语义 307
11.1 与－并行——单解关系 312
第十一章PARLOG：并行逻辑程序设计 312
11.2惰性计算和受限缓冲器进程 328
11.3或－并行——全解关系 337
11.4元级程序设计 344
11.5结语 346
第十二章综述 347
12.1计算理论 347
12.2计算实践 353
12.3计算技术 365