知識庫一致性與完整性之檢查

Abstract

遞增式地把規則加入一知識庫中，必須確保此知識庫的一致性。本論文提出一新方法 來檢查新加入之規則對已存在的知識庫是否滿足一致性的要求，檢查項目包括：可求 出循環性規則（Circular rules），多餘的規則（Redundancies），矛盾的規則（Co -tradictions），及可能矛盾的規則（Potential contradictions）；除此之外，此 方法亦可檢查出遺漏的規則（Missing rules） ，終止條件（Deadend conditions） ，無法到達的結論（Unreachable conclusions） 等。此方法乃是結合知識庫減縮法 （KB-reduction）及標籤法則（Labeling algorithm）來作遞增式的檢查，其主要貢 獻是：在一個已檢查過的知識庫中加入新的規則時，可以省下不必要的檢查工作，只 要檢查相關的規則即可。我們不僅定義了規則間的相依關係（Depends-on relation ），而且，當新的規則加入時，只在這些相關的規則間作檢查。最後，實驗結果顯示 出此方法是十分可行的。