专家系统 原理与编程 原书第4版PDF电子书下载

第1章 专家系统导论 1

1.1 概述 1

1.2 专家系统的定义 1

1.3 专家系统的优点 5

1.4 专家系统的基本概念 5

1.5 专家系统的特点 7

1.6 专家系统技术的发展 8

1.7 专家系统的应用与领域 12

1.8 语言、外壳、工具 15

1.9 专家系统要素 16

1.10 产生式系统 20

1.11 过程化程序规范 23

1.12 非过程化程序规范 27

1.13 人工神经系统 30

1.14 专家系统与归纳学习的关系 34

1.15 人工智能的发展状况 34

1.16 小结 37

习题 38

参考文献 38

第2章 知识的表示 41

2.1 概述 41

2.2 知识的含义 42

2.3 产生式 45

2.4 语义网 47

2.5 对象-属性-值三元组 50

2.6 PROLOG和语义网 50

2.7 语义网的困难之处 53

2.8 模式 54

2.9 框架 55

2.10 框架的困难之处 57

2.11 逻辑与集合 58

2.12 命题逻辑 60

2.13 一阶谓词逻辑 63

2.14 全称量词 63

2.15 存在量词 64

2.16 量词与集合 65

2.17 谓词逻辑的局限性 66

2.18 小结 66

习题 67

参考文献 68

3.2 树、格、图 71

第3章 推理方法 71

3.1 概述 71

3.3 状态与问题空间 74

3.4 与或树和目标 77

3.5 演绎逻辑与三段论 79

3.6 推理规则 83

3.7 命题逻辑的局限性 89

3.8 一阶谓词逻辑 90

3.9 逻辑系统 91

3.10 归结 93

3.11 归结系统与演绎 95

3.12 浅推理和因果推理 97

3.13 归结与一阶谓词逻辑 99

3.14 正向链和反向链 103

3.15 其他推理方法 107

3.16 元知识 112

3.17 隐马尔可夫模型 113

3.18 小结 114

习题 114

参考文献 117

第4章 不确定性推理 119

4.1 概述 119

4.2 不确定性 119

4.3 误差种类 121

4.4 误差与归纳 122

4.5 经典概率 124

4.6 经验主观概率 127

4.7 复合概率 128

4.8 条件概率 129

4.9 假设推理与反向归纳 133

4.10 时间推理与马尔可夫链 135

4.11 信任几率 138

4.12 充分性与必然性 139

4.13 推论链中的不确定性 141

4.14 证据组合 144

4.15 推理网 148

4.16 概率的传播 155

4.17 小结 158

习题 158

参考文献 161

5.2 不确定性与规则 163

第5章 不精确推理 163

5.1 概述 163

5.3 确定性因子 167

5.4 Dempster-Shafer理论 174

5.5 近似推理 182

5.6 不确定性的现状 210

5.7 模糊逻辑的一些商业应用 211

5.8 小结 212

习题 212

参考文献 215

第6章 专家系统设计 217

6.1 概述 217

6.2 选择合适的问题 217

6.3 开发专家系统的步骤 220

6.4 开发过程中的误区 222

6.5 软件工程与专家系统 225

6.6 专家系统生命周期 226

6.7 详细生命周期模型 229

6.8 小结 232

习题 232

参考文献 233

第7章 CLIPS介绍 235

7.1 概述 235

7.2 CLIPS 235

7.3 记号 236

7.4 字段 237

7.5 进人和退出CLIPS 239

7.6 事实 240

7.7 增加和删除事实 242

7.8 修改和复制事实 243

7.9 监视命令 244

7.10 自定义事实结构 245

7.11 规则的组成 246

7.12 议程与执行 247

7.13 结构处理命令 250

7.14 打印输出命令 252

7.15 使用复合规则 252

7.16 设置断点命令 253

7.17 调入和保存结构 254

7.18 注释结构 255

7.19 变量 256

7.21 事实地址 257

7.20 变量的复合用法 257

7.22 单字段通配符 259

7.23 块世界 260

7.24 多字段通配符和变量 263

7.25 小结 267

习题 267

参考文献 271

第8章 高级模式匹配 273

8.1 概述 273

8.2 字段约束 273

8.3 函数和表达式 275

8.4 使用规则求和 277

8.6 I/O函数 279

8.5 BIND函数 279

8.7 棍子游戏 283

8.8 谓词函数 284

8.9 测试条件元素 285

8.10 谓词字段约束 286

8.11 返回值字段约束 287

8.12 棍子游戏程序 288

8.13 OR条件元素 288

8.14 AND条件元素 290

8.15 NOT条件元素 291

8.16 EXISTS条件元素 292

8.17 FORALL条件元素 294

8.18 LOGICAL条件元素 295

习题 298

8.19 小结 298

第9章 模块化设计、执行控制和规则效率 305

9.1 概述 305

9.2 自定义模板属性 305

9.3 优先级 310

9.4 阶段和控制事实 312

9.5 优先级属性的误用 314

9.6 自定义模块结构 316

9.7 输入、输出事实 318

9.8 模块与执行控制 320

9.9 Rete模式匹配算法 326

9.10 模式网络 327

9.11 连接网络 329

9.12 模式顺序的重要性 331

9.13 排列模式以求高效 335

9.14 多字段变量与效率 335

9.15 测试条件元素与效率 336

9.16 内置的模式匹配约束 337

9.17 通用规则与专用规则 337

9.18 简单规则与复杂规则 339

9.19 小结 340

习题 341

参考文献 346

第10章 过程化程序设计 347

10.1 概述 347

10.2 过程化函数 347

10.3 自定义函数结构 352

10.4 自定义全局变量结构 358

10.5 自定义类属和自定义方法结构 363

10.6 过程化结构和自定义模块 374

10.7 有用的命令和函数 375

10.8 小结 379

习题 380

第11章 类、实例和消息处理程序 383

11.1 概述 383

11.2 自定义类结构 383

11.3 创建实例 384

11.4 系统定义消息处理程序 384

11.5 自定义实例结构 386

11.6 类与继承 386

11.7 对象模式匹配 392

11.8 用户定义消息处理程序 399

11.9 槽存取和处理程序创建 403

11.10 BEFORE、AFTER和AROUND消息处理程序 405

11.11 实例创建、初始化和删除消息处理程序 416

11.12 修改和复制实例 418

11.13 类和类属函数 420

11.14 实例集合查询函数 421

11.15 多继承 424

11.16 自定义类和自定义模块 429

11.17 调入和保存实例 430

11.18 小结 431

习题 431

12.1 概述 433

12.2 确定性因子 433

第12章 专家系统设计实例 433

12.3 判定树 436

12.4 反向链 445

12.5 监视问题 453

12.6 小结 464

习题 465

参考文献 466

附录A 一些有用的等式 467

附录B 一些基本量词公式及其含义 468

附录C 一些集合性质 469

附录D CLIPS支持信息 470

附录E CLIPS命令与函数概要 471

附录F CLIPS BNF范式 492

附录G 软件资源 498