專家系統(tǒng)外殼Pro\3工程與實踐

第一章 Pro／3概述
1.1 Pro／3是什么及其可以用于什么
1.2 事實
1.3 查詢
1.4 簡單蘊含規(guī)則
1.5 函數(shù)
1.6 集合類型句子規(guī)則
1.7 非精確規(guī)則
1.8 Pro／3：一個產(chǎn)生式系統(tǒng)
第2章 Pro／3基本組成
2.1 事實
2.2 規(guī)則
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 備份與恢復(fù)
3.8 Pro／3升級
3.9 處理預(yù)設(shè)窗口
第4章 事實
4.1 術(shù)語
4.2 段及段上下文
4.3 句子模型
4.4 域
4.5 自然語言接口
第5章 規(guī)則
5.1 句子規(guī)則（1）
5.2 句子規(guī)則（2）
5.3 句子規(guī)則編輯器
5.4 集合規(guī)則例子
第6章 非精確規(guī)則
6.1 概率一條件概率一置信度
6.2 模糊集概念
6.3 非精確規(guī)則概念
6.4 非精確規(guī)則類型
6.5 使用非精確規(guī)則
6.6 非精確規(guī)則評價
6.7 函數(shù)
第7章 語法
7.1 命名或名稱
7.2 Pro／3和XML
7.3 操作符一值一表達(dá)式
7.4 UNICOODE和ANSI文本文件
7.5 注釋
第8章 查詢
8.1 一般查詢
8.2 存貯在知識庫中的查詢和查詢菜單
8.3 詢問集群與詢問系列
第9章 知識庫
9.1 知識庫完整性、知識節(jié)點和依賴
9.2 數(shù)據(jù)庫結(jié)構(gòu)
9.3 使用SQL類型數(shù)據(jù)庫
9.4 KB初始化窗口
9.5 SQL類型知識庫結(jié)構(gòu)
9.6 3KB類型知識庫內(nèi)部結(jié)構(gòu)
9.7 3KB類型數(shù)據(jù)庫的多KB配置
第10章 推理引擎
10.1 句子推演一前向鏈超級結(jié)構(gòu)
10.2 模型驗證
第11章 知識共享和交換
11.1 知識流
11.2 發(fā)布與訂閱
11.3 集群的知識庫
11.4 服務(wù)器模式
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的結(jié)合應(yīng)用及文件掃描實用程序FileScanner
14.1 使用MS visio畫圖
14.2 文件掃描實用程序FileScanner
第15章 Pro／3應(yīng)用研究及規(guī)則定義過程示例
15.1 一個簡單蘊含規(guī)則定義過程示例
15.2 非精確規(guī)則中parameter rule功能的修正及電流互感器選購評估應(yīng)用研究
15.3 一個非精確規(guī)則定義過程示例
15.4 一些Pro／3功能使用方法簡介
15.5 Pro／3句子記錄輸入功能的改進(jìn)與批量計算機安全評估探索
附錄一 Pro／3術(shù)語和概念的基本定義表
附錄二 Pro／3應(yīng)用研究所涉及的腳本示例
附錄三 Pro／3中愛因斯坦謎題模型的事實和規(guī)則
參考文獻(xiàn)