人工智能第七章20xx(已修改)
2025-08-05 21:56 本頁面
【正文】 8/21/2022 1 第七章 基于規(guī)則的演繹系統(tǒng) 主講：歐陽丹彤 8/21/2022 2 ? 歸結(jié)方法 優(yōu)點(diǎn)：實(shí)現(xiàn)簡單（僅使用一條推理規(guī)則） 完備 缺點(diǎn)：低效（不使用領(lǐng)域知識） 轉(zhuǎn)換成子句形式過程中失去了控制信息 ? 基于規(guī)則的演繹系統(tǒng) 優(yōu)點(diǎn)：易于理解（推理過程與人的推理過程相近） 高效（盡量使用與領(lǐng)域有關(guān)的知識） 缺點(diǎ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ù)完成。 ? 工作方式 正向系統(tǒng)：以事實(shí)作為初始狀態(tài)描述，以結(jié)論為終止條件的演繹系統(tǒng) 反向系統(tǒng)：以結(jié)論作為初始狀態(tài)描述，以事實(shí)為終止條件的演繹系統(tǒng) 8/21/2022 4 正向演繹系統(tǒng) 一 、 初始狀態(tài)描述 先把描述事實(shí)的邏輯公式轉(zhuǎn)換成不含蘊(yùn)涵符號的AND/OR形式 ， 再用 AND/OR圖表示 。 ? 事實(shí)表達(dá)式的 AND/OR形轉(zhuǎn)換 與化 Skolem范式過程類似 不同：不要求母式是合取范式 要求：不同的主合取項(xiàng)里變量使用不同的名字 。 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))) 用常量符號 A代替 u得 ?v(Q(v,A)∧ ((~R(v)∧ ~P(v))∨ ~S(A,v))) 對變量改名 ,使得不同的主合取項(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)連接起來； ? 如果子表達(dá)式 E1,… ,Ek 的父親節(jié)點(diǎn)是（ E1∧ … ∧ Ek） ， 則用 1連接符分別把這些子節(jié)點(diǎn)與父節(jié)點(diǎn)連接起來 。 8/21/2022 7 ? 表示邏輯公式的 AND
語文相關(guān)推薦
鄂ICP備17016276號-1