人工智能第七章20xx(編輯修改稿)
2024-08-20 21:56 本頁面
【文章內(nèi)容簡介】 規(guī)則： S→(X ∧ Y)∨ Z 子句形式是： ~S∨ X∨ Z和 ~S∨ Y∨ Z P Q U T (T∨ U) R S (P∨ Q)∧ R S∧ (T∨ U) ((P∨ Q)∧ R)∨ (S∧ (T∨ U)) (P∨ Q) 圖 一個沒有變量的 AND/OR圖 8/21/2022 12 圖 應用一條規(guī)則后所得到的 AND/OR圖 X∨ Z∨ P∨ Q， Y∨ Z∨ P∨ Q， R∨ Y∨ Z， R∨ X∨ Z都包含在解圖所表示的子句中 P Q U T (T∨ U) R S (P∨ Q)∧ R S∧ (T∨ U) ((P∨ Q)∧ R)∨ (S∧ (T∨ U)) (P∨ Q) S Z X∧ Y Y X 匹配弧 8/21/2022 13 ? 結(jié)論： 對 AND/OR圖應用一條規(guī)則的過程 ， 以十分簡便高效的方式達到了使用歸結(jié)方法經(jīng)過多次歸結(jié)才能達到的目的 。 ? 當對一個節(jié)點應用規(guī)則后 ， 這個節(jié)點已經(jīng)不再是葉節(jié)點了 ， 但它仍然用單文字標記 。 ? 把單文字標記的節(jié)點叫 文字節(jié)點 ， 并且規(guī)定對文字節(jié)點可以繼續(xù)使用規(guī)則 。 這樣應用規(guī)則后的 AND/OR圖既能表示原來的事實公式又能表示推理結(jié)果 。 ? 終止于文字節(jié)點的解圖對應于 AND/OR圖所表示的子句 。 8/21/2022 14 包含變量的正向演繹系統(tǒng)例 事實 :P(x,y)∨ (Q(x,A)∧ R(B,y)) 子句： P(x,y)∨ Q(x,A) P(x,y)∨ R(B,y) 規(guī)則 :P(A,B)→(S(A) ∧ X(B)) P(x,y) ∨ (Q(x,A)∧ R(B,y)) P(x,y) Q(x,A)∧ R(B,y) Q(x,A) R(B,y) 圖 一個事實中包含變量的 AND/OR圖 8/21/2022 15 新增加的葉節(jié)點與原圖的葉節(jié)點構(gòu)成兩個新的解圖，與這兩個解圖對應的子句是：S(A)∨ X(B)∨ Q(A,A)和 S(A)∨ X(B)∨ R(B,B) S(A) X(B) P(A,B) P(x,y) Q(x,A) R(B,y) Q(x,A) ∧ R(B,y) P(x,y)∨ [Q(x,A) ∧ R(B,y)] {A/x,B/y} 圖 應用了一條包含變量的規(guī)則后的 AND/OR圖 8/21/2022 16 三、 正向演繹系統(tǒng)的目標 ? 目標公式形式： 文字的析取形式 。 當目標公式包含存在定量和全稱定量的變量時 ， 是經(jīng)對偶 Skolem化后的文字的析取形式 ；
語文相關推薦
鄂ICP備17016276號-1