人工智能第七章20xx-文庫吧
2025-07-09 21:56 本頁面
【正文】 /OR圖的性質(zhì)： 該公式對應的所有子句可以從終止在葉節(jié)點的解圖集合中 讀出 AND/OR圖是子句形式的一種緊湊表示方式 例 .Q(w,A)∧ ((~R(v)∧ ~P(v))∨ ~S(A,v))對應的所有子句 Q(w,A) ~S(A,v)∨ ~R(v) ~S(A,v)∨ ~P(v) 都可從解圖讀出來。 Note:其一般性要比子句形式稍差一點。 原因： 在子句形式中，不同子句之間變量允許任意改名； 在 AND/OR圖表示中，改名有時會受到限制 僅允許最外層合取項間經(jīng)改名無公共變量。 8/21/2022 8 二、正向演繹系統(tǒng)的規(guī)則 ? F規(guī)則的形式： L→W 是正常 Skolem化后恢復成蘊涵式，且要求： L是單文字； W是 AND/OR形公式； 出現(xiàn)在蘊涵式中的所有變量假定是對整個蘊涵式全稱定量的； 不同規(guī)則使用的變量名互不相同； 規(guī)則與事實 AND/OR圖中的變量名也不相同。 Note:正向演繹系統(tǒng)的規(guī)則的前提必須是單文字，看起來似乎限制很強。但是，很多邏輯公式可以轉(zhuǎn)換成滿足這種限制的規(guī)則 . 例如，形式為（ L1∨ L2） → W的蘊涵式等價于兩條規(guī)則 L1→W 和 L2→W 。 8/21/2022 9 例 對于公式 ?x((?y ?zP(x,y,z)) ? ?uQ(x,u)) 可以通過如下步驟實現(xiàn)其轉(zhuǎn)換： (1)暫時刪除蘊涵符號： ?x(~?y ?zP(x,y,z)) ∨ ?uQ(x,u)) (2)把否定符移到原子前： ?x(?y? z~P(x,y,z)) ∨ ?uQ(x,u)) (3)化前束范式： ?x?y? z ?u（ ~P(x,y,z))∨ Q(x,u)) (4)Skolem化：用 f(x,y)代 z，得 ~P(x,y,f(x,y)) ∨ Q(x,u) (5)恢復成蘊涵形式： P(x,y,f(x,y))→Q(x,u) 8/21/2022 10 ? F規(guī)則的使用 規(guī)則 L→W 中的 L同 AND/OR圖葉節(jié)點 n匹配 (?合一下 )成功時 ,稱為使用該規(guī)則的一次推理 。 應用規(guī)則的結(jié)果：把表示 W?的 AND/OR圖通過L連到 AND/OR圖的節(jié)點 n上 ， n和它的后繼節(jié)點 L以 1連接符 （ 稱為匹配弧 ， 用 ? 標記 ） 連接 。 8/21/2022 11 例 . 已知：事實： ((P∨ Q)∧ R)∨ (S∧ (T∨ U)) 帶有文字 S的子句是： P∨ Q∨ S和 R∨ S
語文相關(guān)推薦
鄂ICP備17016276號-1