人工智能-ai2章作業(yè)題解釋-資料下載頁
2025-08-05 18:31本頁面
【正文】 : P(f(a))∧ P(y)∧ Q(y) 證： 先轉(zhuǎn)化成子句集 對 F，進(jìn)行存在固化，有 P(f(v))∧ (Q(f(w))) 得以下兩個(gè)子句 P(f(v))， Q(f(w)) 對 ﹁ G，有 ﹁ P(f(a))∨ ﹁ P(y) ∨ ﹁ Q(y) 先進(jìn)行內(nèi)部合一，設(shè)合一 {f(a)/y}，則有因子 ﹁ P(f(a)) ∨ ﹁ Q(f(a)) 再對上述子句集進(jìn)行歸結(jié)演繹推理。其歸結(jié)樹如右圖所示，即存在一個(gè)到空子句的歸結(jié)過程。 因此 G為真。 P(f(v)) ﹁ Q(f(a)) Q(f(w)) {a/v}
黨政相關(guān)相關(guān)推薦
鄂ICP備17016276號-1