- 作 者：裴珉等编著
- 出 版 社：西安：西北工业大学出版社
- 出版年份：1991
- ISBN：7561203667
- 标注页数：322 页
- PDF页数：332 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源332 ≥322页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
绪论 1
目录 1
第一篇 逻辑程序的基础——数理逻辑 4
第一章 命题演算 4
§1.1 命题与结构 4
§1.2 命题公式及其解释 6
§1.3 命题公式的性质 7
§1.4 范式 9
§1.5 逻辑推理理论 10
第二章 谓词 13
§2.1 谓词和量词 13
§2.2 一阶谓词公式及其解释 15
§2.3 前束范式和等价公式 17
§2.4 一阶谓词演算的推理理论 19
§3.1 逻辑的子句型 22
第三章 逻辑的子句型 22
§3.2 逻辑的标准型到子句型的转换 24
§3.3 归结原理 27
§3.4 Horn子句 31
第二篇 逻辑程序 33
第四章 逻辑程序的基本结构 33
§4.1 事实语句与询问语句 34
§4.2 变量 36
§4.3 存在询问与全称事实 37
§4.4 合取询问和共享变量 38
§4.5 规则语句 39
§4.6 一个简易的抽象解释器 41
§4.7 逻辑程序的含义 44
§4.8 小结 45
§5.1 简单的数据库 46
第五章 数据库程序设计 46
§5.2 结构化的数据和数据抽象 50
§5.3 递归规则 54
§5.4 逻辑程序和关系数据库模型 55
第六章 递归程序设计 57
§6.1 算术 57
§6.2 表 64
§6.3 递归程序的组成 71
§6.4 二叉树 75
§6.5 符号表达式的运算和处理 78
第七章 逻辑程序的计算模型 84
§7.1 合一 84
§7.2 逻辑程序的抽象解释程序 87
第八章 逻辑程序理论 93
§8.1 语义 93
§8.2 程序的正确性 94
§8.3 复杂性 95
§8.4 搜索树 96
§8.5 逻辑程序设计中的否定 98
§8.6 逻辑程序与自动编程 99
第三篇 Prolog语言 102
第九章 纯Prolog语言及其程序设计 102
§9.1 Prolog的计算模型 102
§9.2 Prolog与传统程序语言的比较 105
§9.3 纯Prolog的程序设计 107
§9.4 纯Prolog的递归程序设计 114
§9.5 Prolog的起源与发展 119
第十章 算术 121
§10.1 算术系统谓词 121
§10.2 算术逻辑程序 122
§10.3 递归转化为迭代 123
§11.1 类型谓词——项分类 130
第十一章 结构检验 130
§11.2 存取复合项 132
第十二章 元逻辑谓词 139
§12.1 元逻辑类型谓词 139
§12.2 比较非基项 143
§12.3 变量作为对象 144
§12.4 元变量 146
第十三章 截断算子和否定 147
§13.1 绿色截断算子：表示确定性 147
§13.2 尾递归优化 151
§13.3 否定 152
§13.4 红色截断算子：省略明显的条件 155
§13.5 缺省规则 158
第十四章 外逻辑谓词 160
§14.1 输入／输出 160
§14.2 程序的存取和处理 162
§14.3 记忆函数（Memo—function） 164
§14.4 交互程序 165
§14.5 失败驱动的循环 170
第十五章 语用学 172
§15.1 Prolog程序的效率 172
§15.2 编程技巧 175
§15.3 编程风格和布局 178
§15.4 程序的研制 179
第四篇 Prolog高级程序设计技术 182
第十六章 非确定性程序设计 182
§16.1 产生和测试 182
§16.2 “不管”（don’t-care）或“不知”（don’t-know）的一类非确定性 191
§16.3 模拟非确定性计算模型 197
§16.4 几个古典的人工智能题目：ANALOGY，ELIZA和McSAM 200
§17.1 差异表（difference-structures） 209
第十七章 不完全数据结构 209
§17.2 差异结构 215
§17.3 字典 216
§17.4 队（Queues） 218
第十八章 用确定性子句文法的语法分析 220
第十九章 二阶编程 227
§19.1 集合表达式 227
§19.2 集合表达式的应用 231
§19.3 其它二阶谓词 238
第二十章 搜索技术 241
§20.1 状态空间图的搜索 241
§20.2 搜索游戏树 250
第二十一章 元解释器 256
§21.1 简单的元解释器 256
§21.2 适用于专家系统的扩展元解释器 262
§21.3 用于调试的增强型的元解释器 270
第五篇 应用 278
第二十二章 逻辑智力游戏程序 278
§22.1 精密码智力游戏 278
§22.2 拾火柴棍游戏Nim 281
§22.3 Tic-Tac-Toe游戏 285
§22.4 S先生与P先生谜题 290
§22.5 骑士周游问题——试探与回溯 294
第二十三章 信贷评估专家系统 298
第二十四章 方程求解程序 305
§24.1 方程求解概述 305
§24.2 因子分解 306
§24.3 分离法 307
§24.4 多项式方法 316
§24.5 齐次化 318