秋季學(xué)期書(shū)面作業(yè)講解-預(yù)覽頁(yè)
【正文】 演過(guò)程： (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=Φ 編寫(xiě) Prolog程序 ， 并上機(jī)調(diào)試通過(guò)： ①已知三個(gè)前提 F1:： 王 (Wang)先生是小李 (Li)的老師 F2： 小李與小張 (Zhang)是同班同學(xué) F3： 如果 x與 y是同班同學(xué) ， 則 x的老師就是 y的老師 。 (2)有序搜索中，沒(méi)有計(jì)算深度值， h(n)計(jì)算有誤。我們現(xiàn)在規(guī)則是對(duì)一個(gè)節(jié)點(diǎn)使用所有可能的操作符。 c2=④ , c’2=φ 用合一算法求 {Q(f(z)),Q(f(a))}的 mgu， 得 β={ a/z} 歸結(jié)式或消解式為 c=φ ③～ Q(f(z)) ④ Q(f(a)) ① ～ P(x)∨ Q(x) ② P(f(a)) ③～ Q(f(z)) ④ Q(f(a)) ① ② mgu={ f(a)/x } ⑤ φ ③ ④ mgu={ a/z } 解法 2： ④ c1=① , c1’=～ P(x)； c2=③ , c’2=φ 合一算法得 mgu: β={f(z)/x} 消解式為 ～ P(f(z)) ⑤ c1=② , c’1=φ,c2=④ , c’2=φ 合一算法得 mgu: β={ a/z} 歸結(jié)式或消解式為 c=φ ① ～ P(x)∨ Q(x) ③～ Q(f(z)) ② P(f(a)) ④ ～ P(f(z)) ① ～ P(x)∨ Q(x) ② P(f(a)) ③ ～ Q(f(z)) ④ ～ P(f(z)) ①③ mgu={ f(z)/x } ⑤ φ ② ④ mgu={ a/z } 設(shè)前提條件為 F1: (?x){P(x)→( ?y)[Q(y)→ ～ L(x,y)]} F2: (?x){P(x)∧ (?y)[R(y)→L(x,y)]} 試用消解原理證明下列結(jié)論成立： G: (?x)[R(x)→ ～ Q(x)] 證明 ： F1的前束合取范式與子句集： (?x){P(x)→( ?y)[Q(y)→ ～ L(x,y)]} ＝ (?x){～ P(x)∨ (?y)[～ Q(y)∨ ～ L(x,y)]} ＝ (?x) (?y){～ P(x)∨ ～ Q(y)∨ ～ L(x,y)} 子句集： ～ P(x)∨ ～ Q(y)∨ ～ L(x,y) 錯(cuò)誤：取“非”
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1