人工智能第二章49-資料下載頁
2025-02-20 16:16本頁面
【正文】 M,M,B,B,B,M) (D,L,B,Z) (D,L,M,M,Z) (D,L,M,M,B,B,M) (D,L,M,M,M,M,B,M) (D,L,M,M,M,M,M,M,M) R2 R3 (B,M,B,Z) 3/11/2023 40 ? Note: 1. 按照圖搜索控制方式在產(chǎn)生終止?fàn)顟B(tài)時可能會探索許多完全等價的路徑 ,導(dǎo)致系統(tǒng)的低效。 2. 從失敗路徑上浪費很多工作。 3. 節(jié)點的內(nèi)容之間存在著大量的符號冗余。 3/11/2023 41 ? 觀察： 該產(chǎn)生式系統(tǒng)的 初始狀態(tài) 可以 分解 成 C, B和 Z， 然后把 產(chǎn)生式規(guī)則分解 使得可應(yīng)用于這些組成部分： R1: (C) → (D, L) R2: (C) → (B, M) R3: (B) → (M, M) R4: (Z) → (B, B, M) 應(yīng)用規(guī)則后所得的結(jié)果狀態(tài)又可以進一步分裂，這樣不斷地分解，不斷地應(yīng)用規(guī)則，直到所產(chǎn)生的狀態(tài)是 M字符為止，即 終止條件分解 為一個 M字符作成的狀態(tài)。 3/11/2023 42 重寫問題的與 /或樹 (C,B,Z) C B Z (D,L) (B,M) (M,M) (B,B,M) D L B M (M,M) M M M M B M B (M,M) (M,M) M M M M R1 R2 R3 R4 R3 R3 R3 3/11/2023 43 定義 能夠把產(chǎn)生式系統(tǒng)綜合數(shù)據(jù)庫的狀態(tài)描述分解為若干組成部分，產(chǎn)生式規(guī)則可以分別用在各組成部分上，并且整個系統(tǒng)的終止條件可以用在各組成部分的終止條件表示出來的產(chǎn)生式系統(tǒng)，稱為 可分解的產(chǎn)生式系統(tǒng) 。 可分解的產(chǎn)生式系統(tǒng) 3/11/2023 44 Note: 對分解出的獨立分量的處理方式： 可并行處理 也可 串行處理（一般情況下）： （ 1）按產(chǎn)生的時間排序； （ 2）在處理過程中動態(tài)排序。 3/11/2023 45 可分解的產(chǎn)生式系統(tǒng)的基本過程 Procedure SPLIT 1. DATA ← 初始狀態(tài)描述 2. {Di} ← DATA 的分解結(jié)果；每個 Di看成是獨立的狀態(tài)描述 3. until 對所有的 Di ?{Di}， Di都滿足終止條件， do: 4. begin 5. 在 {Di}中選擇一個不滿足終止條件的 D* 6. 從 {Di}中刪除 D* 7. 從規(guī)則集合中選出一個可應(yīng)用于 D*的規(guī)則 R 8. D ← 把 R應(yīng)用于 D*的結(jié)果 9. {di} ← D 的分解結(jié)果 10. 把 {di}加入 {Di}中 11. end 3/11/2023 46 SPLIT的控制策略： 在步驟 5中如何選取 D*，在步驟 7如何選取 R。 Note： PRODUCTION和 SPLIT是兩個比較重要的算法， 本課的重點之一。 PRODUCTION的步驟 4： 控制策略 可分解的產(chǎn)生式系統(tǒng)的基本過程 3/11/2023 47 可分解產(chǎn)生式系統(tǒng)的例子 －－符號積分 SAINT系統(tǒng)， 1961年 Slagle提出， 1963年對 SAINT進行改 進，達到優(yōu)秀大學(xué)生水平，是一個可分解產(chǎn)生式系統(tǒng)。 輸入：不定積分題目；輸出：積分的結(jié)果函數(shù) 綜合數(shù)據(jù)庫： 以字符串為節(jié)點的與或圖 狀態(tài)：字符串 初始狀態(tài)：用字符串表示的不定積分題目（被積函數(shù)） 產(chǎn)生式規(guī)則： 分步積分規(guī)則、代數(shù)替換、三角替換等等 例如： IF∫udvTHEN u∫dv ∫vdu 控制系統(tǒng)： 選擇規(guī)則： 圖搜索 終止條件： 與系統(tǒng)內(nèi)部保存的基本積分表中的函數(shù)具有相同的形式 。 如： ∫udu=u2/2 3/11/2023 48 三角恒等式 三角 恒等式 z= z= z= 用分母除分子 z= 3/11/2023 49 演講完畢，謝謝觀看！
數(shù)學(xué)相關(guān)推薦
鄂ICP備17016276號-1