秋季學(xué)期書面作業(yè)講解-資料下載頁
2025-05-13 21:15本頁面
【正文】 x,y) 錯(cuò)誤：取“非”。 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)} 錯(cuò)誤：取非 結(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)} 錯(cuò)誤：與前面相同的常量符號(hào) 完整的子句集為： { ～ 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)試通過： ①已知三個(gè)前提 F1:： 王 (Wang)先生是小李 (Li)的老師 F2： 小李與小張 (Zhang)是同班同學(xué) F3： 如果 x與 y是同班同學(xué) ， 則 x的老師就是 y的老師 。 問題：小張的老師是誰？ domains predicates teacher(symbol,symbol) classmate(symbol,symbol) clauses classmate(li, zhang). teacher(wang, li). teacher(Z, Y): classmate(X, Y), teacher(Z, X). goal teacher(U,zhang). 解： ② 判斷一個(gè)整數(shù)是否偶數(shù) 。 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). 超低級(jí)錯(cuò)誤： symbol
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1