在知識獲取方面，知識的檢查是一件很重要的工作，因為唯有一致的知識，才能保證
專家系能正常的運作。
在論文，我們提出一個稱為RBKS-CLIPPING 的架構，它包含了三個啟發式的方法（
HEURISTIC ALGORITHMS），用於尋找環形規則，多餘規則，以及矛盾規則，首先我們
建立AND/OR圖形來記錄知識庫系統中的LITERALS彼此的關係，再將AND/OR圖形看成一
般有方向的圖形來求得REACHABILITY矩陣。最後以REACHABILITY矩陣的資訊來引導啟
發示的尋找策略，找尋環形規則，多餘規則，以及矛盾規則。RBKS-CLIPPING 對一般
法則的檢查並不須要徹底的搜尋（EXHAUSTIVE SEARCH ），所以一般來說能比其它的
知識檢查方法更快速找到有問題規則。
為了驗證我們的縯繹方法，我們已經寫了一個模擬程式來尋找環形規則，多餘規則，
以及矛盾規則，附加一些限制條件（CONSTRAINS），我們也能檢查以OPS5 LANGUAGE
寫成的法則，未來的工作，我們希望能將RBKS-CLIPPING 的架構應用到其它以法則為
基礎的知識庫系統。
|