秋季學(xué)期書面作業(yè)講解(參考版)
2025-05-17 21:15本頁面
【正文】 predicates is(integer, integer) clauses is(0, 2):! is(1, 1):! is(X, Z): Z1=Z2, is(X1, Z1), X=X1. goal is(Z,101). is(Z, 100). 超低級錯誤： symbol 。 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程序 ， 并上機(jī)調(diào)試通過： ①已知三個前提 F1:： 王 (Wang)先生是小李 (Li)的老師 F2： 小李與小張 (Zhang)是同班同學(xué) F3： 如果 x與 y是同班同學(xué) ， 則 x的老師就是 y的老師 。 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=φ 。 (2)有序搜索中，沒有計算深度值， h(n)計算有誤。人 工 智 能 Artificial Intelligence (AI) 許建華 南京師范大學(xué)計算機(jī)學(xué)院 2
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1