人工智能-ai2章作業(yè)題解釋-免費(fèi)閱讀
【正文】 作 業(yè) 題 參 考 解 ﹁ P(f(a)) ∨ ﹁ Q(f(a)) NIL {a/w} 證明 G是 F的邏輯結(jié)論 F: (?x)(?y)(P(f(x))∧ (Q(f(y))) G: P(f(a))∧ P(y)∧ Q(y) 證： 先轉(zhuǎn)化成子句集 對(duì) F，進(jìn)行存在固化，有 P(f(v))∧ (Q(f(w))) 得以下兩個(gè)子句 P(f(v))， Q(f(w)) 對(duì) ﹁ G，有 ﹁ P(f(a))∨ ﹁ P(y) ∨ ﹁ Q(y) 先進(jìn)行內(nèi)部合一，設(shè)合一 {f(a)/y}，則有因子 ﹁ P(f(a
黨政相關(guān)相關(guān)推薦
鄂ICP備17016276號(hào)-1