《知识工程》求取 ⇩

目录1

第一章 绪论1

1.1 知识和智能1

1.2 知识工程是一门新兴的边缘学科2

1.3 知识工程是智能计算机的理论基础2

1.4 知识工程是新技术革命的重要工具3

1.5 知识工程和思维科学4

1.6 知识工程研究的基础课题6

参考文献8

第二章 知识工程的逻辑基础9

2.1 合适公式9

2.2 形式推理规则10

2.3 前束范式13

2.4 公式转化13

2.5 归结原理15

2.6 置换和合15

参考文献17

3.1 知识处理语言18

第三章 面向知识工程的语言18

3.2 LISP19

3.2.1 语言概况20

3.2.2 基本LISP函数22

3.2.3 LISP程序举例——皇后问题27

3.3 PROLOG29

3.3.1 文法规则及数据结构29

3.3.2 程序30

3.3.4 PROLOG的程序设计技术33

3.3.3 内部谓词33

参考文献34

第四章 知识表示35

4.1 逻辑模式35

4.2 框架36

4.3 语义网络38

4.4 产生式系统40

4.5 过程模式43

4.6 状态空间搜索模式43

4.7 知识表示语言44

4.7.1 KRL44

参考文献45

4.7.2 MIRROR45

第五章 搜索策略47

5.1 深度优先搜索法47

5.2 广度优先搜索法48

5.3 爬山法48

5.4 回溯策略49

5.5 图搜索策略50

5.6 启发式搜索策略52

5.6.1 估价函数52

5.6.2 算法A53

5.6.3 估价函数的启发能力54

5.7 与或图搜索54

5.8 博弈树搜索56

5.8.1 极大极小法57

5.8.2 α-β过程57

5.8.3 α-β过程的搜索效率60

参考文献60

第六章 推理机制61

6.1 三段论61

6.2 归结反演系统62

6.3.1 正向演绎系统64

6.3 基于规则的演绎系统64

6.3.2 逆向演绎系统65

6.3.3 正向和逆向联合演绎系统65

6.4 归纳推理65

6.4.1 简单枚举法65

6.4.2 类比推理66

6.5 不精确推理66

参考文献69

7.1 学习模型70

第七章 知识获取和机器学习70

7.2 机械学习73

7.3 指导学习75

7.4 实例学习77

7.5 类推学习83

7.6 发现学习系统AM85

7.6.1 AM的体系85

7.6.2 AM和学习的双空间观点87

7.6.3 AM的初始知识库90

7.7 知识获取系统91

7.7.1 元推理和演绎机制92

7.7.2 归纳机制95

7.7.3 知识同化98

7.7.4 知识调节98

参考文献100

第八章 知识库系统101

8.1 数据库系统101

8.2 逻辑关系型数据库系统101

8.3 DEDUCE的演绎原理102

8.4 XDB演绎数据库系统106

8.5 INGRES演绎数据库系统109

8.6 知识库管理系统113

参考文献114

第九章 专家系统115

9.1 概述115

9.2 化学专家系统——DENDRAL116

9.2.1 启发式DENDRAL系统116

9.2.2 CONGEN系统和它的扩展120

9.2.3 元DENDRAL系统120

9.3 医学专家系统——MYCIN122

9.3.1 系统知识123

9.3.2 控制结构126

9.3.3 信任度计算模型129

9.3.4 知识获取131

9.3.5 一个咨询例子132

9.3.6 其它医学专家系统133

9.4 地质勘探专家系统——PROSPECTOR136

9.4.1 推理网络137

9.4.2 似然推理模型141

9.5.1 EMYCIN152

9.5 专家系统开发环境152

9.5.2 AGE153

参考文献154

第十章 决策支持系统155

10.1 决策分析155

10.2 决策方法156

10.2.1 风险情况下的决策156

10.2.2 不确定情况下的决策标准158

10.3 决策支持系统概述159

10.4 决策支持系统的构成161

10.4.3 问题处理系统162

10.4.1 语言系统162

10.4.2 知识系统162

10.5 决策支持系统的开发163

10.6 决策支持系统的开发系统166

参考文献168

第十一章 自然语言理解169

11.1 自然语言理解的发展169

11.2 机器翻译172

11.3.1 语法分析177

11.3 自然语言处理的主要方法177

11.3.2 语义结构178

11.3.3 语用学179

11.4 自然语言处理系统180

11.4.1 LUNAR180

11.4.2 SHRDLU181

11.4.3 MARGIE183

11.5 自然语言的逻辑语法186

11.6 认知心理学和认知语言学187

参考文献189

12.1 新一代计算机191

第十二章 新一代计算机和知识库机191

12.2 数据流计算机194

12.2.1 基本概念195

1 2.2.2 数据流机器的模型系统196

12.2.3 数据流多机系统及其互联网络200

12.3 LISP计算机202

12.3.1 MIT的CONS/CADR机203

12.3.2 日本电子技术综合研究所的LISP机204

12.3.3 MIT的Scheme-79机207

12.4.1 基于归约机制的并行推理机（PIM-R）208

12.4 并行推理机208

12.4.2 基于数据流机制的并行推理机（PIM-D）209

12.5 数据库计算机210

12.5.1 高速数据处理技术210

12.5.2 数据库计算机的分类211

12.6 知识库机212

12.6.1 Delta的体系212

12.6.2 RSP子系统215

1 2.6.3 HM子系统216

参考文献216