秋季學(xué)期書面作業(yè)講解(更新版)
【正文】 P(b)∨ ～ P(c), ～ P(f(a,b))∨ ～ P(c)} 這里 a,b,c都是常量，不需要改名 主要錯誤： 沒有按照步驟 常量改名 設(shè)子句集為： S={ ～ P(x)∨ Q(x) , P(f(a)) , ～ Q(f(z)) } 請求出它的一個反演 解法 1： ① ～ P(x)∨ Q(x) ② P(f(a)) ③ ～ Q(f(z)) 可以消解的子集 ④ c1=① , c’1=Q(x)。 c2=② , c’2=φ 用合一算法求 { P(x), P(f(a))}的 mug， 得 β={f(a)/x} 歸結(jié)式或消解式為 c=(c’1β ∨ c’2β )=Q(f(a)) ① ～ P(x)∨ Q(x) ② P(f(a)) 錯誤寫法： {x/f(a)} ⑤ c1=③ , c’1=φ 。 F2的前束合取范式與子句集： (?x){P(x)∧ (?y)[R(y)→L(x,y)]} ＝ (?x){P(x)∧ (?y)[～ R(y)∨ L(x,y)]} ＝ P(a)∧ (?y)[～ R(y)∨ L(a,y)] ＝ (?y){P(a)∧ [～ R(y)∨ L(a,y)]} 子句集： { P(a), ～ R(y)∨ L(a,y)} 錯誤：取非 結(jié)論取非的前束合取范式與子句集： ～ G＝～ {(?x)[R(x)→ ～ Q(x)]} ＝～ {(?x)[～ R(x)∨ ～ Q(x)]} ＝ (?x)[R(x)∧ Q(x)] ＝ R(b)∧ Q(b) 子句集為： {R(b) , Q(b)} 錯誤：與前面相同的常量符號 完整的子句集為： { ～ P(x)∨ ～ Q(y)∨ ～ L(x, y) P(a) ～ R(z)∨ L(a, z) （ 改名 ） R(b) Q(b) } 反演過程： (1) ～ P(x)∨ ～ Q(y)∨ ～ L(x,y) (2) P(a) (3) ～ R(z)∨ L(a,z) (4) R(b) (5) Q(b) (6) ～ Q(y)∨ ～ L(a,y) (1)(2) mgu={a/x} (7) ～ L(a,b) (5)(6) mgu={b/y} (8) L(a,b) (3)(4) mgu={b/z} (9) Φ (7)(8) mgu=Φ 編寫 Prolog程序 ， 并上機調(diào)試通過： ①已知三個前提 F1:： 王 (Wang)先生是小李 (Li)的老師 F2： 小李與小張 (Zhang)是同班同學(xué) F3： 如果 x與 y是同班同學(xué) ， 則 x的老師就是 y的老師 。我們現(xiàn)在規(guī)則是對一個節(jié)點使用所有可能的操作符
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1