图书信息

作者简介

内容简介

目录

图书信息

出版社: 机械工业出版社; 第1版 (2006年8月1日)

丛书名: 计算机科学丛书

平装: 528页

开本: 16开

ISBN: 7111192036

条形码: 9787111192039

尺寸: 26 x 18.4 x 2 cm

重量: 798 g

作者简介

作者：(美)吉奥克 译者：陈忆群 刘星成

美国休斯敦大学明湖分校计算机科学系教授。作为NASA的顾问，他参与了专家系统工具CLIPS(包含在本书中)的开发。另外，他发表了30多篇研究论文并著有10多本书。

内容简介

本书是人工智能领域里的著名教科书和参考书，详细介绍专家系统的基本原理与编程技术，包括专家系统的理论知识和基于规则的应用。反映了快速发展的专家系统领域的最新趋势。共分两部分，第一部分介绍专家系统的基本理论，并对人工智能及其与专家系统的关系做了总体论述；第二部分集中介绍应用技术，包括CLIPS专家系统工具和新的面向对象语言COOL。读者将学习如何应用COOL语言通过定义规则和对象，开发一个完整的专家系统。

本书是一本关于专家系统的著名教科书，全面介绍了专家系统原理，并通过CLIPS详细讨论了其实际应用。本书内容包括：知识表示、推理方法、不确定性推理、不精确推理、CLIPS、高级模式匹配、模块化设计、执行控制和规则效率、过程化程序设计、类、实例和消息处理程序等。

本书理论与实际相结合，内容由浅入深，为了解和设计专家系统提供了理论基础和编程指导。随书光盘包括CLIPS程序、源代码以及其他相关文档。

本书适合作为计算机科学相关专业本科生和研究生的教材，也可供相关专业人员参考。

目录

出版者的话

专家指导委员会

译者序

译者简介

前言

第1章 专家系统导论

1.1概述

1.2专家系统的定义

1.3专家系统的优点

1.4专家系统的基本概念

1.5专家系统的特点

1.6专家系统技术的发展

1.7专家系统的应用与领域

1.8语言、外壳、工具

1.9专家系统要素

1.10产生式系统

1.1l过程化程序规范

1.12非过程化程序规范

1.13人工神经系统

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

1.15人工智能的发展状况

1.16小结

习题

参考文献

第2章 知识的表示

2.1概述

2.2知识的含义

2.3产生式

2.4语义网

2.5对象一属性一值三元组

2.6 FlR01，OG和语义网

2.7语义网的困难之处

2.8模式

2.9框架

2.10框架的困难之处

2.11逻辑与集合

2.12命题逻辑

2.13一阶谓词逻辑

2.14全称量词

2.15存在量词

2.16量词与集合

2.17谓词逻辑的局限性

2.18小结

习题

参考文献

第3章 推理方法

3.1概述

3.2树、格、图

3.3状态与问题空间

3.4与或树和目标

3.5演绎逻辑与三段论

3.6推理规则

3.7命题逻辑的局限性

3.8一阶谓词逻辑

3.9逻辑系统

3.10归结

3.11归结系统与演绎

3.12浅推理和因果推理

3.13归结与一阶谓词逻辑

3.14向链和反向链

3.15其他推理方法

3.16元知识

3.17隐马尔可夫模型

3.18小结

习题

参考文献

第4章 不确定性推理

4.1概述

4.2不确定性

4.3误差种类

4.4误差与归纳

4.5经典概率

4.6经验主观概率

4.7复合概率

4.8条件概率

4.9假设推理与反向归纳

4.10时间推理与马尔可夫链

4.11信任几率

4.12充分性与必然性

4.13推论链中的不确定性

4.14证据组合

4.15推理网

4.16概率的传播

4.17小结

习题

参考文献

第5章 不精确推理

5.1概述

5.2不确定性与规则

5.3确定性因子

5.4 Dempster—Shafei‘理论

5.5近似推理

5.6不确定性的现状

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

5.8小结

习题

参考文献

第6章 专家系统设计

6.1概述

6.2选择合适的问题

6.3开发专家系统的步骤

6.4开发过程中的误区

6.5软件工程与专家系统

6.6专家系统生命周期

6.7详细生命周期模型

6.8小结

习题

参考文献

第7章 CLIPS介绍

7.1概述

7.2 CLIPS

7.3记号

7.4字段

7.5进入和退出CLIPS

7.6事实

7.7增加和删除事实

7.8修改和复制事实

7.9监视命令

7.10自定义事实结构

7.11规则的组成

7.12议程与执行

7.13结构处理命令

7.14打印输出命令

7.15使用复合规则

7.16设置断点命令

7.17调入和保存结构

7.18注释结构

7.19变量

7.20变量的复合用法

7.21事实地址

7.22单字段通配符

7.23块世界

7.24多字段通配符和变量

7.25小结

习题

参考文献

第8章 高级模式匹配

8.1概述

8.2字段约束

8.3函数和表达式

8.4使用规则求和

8.5 BIND函数

8.6 I/O函数

8.7棍子游戏

8.8谓词函数

8.9测试条件元素

8.10谓词字段约束

8.11返回值字段约束

8.12棍子游戏程序

8.13 0R条件元素

8.14 AND条件元素

8.15 NOT条件元素

8.16 EXISTs条件元素

8.17 FORAI上条件元素

8.18 LOGICAL条件元素

8.19小结

习题

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

9.1概述

9.2自定义模板属性

9.3优先级

9.4阶段和控制事实

9.5优先级属性的误用

9.6自定义模块结构

9.7输入、输出事实

9.8模块与执行控制

9.9：Rete.模式匹配算法

9.10模式网络

9.1l连接网络

9.12模式顺序的重要性

9.13排列模式以求高效

9.14多字段变量与效率

9.15测试条件元素与效率

9.16内置的模式匹配约束

9.17通用规则与专用规则

9.18简单规则与复杂规则

9.19小结

习题

参考文献

第10章 过程化程序设计

10.1概述

10.2过程化函数

10.3自定义函数结构

10.4自定义全局变量结构

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

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

10.7有用的命令和函数

10.8小结

习题

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

11.1概述

11.2自定义类结构

11.3创建实例

11.4系统定义消息处理程序

11.5自定义实例结构

11.6类与继承

11.7对象模式匹配

11.8用户定义消息处理程序

11.9槽存取和处理程序创建

11.10 BEFORE、AFTER和AIROLJND消息处理程序

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

11.12修改和复制实例

11.13类和类属函数

11.14实例集合查询函数

11.15多继承

11.16自定义类和自定义模块

11.17调入和保存实例

11.18小结

习题

第12章 专家系统设计实例

12.1概述

12.2确定性因子

12.3判定树

12.4反向链

12.5监视问题

12.6小结

习题

参考文献

附录A 一些有用的等式

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

附录C 一些集合性质

附录D CLIPS支持信息

附录E CLIPS命令与函数概要

附录F CLIPS BNF范式

附录G 软件资源