人工智能原理及其應(yīng)用-資料下載頁(yè)
2025-02-20 15:17本頁(yè)面
【正文】 并將兩子句余下部分按 析取關(guān)系 組成新子句 C12，即 歸結(jié)式 。 C C2叫做 親本子句 。 2. 例： p99 、 、 第三章 確定性推理 b) 定理 ：歸結(jié)式 C12是親本子句 C1和C2的邏輯結(jié)論。 c) 定理 ：子句集 S是不可滿足的，當(dāng)且僅當(dāng)存在一個(gè)從 S到空子句的歸結(jié)過(guò)程。 第三章 確定性推理 c) 歸結(jié)反演定理證明過(guò)程： 公式集 S， 目標(biāo)公式 G I. 否定 G， 得到 ﹁ G II. 把 ﹁ G添加到 S中去 III. 新產(chǎn)生 {﹁ G， S}化為子句集 IV. 應(yīng)用歸結(jié)原理 ， 力圖推導(dǎo)出一個(gè)矛盾空子句 例 ： p101 第三章 確定性推理 2) 謂詞邏輯歸結(jié) a) 定義 ：對(duì)含有變?cè)淖泳?C C2中文字 LL2， 如果 L ﹁ L2存在最一般合一者 ɑ，則有歸結(jié)式 1. C12＝ {C1－ L1} ɑ ∨ {C2L2} ɑ 2. 二元?dú)w結(jié)式不作要求 3. 例： p102 b) 謂詞邏輯歸結(jié)反演定理證明 4. 例： p103～ 105 第三章 確定性推理 c) 謂詞邏輯歸結(jié)反演問(wèn)題求解 1. 答案求取涉及到把一棵根部有空子句的 反演樹(shù)變換為 在根部帶有可用作答案的某個(gè)語(yǔ)句的一棵 證明樹(shù) I. 把由目標(biāo)公式的否定產(chǎn)生的每個(gè)子句添加到目標(biāo)公式否定的否定的子句中去 II. 按照反演樹(shù)，執(zhí)行和以前相同的消解，直至在根部得到某個(gè)子句止。 III. 用根部的子句作為一個(gè)回答語(yǔ)句 IV. 例 ： p110 第三章 確定性推理 3. 歸結(jié)演繹推理的歸結(jié)策略 廣度優(yōu)先策略 1) 刪除策略：縮小歸結(jié)范圍 a) 純文字刪除法 b) 重言式刪除法 c) 包孕刪除法 2) 限制策略：加入啟發(fā)信息，減少盲目性 a) 支持集策略 b) 單文字子句策略 c) 線性輸入策略 d) 祖先過(guò)濾策略 第三章 作業(yè) ? P119: 3 3 3 3 313(1)(3)(5)、 315 、 318 、319 演講完畢，謝謝觀看！
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1