目录 1
前言 1
第一章 LISP程序设计 1
§1.1 符号处理 2
一、基本概念 2
二、基本函数 5
§1.2 程序设计 32
一、显名定义 34
二、匿名定义 50
第二章 专家系统的设计原理 55
§2.1 专家系统设计的基本思想 55
§2.2 一个例子 57
一、知识库 57
二、数据库 65
三、推理机 66
四、解释部分 92
五、知识获取部分 98
§2.3 工具系统 99
一、工具系统AGE 99
二、知识获取系统KAS 99
三、知识获取系统TEIRESIAS 100
四、知识获取利用系统KAUS 100
五、工具系统RETRIEVER 101
六、工具系统ADVISE 101
§2.4 新一代专家系统 102
第三章 知识表示 106
§3.1 逻辑表示法 107
一、用逻辑表示知识 107
二、用逻辑进行推理 109
一、用语义网络表示知识 110
§3.2 语义网络表示法 110
二、语义网络匹配算法MATCHER 113
三、语义网络匹配算法的作用 123
§3.3 产生式表示法 123
§3.4 特性表表示法 123
一、用特性表表示知识 123
二、算法 125
§3.5 框架表示法 125
§3.6 过程表示法 128
第四章 不精确推理 129
§4.1 MYCIN中的不精确推理 129
一、MYCIN的推理控制 130
二、不精确推理算法 130
三、一个计算实例 136
一、主观Bayes方法的基本想法 138
§4.2 主观Bayes方法 138
二、基本算法 139
三、一个计算实例 146
§4.3 模糊集理论 152
§4.4 Dempster/Shafer的证据理论 157
一、基本理论 158
二、基本算法 163
三、一个计算实例 168
§4.5 发生率计算 171
一、纯数值结构的限制 172
二、基本理论与方法 174
三、维持一致性 178
四、另一种实现建议 181
附录 专家系统中知识库的维护 183
参考文献 189