秋季學(xué)期書面作業(yè)講解-閱讀頁(yè)
2025-06-02 21:15本頁(yè)面
【正文】 (b)∨ ～ P(c), ～ P(f(a,b))∨ ～ P(c)} 這里 a,b,c都是常量，不需要改名 主要錯(cuò)誤： 沒有按照步驟 常量改名 設(shè)子句集為： S={ ～ P(x)∨ Q(x) , P(f(a)) , ～ Q(f(z)) } 請(qǐng)求出它的一個(gè)反演 解法 1： ① ～ P(x)∨ Q(x) ② P(f(a)) ③ ～ Q(f(z)) 可以消解的子集 ④ c1=① , c’1=Q(x)。 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ò)誤：取“非”。 問題：小張的老師是誰？ 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ù)
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1