专家系统46637.pptVIP

專家系統 資工3A 0523023 林國豪 9.9 RETE PATTERN-MATCHING 算法 基於規則的語言譬如CLIPS、Jess 、Eclipse, 和OPS5 用途一種非常高效率的算法為匹配的事實反對樣式在規則確定哪個規則有他們的情況滿意了。這種算法稱Rete 樣式匹配的算法(Forgy 79) (Forgy 85) (Brownston 85) 。寫高效率的CLPS 規則不要求對Rete 算法的理解。但是對部下的算法的, 對部下的算法的理解被使用在CLIPS和其它基於規則的語言使它更加容易瞭解為什麼文字規則單程比文字高效率的他們其它方式。 瞭解為什麼Rete 算法是高效率的, 它是有用看匹配事實的問題對規則總之和然後審查不是像高效率的其它算法。圖9.6 顯示問題由Rete 算法論及。 圖9.6 模式匹配: 規則和事實 註解：Facts:事實 Rules:規則 Agenda:議程 Inference Engine:推斷方法 如果匹配的過程必須發生只一次, 那麼對問題的解決辦法是直接的。推斷方法可能審查各個規則和然後搜尋套事實確定是否規則的樣式滿意了。如果規則的樣式滿意了, 規則可能然後列入議程。圖9.7 顯示這種方法。 圖9.7 Rules Searching 為事實 在基於規則的語言, 然而, 匹配的過程一再發生。事實名單通常將被修改在各個施行期間的週期。新事實也許增加來事實名單或老事實也許從它被去除。這些變動也許導致早先不滿意的樣式滿意或反之亦然。現在匹配的問題成為一個持續的過程。在各個週期期間,作為事實增加和去除了規則組滿意必須被維護和被更新。 有推斷方法檢查各個規則指揮查尋事實在各個施行以後的週期提供解決這個問題的一個簡單和直接的技術。這樣方法主要不利是, 它可能是非常慢的。多數基於規則的專家系統陳列物產叫做世俗多餘。典型地, 規則的行動將改變唯一幾個事實在事實名單。那是事實在專家系統慢慢地改變隨時間。各個施行的週期也許看唯一事實的小百分比或增加或被去除和那麼唯一規則的小百分比由變化典型地影響在事實名單上。因而, 有規則驅動查尋需要的事實要求很多多餘的計算, 因為大多規則像被發現了在最後週期可能發現同樣事實在當前的週期。這種方法無效用被顯示在表9.8 。被遮蔽的區域代表做了對事實名單的變動。多餘的recom-putation 能由記住避免什麼依照被顯示已經被匹配從週期對週期和然後計算唯一變動必要為最近增加的或最近被去除的事實, 在上圖9.9 。規則依然是靜止並且事實改變, 因此事實應該發現規則, 和而不是相反。 圖9.8多餘的計算當規則尋找事實 圖9.9事實尋找規則 Rete 樣式匹配的算法被設計利用世俗多餘由基於規則的專家系統陳列。它做如此由保存匹配的過程的狀態從週期到週期和recomputing 變化在這個狀態上只為發生在事實名單的變動。那是如果一套樣式發現二三要求事實在一個週期, 它不是必要為支票被做在下個週期為已經是發現只第三個事實是利益的二個事實。state.of 匹配的過程被更新只當事實增加和被去除。如果事實的數量增加和被去除小與事實和樣式比較的總數, 匹配的過程迅速將進行。作為最壞的案件, 如果所有事實將被改變, 匹配的過程然後會運作好像所有事實將被比較反對所有樣式。 如果唯一更新對事實名單然後被處理各個規則必須記住什麼已經匹配它。那是如果一個新事實匹配了規則的第三個樣式, 關於比賽的資訊為第一二個樣式必須有時間完成匹配的過程。這類型狀態資訊表明匹配了早先樣式在規則的事實稱一次部份比賽。一次部份比賽為規則滿足規則的樣式任何的被設置事實, 開始從規則的第一樣式並且結束以任一個樣式大到持續。因而, 一個規則以三個樣式會有部份比賽為第一樣式, 第一個和第二個樣式, 和一, 秒鐘, 和第三個樣式。所有的一次部份比賽規則的樣式並且將是活化作用。另一類型狀態資訊被保存稱樣式比賽。樣式比賽發生當事實滿足了一個唯一樣式在任一個規則不關於可變物在也許制約匹配的過程的其它樣式。 Rete 樣式匹配的算法的主要不利是, 這是記憶密集。簡單地比較所有事實與所有樣式不要求記憶。保存系統的狀態使用樣式比賽和部份比賽可能消耗可觀的相當數量記憶。總之, 記憶這種交易為速度是值得的, 然而, 它重要記得一個窮地書面規則可能慢慢地不僅運行, 它可能用盡可觀的相當數量記憶。 Rete 算法並且改進基於規則的系統效率經過利用結構相似性在結構相似性提到事實的規則許多規則經常包含相似的樣式或小組樣式。Rete 算法使用這個特點增加效率由合併共同的組分因此他們不必須被計算更多比一次。 * *