第1章 Pro/3概述 1
1.1 Pro/3是什么及其可以用于什么 1
1.2 事实 2
1.3 查询 3
1.4 简单蕴含规则 4
1.5 函数 4
1.6 集合类型句子规则 6
1.7 非精确规则 7
1.8 Pro/3：一个产生式系统 8
第2章 Pro/3基本组成 15
2.1 事实 15
2.2 规则 17
2.3 查询 18
2.4 知识库 18
2.5 推理引擎 20
第3章 Pro/3安装与开始 22
3.1 Pro/3下载 22
3.2 Readme文件（安装注释） 22
3.3 Pro3.exe 25
3.4 开始Pro/3 28
3.5 Pro/3主窗口（MDI） 29
3.6 KE辅助窗口 38
3.7 备份与恢复 39
3.8 Pro/3升级 42
3.9 处理预设窗口 42
第4章 事实 45
4.1 术语 45
4.2 段及段上下文 45
4.3 句子模型 46
4.4 域 52
4.5 自然语言接口 55
第5章 规则 59
5.1 句子规则（1） 59
5.2 句子规则（2） 66
5.3 句子规则编辑器 75
5.4 集合规则例子 88
第6章 非精确规则 97
6.1 概率—条件概率—置信度 97
6.2 模糊集概念 100
6.3 非精确规则概念 102
6.4 非精确规则类型 108
6.5 使用非精确规则 118
6.6 非精确规则评价 126
6.7 函数 132
第7章 语法 137
7.1 命名或名称 137
7.2 Pro/3和XML 139
7.3 操作符—值—表达式 140
7.4 UNICODE和ANSI文本文件 144
7.5 注释 144
第8章 查询 145
8.1 一般查询 145
8.2 存贮在知识库中的查询和查询菜单 152
8.3 询问集群与询问系列 155
第9章 知识库 159
9.1 知识库完整性、知识节点和依赖 161
9.2 数据库结构 167
9.3 使用SQL类型数据库 171
9.4 KB初始化窗口 172
9.5 SQL类型知识库结构 173
9.6 3KB类型知识库内部结构 174
9.7 3KB类型数据库的多KB配置 176
第10章 推理引擎 186
10.1 句子推演—前向链超级结构 186
10.2 模型验证 193
第11章 知识共享和交换 196
11.1 知识流 196
11.2 发布与订阅 196
11.3 集群的知识库 199
11.4 服务器模式 200
11.5 Pro/3 Web 203
第12章 Pro/3部分样本知识库 206
12.1 摩托车评价知识库 206
12.2 参加首脑峰会知识库 213
12.3 租借汽车知识库 218
第13章 爱因斯坦谜题与Pro/3问题域模型化过程 223
13.1 爱因斯坦谜题简介 223
13.2 求解爱因斯坦谜题的Pro/3模型 227
13.3 Pro/3中建立求解爱因斯坦谜题知识库集群的基本步骤 231
13.4 Pro/3问题域模型化过程 234
第14章 Pro/3与MS Visio的结合应用及文件扫描实用程序FileScanner 238
14.1 使用MS visio画图 238
14.2 文件扫描实用程序FileScanner 242
第15章 Pro/3应用研究及规则定义过程示例 248
15.1 一个简单蕴含规则定义过程示例 248
15.2 非精确规则中parameter rule功能的修正及电流互感器选购评估应用研究 259
15.3 一个非精确规则（Parameter rule）定义过程示例 268
15.4 一些Pro/3功能使用方法简介 276
15.5 Pro/3句子记录输入功能的改进与批量计算机安全评估探索 278
附录1 Pro/3术语和概念的基本定义表 284
附录2 Pro/3应用研究所涉及的脚本示例 296
附录3 Pro/3中爱因斯坦谜题模型的事实和规则 316
参考文献 323