專家系統外殼

概述

專家系統外殼又稱為骨架系統，是由已有的成功的專家系統演化而來的。它抽出了原系統中具體的領域知識，而保留了原系統的基本骨架(知識庫及推理機結構)，所以稱為“外殼”。

利用專家系統外殼作為開發工具，只要將新的領域知識填充到專家系統中去，就可以生成新的專家系統。專家系統外殼的知識庫結構及管理機制、推理機結構及控制機制、人機接口及輔助工具都可為新系統提供服務和支持。因此，使用這種工具開發效率最高，但限制也最多，靈活性最差。

EMYCIN是由Stanford大學的Van Melle於1980年開發的一個專家系統外殼，是由MYCIN抽去原有的醫學領域知識，保留外殼而形成的。採用產生式規則表達知識，目標驅動的反向推理控制策略，特別適用於診斷型專家系統的開發。

EMYCIN可提供MYCIN所有的輔助工具，如：

1)推理解釋程式及可信度估算。

2)知識編輯程式及類似英語的簡化會話語言。

3)知識庫管理和維護手段，如一致性檢查、跟蹤、查錯等。

4)系統測試實例。

KAS系統是由PROSPECTOR系統抽去原有的地質勘探知識而形成的。它採用語義網路和產生式規則相結合的知識表達方式，以及啟發式雙向推理控制策略。適用於開發解釋型的專家諮詢系統。

KAS可提供的輔助工具有：

1)知識編輯系統，用於知識獲取、修改與擴充知識庫，可直接操作和反饋修改結果。

2)推理解釋系統。

3)用戶問答系統。

4)英語分析器。

EXPERT系統是由CASNET系統抽去原有醫學領域知識而形成的。EXPERT適用於診斷、分類的專家諮詢系統的開發。它採用產生式規則表達知識，並有如下3種形式：

1)FF規則用於從已知的事實推知另一些事實的真值，從而可省去對後者的提問，被FF規則推導出來的事實只取邏輯值和“不知道”值。例如：

F(A，T)

F(B，F)；

表示如果已知事實A為真，則事實B一定為假。

2)FH規則用於指出事實與假設之間的邏輯關係，並用一個可信度指出肯定或否定一個假設有多大把握。例如：

F(A，O：50) & [2：F(B，T)，F(C，T)，F(D，F)]

H(E，0．8)；

它表示，若第一個事實(A取值在0到50之間)成立，而且後面3個事實(B為真，C為真，D為假)中有兩個成立，則假設E成立的可能性為0．8。

3)HH規則用於指出假設與假設之間的推理關係，EXPERT規定出現在規則左部的假設的確定性程度需用一個數值區間來指出。例如：

H(A，0．2：1)&H(B，0．1：1)

H(C，1)；

它表示如果對假設A有0．2到1的把握，並且對假設B有0．1到1的把握程度，則可得出結論C，其把握程度為100%。