人工智能技術(shù)導(dǎo)論總復(fù)習(xí)(文件)
【正文】 擴(kuò)展該 MAX節(jié)點(diǎn)的其余子節(jié)點(diǎn)了 (因?yàn)檫@些節(jié)點(diǎn)的估值對(duì) MAX父節(jié)點(diǎn)的倒推值已無任何影響了 )。剪枝技術(shù) (2)3 3 0 2 2 3 0 2 3 0 3≤0≥0≤3≤03≥3≥ 0≤5≤41≥1≤3≤1≤6≥61abcdefghi jkmn當(dāng)前最佳走步00 16610α － 223。? 消去存在量詞。? 消去合取詞，以子句為元素組成一個(gè)集合 S。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è)合一 θ都存在一個(gè)替換 λ，使得 θ ＝ σ ?λ 則稱 σ為 S的最一般合一 (Most General Unifier),簡稱 MGU。? 化公式為合取范式。? 使否定詞僅作用于原子公式。α － 223。剪枝技術(shù)– 對(duì)于一個(gè)與節(jié)點(diǎn) MIN,若能估計(jì)出其倒推值的上確界 β ,并且這個(gè) β 值不大于 MIN的父節(jié)點(diǎn) (一定是或節(jié)點(diǎn) )的估計(jì)倒推值的下確界 α, 即 α≥β, 則就不必再擴(kuò)展該 MIN節(jié)點(diǎn)的其余子節(jié)點(diǎn)了 (因?yàn)檫@些節(jié)點(diǎn)的估值對(duì) MIN父節(jié)點(diǎn)的倒推值已無任何影響了 )。極小極大分析法（ 2）– 當(dāng)端節(jié)點(diǎn)的估值計(jì)算出來后，再推算出父節(jié)點(diǎn)的得分，推算的方法是：? 對(duì) “或 ”節(jié)點(diǎn)，選其子節(jié)點(diǎn)中一個(gè)最大的得分作為父節(jié)點(diǎn)的得分，這是為了使自己在可供選擇的方案中選一個(gè)對(duì)自己最有利的方案；? 對(duì) “與 ”節(jié)點(diǎn)，選其子節(jié)點(diǎn)中一個(gè)最小的得分作為父節(jié)點(diǎn)的得分，這是為了立足于最壞的情況。然后
研究報(bào)告相關(guān)推薦
鄂ICP備17016276號(hào)-1