编著者还有：胡绍刚、管祖元、梁凯、刘君、王玲等7人

第一章 Pro／3概述
1．1 Pro／3是什么及其可以用于什么
1．2 事实
1．3 查询
1．4 简单蕴含规则
1．5 函数
1．6 集合类型句子规则
1．7 非精确规则
1．8 Pro／3：一个产生式系统
第2章 Pro／3基本组成
2．1 事实
2．2 规则
2．3 查询
2．4 知识库
2．5 推理引擎
3．1 Pro／3下载
3．2 Readme文件(安装注释)
3．3 Pro3．exe
3．4 开始Pro／3
3．5 Pro／3主窗口(MDI)
3．6 KE辅助窗口
3．7 备份与恢复
3．8 Pro／3升级
3．9 处理预设窗口
第4章 事实
4．1 术语
4．2 段及段上下文
4．3 句子模型
4．4 域
4．5 自然语言接口
第5章 规则
5．1 句子规则(1)
5．2 句子规则(2)
5．3 句子规则编辑器
5．4 集合规则例子
第6章 非精确规则
6．1 概率一条件概率一置信度
6．2 模糊集概念
6．3 非精确规则概念
6．4 非精确规则类型
6．5 使用非精确规则
6．6 非精确规则评价
6．7 函数
第7章 语法
7．1 命名或名称
7．2 Pro／3和XML
7．3 操作符一值一表达式
7．4 UNICOODE和ANSI文本文件
7．5 注释
第8章 查询
8．1 一般查询
8．2 存贮在知识库中的查询和查询菜单
8．3 询问集群与询问系列
第9章 知识库
9．1 知识库完整性、知识节点和依赖
9．2 数据库结构
9．3 使用SQL类型数据库
9．4 KB初始化窗口
9．5 SQL类型知识库结构
9．6 3KB类型知识库内部结构
9．7 3KB类型数据库的多KB配置
第10章 推理引擎
10．1 句子推演一前向链超级结构
10．2 模型验证
第11章 知识共享和交换
11．1 知识流
11．2 发布与订阅
11．3 集群的知识库
11．4 服务器模式
11．5 Pro／3 Web
第12章 Pro／3部分样本知识库
12．1 摩托车评价知识库
12．2 参加首脑峰会知识库
12．3 租借汽车知识库
第13章 爱因斯坦谜题与Pro／3问题域模型化过程
13．1 爱因斯坦谜题简介
13．2 求解爱因斯坦谜题的Pro／3模型
13．3 Pro／3中建立求解爱因斯坦谜题知识库集群的基本步骤
13．4 Pro／3问题域模型化过程
第14章 Pro／3与MS Visio的结合应用及文件扫描实用程序FileScanner
14．1 使用MS visio画图
14．2 文件扫描实用程序FileScanner
第15章 Pro／3应用研究及规则定义过程示例
15．1 一个简单蕴含规则定义过程示例
15．2 非精确规则中parameter rule功能的修正及电流互感器选购评估应用研究
15．3 一个非精确规则定义过程示例
15．4 一些Pro／3功能使用方法简介
15．5 Pro／3句子记录输入功能的改进与批量计算机安全评估探索
附录一 Pro／3术语和概念的基本定义表
附录二 Pro／3应用研究所涉及的脚本示例
附录三 Pro／3中爱因斯坦谜题模型的事实和规则
参考文献