第一章 绪论 1
1.1 引言 1
1.2 知识工程和知识处理系统研究的内容 4
1.3 知识工程和知识处理系统研究的现状与前景 8
第二章 知识处理中的逻辑理论 11
2.1 经典逻辑理论 11
2.2 非经典逻辑理论 20
2.3 现代逻辑理论(Contemporary Logic) 30
第三章 知识表示(KR) 34
3.1 已有的几种知识表示方法 35
3.2 混合型知识表示方法 46
3.3 面向对象的知识表示方法(O-OKR方式) 47
3.4 常识性知识的表示 48
第四章 知识获取(KA)与机器学习(ML) 51
4.1 知识获取与更新 51
4.2 一致性与完整性问题 55
4.3 机器学习 56
4.4 联想技术 65
第五章 推理机制与推理方法 67
5.1 演绎推理 67
5.2 归纳推理 70
5.3 类比推理 75
5.4 推理路径与方法 76
第六章 知识处理语言(KPL) 79
6.1 知识处理语言的规范性描述 79
6.2 逻辑型语言的特点与实例 85
6.3 函数式语言的特点 91
6.4 知识处理语言的实例介绍--知识查询语言KQL 92
第七章 知识库(KB)和知识库管理系统(KBMS) 104
7.1 知识的系统化组织与管理 104
7.2 知识库和知识库管理系统的功能 109
7.3 知识库和知识库管理系统的组成与结构 111
7.4 知识库和知识库管理系统研究的现状与前景 113
7.5 一个知识库系统的实例--陶瓷知识库系统(CKBS) 114
第八章 知识库机(KBM)体系结构 121
8.1 知识库机模型 122
8.2 知识库机在智能计算机系统中的作用 125
8.3 知识库机的体系结构 127
8.4 知识库机与前端机接口 133
8.5 典型知识库机体系结构举例 138
第九章 分布式问题求解(DPS)与分布式人工智能(DAI) 148
9.1 分布式问题求解(DPS)的提出 148
9.2 分布式问题求解的研究内容 152
9.3 分布式问题求解系统介绍 162
9.4 关于分布式人工智能(DAI)的研究 173
第十章 分布式知识库系统的实例--DKBS/TH-1系统 176
10.1 DKBS/TH-1系统的体系结构 176
10.2 DKBS/TH-1系统的控制与通讯机构 180
10.3 DKBS/TH-1系统的知识管理 185
10.4 DKBS/TH-1系统的问题求解器 189
10.5 DKBS/TH-1系统的知识查询语言(KQL) 192
10.6 有关分布式知识处理系统研究中的几个关键技术 198
11.1 智能计算机系统的功能 203
第十一章 智能计算机系统与智能接口 203
11.2 智能计算机系统的体系结构 206
11.3 智能计算机系统研究的现状与前景 207
11.4 智能接口的功能与组成 210
11.5 神经网络计算机系统 212
11.6 多媒体计算机系统 215
第十二章 智能软件系统 216
12.1 智能操作系统 216
12.2 智能系统软件 221
12.3 智能应用软件 223
12.4 智能系统开发工具与环境 224
第十三章 实例介绍 226
13.1 知识处理程序系统(KPPS/TH-1) 226
13.2 分布式知识处理系统(DKPS/863-1) 248
附录1 陶瓷知识库系统(CKBS)的知识项 253
附录2 KQL语言的句型 261
参考文献 264