第一章人工智能概述(編輯修改稿)
2025-08-16 13:20 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 ? 化子句集的過程 ? 命題邏輯的歸結(jié)原理 ? 替換與合一 ? 謂詞邏輯中的歸結(jié)原理 ? 應(yīng)用歸結(jié)原理求取問題答案 ? 歸結(jié)策略 化子句集的過程 ? 消去蘊(yùn)含詞和等值詞。 ? 使否定詞僅作用于原子公式。 ? 適當(dāng)改名使量詞間不含同名指導(dǎo)變?cè)? ? 消去存在量詞。 ? 消去全稱量詞。 ? 化公式為合取范式。 ? 適當(dāng)改名，使子句間無(wú)同名變?cè)? ? 消去合取詞，以子句為元素組成一個(gè)集合 S。 命題邏輯的歸結(jié)原理 ? 設(shè) C1， C2是命題邏輯中的兩個(gè)子句 C1中有文字 L1 ， C2中有文字 L2 ，且 L1與L2互補(bǔ)， 從 C1 、 C2中分別刪除 L1 、 L2 ，再將剩余部分析取起來(lái)，記構(gòu)成的新子句為C1
范文總結(jié)相關(guān)推薦
鄂ICP備17016276號(hào)-1