第1章 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章 Pro/3安装与开始

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 UNICODE和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 一个非精确规则（Parameter rule）定义过程示例

15.4 一些Pro/3功能使用方法简介

15.5 Pro/3句子记录输入功能的改进与批量计算机安全评估探索

附录1 Pro/3术语和概念的基本定义表

附录2 Pro/3应用研究所涉及的脚本示例

附录3 Pro/3中爱因斯坦谜题模型的事实和规则

参考文献