第一章人工智能概述(參考版)
2025-07-23 13:20本頁面
【正文】 L2有最一般合一 σ； C1， C2的二元?dú)w結(jié)式（二元消解式）為： C1 σ － {L1 σ}） ∪ （ C2 σ－ {L2 σ}） 應(yīng)用歸結(jié)原理求取問題答案 （ 1）先為待求解的問題找一個(gè)合適的 求證目標(biāo)謂詞 ； （ 2）再對(duì)目標(biāo)否定子句增配（ 以析取形式 ）一個(gè) 輔助謂詞 ，該謂詞的 變?cè)?必須與對(duì)應(yīng) 目標(biāo)謂詞 中的 變?cè)耆?一致 ； （ 3）進(jìn)行歸結(jié)； （ 4）當(dāng)歸結(jié)是剛好 只剩下輔助謂詞 時(shí)，輔助謂詞中原變?cè)恢蒙系?項(xiàng) 就是 所求 的結(jié)果。 替換與合一 ? 一個(gè)替換（ Substitution）是形如 {t1/x1, t2/x2, … , tn/xn}的有限集合 ? 設(shè) σ是原子公式集 S的一個(gè)合一，如果對(duì) S的任何一個(gè)
范文總結(jié)相關(guān)推薦
鄂ICP備17016276號(hào)-1