人工智能第七章20xx-wenkub
2022-08-21 21:56:23 本頁面
【正文】 出現(xiàn)在蘊涵式中的所有變量假定是對整個蘊涵式全稱定量的； 不同規(guī)則使用的變量名互不相同； 規(guī)則與事實 AND/OR圖中的變量名也不相同。 8/21/2022 5 例 表示事實的邏輯公式 G=?u ?v (Q (v,u) ∧ ~ ((R(v)∨ P(v)) ∧ S(u,v))) = ?u ?v (Q (v,u)∧ ( (~R(v) ∧ ~P(v)) ∨ ~S(u,v))) 用常量符號 A代替 u得 ?v(Q(v,A)∧ ((~R(v)∧ ~P(v))∨ ~S(A,v))) 對變量改名 ,使得不同的主合取項里變量使用不同的名字 : ?wQ(w,A)∧ ?v((~R(v)∧ ~P(v))∨ ~S(A,v)) Q(w,A)∧ ((~R(v)∧ ~P(v))∨ ~S(A,v)) 8/21/2022 6 ? 事實表達(dá)式的 AND/OR圖表示 節(jié)點：表示事實 AND/OR形式的子表達(dá)式 ? 如果子表達(dá)式 E1,… ,Ek 的父親節(jié)點是（ E1∨ … ∨ Ek） ,則用 k連接符把這些子節(jié)點與父節(jié)點連接起來； ? 如果子表達(dá)式 E1,… ,Ek 的父親節(jié)點是（ E1∧ … ∧ Ek） ， 則用 1連接符分別把這些子節(jié)點與父節(jié)點連接起來 。8/21/2022 1 第七章 基于規(guī)則的演繹系統(tǒng) 主講：歐陽丹彤 8/21/2022 2 ? 歸結(jié)方法 優(yōu)點：實現(xiàn)簡單（僅使用一條推理規(guī)則） 完備 缺點：低效（不使用領(lǐng)域知識） 轉(zhuǎn)換成子句形式過程中失去了控制信息 ? 基于規(guī)則的演繹系統(tǒng) 優(yōu)點：易于理解（推理過程與人的推理過程相近） 高效（盡量使用與領(lǐng)域有關(guān)的知識） 缺點：不完備 8/21/2022 3 基于規(guī)則的演繹系統(tǒng) ? 描述領(lǐng)域知識的邏輯語句分為兩類： 描述該領(lǐng)域的一般性規(guī)律 轉(zhuǎn)換成產(chǎn)生式規(guī)則 描述該領(lǐng)域的具體情況或狀態(tài) 轉(zhuǎn)換成產(chǎn)生式系統(tǒng)的狀態(tài)描述 ? 工作過程 選可用的產(chǎn)生式規(guī)則用于狀態(tài)描述、產(chǎn)生新的狀態(tài)描述，當(dāng)產(chǎn)生的狀態(tài)描述滿足終止條件時，推導(dǎo)任務(wù)完成。 8/21/2022 7 ? 表示邏輯公式的 AND/OR圖的性質(zhì)： 該公式對應(yīng)的所有子句可以從終止在葉節(jié)點的解圖集合中 讀出 AND/OR圖是子句形式的一種緊湊表示方式 例 .Q(w,A)∧ ((~R(v)∧ ~P(v))∨ ~S(A,v))對應(yīng)的所有子句 Q(w,A) ~S(A,v)∨ ~R(v) ~S(A,v)∨ ~P(v) 都可從解圖讀出來。
語文相關(guān)推薦
鄂ICP備17016276號-1