产生式系统及其搜索方法课件.pptVIP

3.3圖搜索演算法3.3.7討論用AND/OR圖演算法求解問題時,求解過程就是對一個隱含的AND/OR圖進行搜索。初始資料庫對應於AND/OR圖的根節點,規則對應於k-連接符,結束條件的資料庫對應於一組終節點集合,搜索演算法的任務就是找到從初始節點到一組終節點集的一個解圖。AND/OR圖的啟發式搜索演算法AO*是通過評價函數f(n)=h(n)來引導搜索過程,適用於分解得到的子問題不存在相互作用的情況。若S→N集存在解圖,當h(n)≤h*(n)且h(n)滿足單調限制條件時,AO*演算法一定能找到最佳解圖,在這種情況下,AO*具有可採納性。3.3圖搜索演算法3.3.7討論類比搜索方法實施的關鍵技術在於生成求解事例、相似性度量和檢索、以及指導求解。生成求解事例就是積累問題的求解經驗,其生成過程主要解決的問題是對於一個求解事例需要記錄和保存問題求解過程中的那些特徵資訊,以及如何進行表示、抽取和存儲這些資訊。求解一個複雜問題時,經常面臨龐大的搜索。大量被搜索的節點中,有成功的、也有失敗的。為了給相似問題的求解提供有用資訊,就要確定保存搜索過程中的哪些有用特徵資訊。顯然,走兩個極端最簡單:第一是記下整個搜索過程;第二是只記問題的最終解。這兩個極端都不圓滿,具體地作法除了保留問題的最終解外,還應該記錄有關選擇這些操作的情境和依據條件。這是一個很有意義的研究課題。相似性的度量也是類比搜索方法的一個關鍵問題。相似程度越高,度量方法恰當,相似問題的檢索俞易獲得。關於這方面,目前還是主要根據新、老問題的特徵和關係來確定它們之間的相似性。此外,還可設置相似度閥值，檢索採用直接映射式方法。3.3圖搜索演算法3.3.7討論指導求解是類比搜索方法的控制程式,主要考慮靈活的處理策略。一般要考慮以下幾點:(1)當檢索沒有類比啟發資訊時,程式能轉向常規搜索方法。(2)當檢索到一個與新問題完全相似的過去問題的求解事例時,程式能直接轉換解。(3)當檢索到一個與新問題部分相似的過去問題的求解事例時,程式能提取相似部分解過程,還能組織部分搜索、銜接新的解過程。此外,應有裁剪過去問題多餘解過程的功能。3.4產生式系統的規則問題3.4.1規則不一致原因及解決方法規則集中存在的不一致是影響系統性能的重要因素之一。系統建立初期,由於規則集較小,內容也比較簡單,設計人員能對每一條規則的條件和結論部分反復推敲和精心構造,這類問題容易防止。但隨著時間的推移,新的規則不斷加入,規則集合越來越大,內容也越來越豐富,這時規則間的相互影響和相互聯繫就隨之變得複雜。在此情況下,規則的不一致就將自然產生,當然,對它的認識和解決也就顯得很重要。3.4產生式系統的規則問題3.4.1規則不一致原因及解決方法主要的不一致規則種類(1)迴圈規則:由數個規則的前提和結論形成一個迴圈鏈,最終由末尾規則的結果子句推出起始規則的前提部分;(2)衝突規則:兩個規則的前提條件等價,但一個或多個結果子句有矛盾或者前提子句有矛盾而結論部分完全等價;也有可能由多條規則鏈形成衝突規則集;(3)冗餘規則:兩個規則的前提條件等價,一個或多個子結果子句也等價;(4)從屬規則:兩個規則有相同的結果,但其中一個包含有多餘的約束條件。3.4產生式系統的規則問題3.4.1規則不一致原因及解決方法不一致規則的檢查解決方法(1)對於迴圈規則,可構造規則集的IF---THEN圖,從起始規則的條件部分開始搜索,如果搜索過程中遇到的THEN部分已在前面出現,就可以中斷搜索,規則集中包含的迴圈規則子集合需設計人員檢查,解決;(2)對於衝突規則,構造IF---IF表,對規則集內有相同的IF規則子句構造規則樹,形成推理圖。同時建立THEN---THEN表用以判斷是否有衝突規則出現。對相同IF部分的規則繼續用它的各自THEN部分作為其他可以匹配的IF前提條件,遞歸地構造,如發現兩個推理圖上分別有節點在THEN---THEN表上是矛盾的,則檢測出衝突規則,人工予以解決。(3)對冗