05-知识验证.ppt

5. 知識驗證 S.S. Tseng G.J. Hwang Chapter 5 Knowledge Validation and Verification 知識驗證 為何要做知識驗證？ 以規則作為知識的表達方式已成為專家系統的主流。 因為規則本身提供的彈性與擴充性，對系統發展者與使用者來說，可能在規則庫的建立及使用過程中造成不易偵測的錯誤。 在系統應用於商業環境之前，進行知識驗證是很重要的步驟。 5.1 知識驗證的範圍 Redundancy（冗贅的規則） Contradiction or Conflict（矛盾的規則） Circularity（循環的規則） Incompleteness（不完整的規則） Redundancy（冗贅的規則） 在給定所觀察到的一組「屬性-值」下，有兩條以上的規則導致相同的結果，稱為Redundancy（冗贅的規則）。 造成Redundancy（冗贅的規則）原因 ： 存在包含關係的先決條件或最後結果的規則 存在多條規則的不同推理路徑下，從一組給定的先決條件推到相同的中間點或最後結果 Rule 1：If 商業化成功的可能性低 Then 財務可行性低 Rule 2：If 財務可行性低 Then 舉債可行性低 Rule 3：If 商業化成功的可能性低 Then 舉債可行性低 Contradiction or Conflict矛盾的規則） Contradiction or Conflict（矛盾的規則）發生在當有相同的先決條件，但卻會導致完全不同的結果時。 矛盾的規則將造成錯誤的決策。 在推理大量的規則時，往往牽涉到多條規則間複雜的相依關係，導致錯誤不易被偵測出來。 Rule 1：If 商業化成功的可能性低 Then 財務可行性低 Rule 2：If 財務可行性低 Then 舉債可行性低 Rule 3：If 商業化成功的可能性低 Then 舉債可行性高 Circularity（循環的規則） Circularity（循環的規則）是在先決條件下進行推理後，導致推回原來的先決條件或其中的一部份子條件。 不同的專家可能在不同的時間點加入不同的規則，而這種規則循環性將造成系統推理時的錯誤。 因果關係的錯置，也可能導致循環規則的產生。 (O)Rule A1：If 主要消費群意向被刺激時 Then 商業化可行性是樂觀的 (X)Rule A2：If 商業化可行性是樂觀的 Then 主要消費群意向被刺激 “我們通常是搭遊覽車去墾丁” (O)Rule B1：If 目的地是墾丁 Then 文通工具選擇遊覽車 (X)Rule B2：If 文通工具選擇遊覽車  Then 目的地是墾丁 Incompleteness（不完整的規則） 包括Deadends（無結果的推論）及Unreachable Goals（無法到達的結果）。 當一條規則的結果不是一個目標變數，也不是其他規則條件的一部份時，稱做Deadends（無結果的推論）。 Deadends（無結果的推論）代表這些規則不應該包含到規則庫中，或是漏失相關的規則，造成這些規則缺乏一些推理到最後目標的條件。 當規則的成立條件不是一個輸入變數，也不是其他規則結果的一部份時，則該條規則構成Unreachable Goals（無法到達的結果）。 Unreachable Goals（無法到達的結果）代表該條規則與其他規則是無關的，或漏失掉其他建立關係的條件。 5.2 Unitized form 假設所有規則在用來偵測錯誤之前，必須以一致的格式呈現。 先決條件只允許conjunctions (用“and”聯結) 最後結果只允許一個「屬性-值」 Unitized form保證一個結構性的知識庫。 當一條規則具有多個先決條件的disjunctions時，則先根據每個子條件轉換成一組有相同結果且格式一致的規則。 當一條規則有多個結果時，則先根據每個結果轉換成一條格式一致的規則，其中每條轉換後的規則具有相同的先決條件。 5.3 Directed Hypergraph Representation （有向超連結圖的規則表示法） 用圖形化的表示來代表規則間的關係，有助於偵測系統中各種不同的錯誤。 圖形可以把驗證問題轉變成在某種狀態中兩點是否有可相通的路徑 圖形化表示簡單易用的架構，能清楚的展示出概念間的關係 各種分析圖形連接關係的技術，也使得知識規則在更嚴謹的方法下進行驗證 Mysore