超路径（hyperpath）.pptVIP

Expert Systems sstseng 為何要做知識驗證？ 以規則作為知識的表達方式已成為專家系統的主流。 因為規則本身提供的彈性與擴充性，對系統發展者與使用者來說，可能在規則庫的建立及使用過程中造成不易偵測的錯誤。 因此，在系統應用於商業環境之前，進行知識驗證是很重要的步驟。 8.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）是在先決條件下進行推理後，導致推回原來的先決條件或其中的一部份子條件。 不同的專家可能在不同的時間點加入不同的規則，而這種規則循環性將造成系統推理時的錯誤。 Rule 1：If 主要消費群意向被刺激時 Then 商業化可行性是樂觀的 Rule 2：If 商業化可行性是樂觀的 Then 主要消費群意向被刺激 不完整的規則（Incompleteness） 包括無結果的推論（Deadends）及無法到達的結果（Unreachable Goals）。 當一條規則的結果不是一個目標變數，也不是其他規則條件的一部份時，稱做無結果的推論（Deadends）。 無結果的推論（Deadends）代表這些規則不應該包含到規則庫中，或是漏失相關的規則，造成這些規則缺乏一些推理到最後目標的條件。 當規則結果不是一個輸入變數，也不是其他規則結果的一部份時，則該條規則構成無法到達的結果（Unreachable Goals）。 無法到達的結果（Unreachable Goals）代表該條規則與其他規則是無關的，或漏失掉其他建立關係的條件。 8.2 單一形式（Unitized form） 假設所有規則在用來偵測錯誤之前，必須以一致的格式呈現。 先決條件只允許conjunctions 最後結果只允許一個「屬性-值」 單一形式（Unitized form）保證一個結構性的知識庫，且不失一般性（with no loss of generality）。 當一條規則具有多個先決條件的disjunctions時，根據每個子條件轉換成一組有相同結果且格式一致的規則。 Rule：If 財務可行性低 Or 商業化成功的可能性低 Then 舉債可行性低 If 財務可行性低 Then 舉債可行性低 If 商業化成功的可能性低 Then 舉債可行性低 當一條有多個結果的規則，則根據每個結果轉換成一條格式一致的規則，但每條規則具有相同的先決條件。 Rule：If 商業化成功的可能性低 Then 財務可行性低 舉債可行性低 If 商業化成功的可能性低 Then 財務可行性低 If 商業化成功的可能性低 Then 舉債可行性低 8.3 有向超連結圖的規則表示法（Directed Hypergraph Representation） 用圖形化的表示來代表規則間的關係，有助於偵測系統中各種不同的錯誤。 圖形可以把驗證問題轉變成在某種狀態中兩點是否有可相通的路徑 圖形化表示簡單易用的架構，能清楚的展示出概念間的關係 各種分析圖