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