《专家系统原理与设计 人工智能语言PROLOG》求取 ⇩

目录1

第一篇 PROLOG语言1

第一章 PROLOG三个基本语句1

§1.1实例1

§1.2事实2

§1.3规则3

§1.4询问3

第二章 PROLOG的回溯及其控制6

§2.1回溯6

§2.2关于cut操作7

第三章 PROLOG数据结构及语法17

§3.1项17

§3.2结构和树18

§3.3表19

§3.4由表的例题看程序的递归性20

§3.5PROLOG语法的形式描述24

第四章 PROLOG内部谓词26

§4.1输入与输出26

§4.2程序的修改29

§4.3结构成分的建立与获取33

§4.4影响回溯及其他36

§4.5项的分类37

§4.6运算符及关系比较符38

§4.7监视PROLOG工作39

§5.1表处理40

第五章 PROLOG程序设计实例40

§5.2数学运算43

§5.3问题求解54

§5.4PROLOG程序设计应注意的一些技术问题64

第六章 PROLOG的理论基础及设计原理66

§6.1谓词演算简介66

§6.2子句形式67

§6.3子句的表示方法71

§6.4归结原理和定理证明72

§6.5Horn子句74

§6.6PROLOG逻辑程序设计75

§6.8附录TurboPROLOG简介78

§6.7PROLOG的控制策略78

第二篇 专家系统原理与设计82

第七章 专家系统基本原理与结构82

§7.1概述82

§7.2专家系统基本结构85

§7.3一个示意性专家系统的例子88

第八章 专家系统中的知识表示99

§8.1概述99

§8.1.1什么是知识99

§8.1.2知识的种类100

§8.1.3知识表示的类型及要求101

§8.1.4几种典型的知识表示方法102

§8.2.1谓词逻辑103

§8.2逻辑表示法103

§8.2.2谓词逻辑的推理104

§8.3语义网表示法106

§8.3.1语义网106

§8.3.2性质继承及语义网的推理107

§8.3.3格框架表示法109

§8.3.4is＿a意味着什么109

§8.3.5语义网的特征111

§8.4产生式系统111

§8.4.1产生式系统的结构与工作原理111

§8.4.2竞争消解策略112

§8.4.3一个典型的产生式系统一一OPS5简介112

§8.4.4一个示意性产生式系统实例及其实现115

§8.4.5产生式系统的主要特点117

第九章 知识的结构化表示——框架表示法119

§9.1框架的基本原理119

§9.2槽的扩充122

§9.3框架的数据结构124

§9.4框架系统的推理机制126

§9.5框架中的多重继承问题128

§9.6用PROLOG实现框架系统130

§9.框架表示法的特点140

第十章 专家系统中的推理142

§10.1推理方向142

§10.2一个正向推理系统——简化OPS5的实现150

§10.3不精确推理155

第十一章 专家系统中的解释接口165

§11.1预制文本和执行追踪法166

§11.2策略解释法169

§11.3自动程序员法173

§11.4解释接口的实现176

第十二章 搜索的控制与专家系统工具189

§12.1推理方向的选择189

§12.2知识与数据的影响190

§12.3大搜索空间问题191

§12.4协同操作问题193

§12.5典型系统列表198

§12.6专家系统开发工具206

第十三章 类似MYCIN专家系统外壳APMES213

第三篇 PROLOG实现的专家系统实例213

§13.1APMES的结构214

§13.2APMES的应用214

第十四章 用TurboPROLOG实现的分类专家系统外壳GENI235

第十五章 专家系统与数据库的结合——PROLOG与dBASE的连接252

§15.1PROLOG直接读取dBASE数据文件254

§15.2用dBASE存贮管理PROLOG事实267

§15.3PROLOG+dBASE构成演绎数据库271

§15.4用自然语言查询dBASE数据库277

第十六章 IBM-PC机故障诊断专家系统——PCDOCTOR314

§16.1系统概述314

§16.2PCDOCTOR的实现315