人工智能第三章243(參考版)
2025-02-22 15:27本頁面
【正文】 謂詞邏輯歸結(jié)原理 演講完畢，謝謝觀看！ 。簡單的例子，歸結(jié)結(jié)束時，即最后一個歸結(jié)式為空子句的條件是，參加歸結(jié)的雙方必須是兩個單元子句。 可以減少不必要的歸結(jié)次數(shù) 。 謂詞邏輯歸結(jié)原理 輸入歸結(jié) = 完備 與單元?dú)w結(jié)策略相似 ， 輸入歸結(jié)策略要求在歸結(jié)過程中 ， 每一次歸結(jié)的兩個子句中必須有一個是 S的原始子句 。 初始子句集中沒有單元子句時，單元?dú)w結(jié)策略無效。 謂詞邏輯歸結(jié)原理 C0 C1 C2 C3 C4 C5 空 線性歸結(jié)策略示意圖 謂詞邏輯歸結(jié)原理 單元?dú)w結(jié) = 完備 單元?dú)w結(jié)策略要求在歸結(jié)過程中 ， 每次歸結(jié)都有一個子句是單元子句 （ 只含一個文字的子句 ）或單元因子 。如果能搞找到一個較好的頂子句，可以式歸結(jié)順利進(jìn)行。即，如下圖所示歸結(jié)得到的新子句立即參加歸結(jié)。歸結(jié)過程中所得到的歸結(jié)式 Ci立即同另一子句 Bi進(jìn)行歸結(jié)得歸結(jié)式 Ci+1。問題是如何尋找合適的語義分類方法，并根據(jù)其含義將子句集兩個部分中的子句進(jìn)行排序。 同時還引入了文字次序 ， 約定歸結(jié)時其中的一個子句的被歸結(jié)文字只能是該子句中 “ 最大 ” 的文字 。一個最容易找到的支撐集是目標(biāo)子句的非，即 S～ B。 ? 支撐集策略的歸結(jié)是完備的，同樣，所有可歸結(jié)的謂詞公式都可以用采用支撐集策略達(dá)到加快歸結(jié)速度的目的。 謂詞邏輯歸結(jié)原理 例如： A1ΛA 2ΛA 3Λ ～ B中的～ B可以作為支撐集使用 。 采用支撐集策略時 ， 從開始到得到 ?的整個歸結(jié)過程中 ， 只選取不同時屬于 ST的子句 ，在其間進(jìn)行歸結(jié) 。 盡管使用刪除策略的歸結(jié) ，少做了歸結(jié)但不影響產(chǎn)生空子句 ， 就是說刪除策略的歸結(jié)推理是完備的 。 刪除策略對阻止不必要的歸結(jié)式的產(chǎn)生來縮短歸結(jié)過程是有效的 。 謂詞邏輯歸結(jié)原理 ? 主要思想：歸結(jié)過程在尋找可歸結(jié)子句時 ， 子句集中的子句越多 ， 需要付出的代價就會越大 。 ? 若對 S使用歸結(jié)推理過程中 ， 當(dāng)歸結(jié)式 Cj是重言式（ 永真式 ） 和 Cj被 S中子句和子句集的歸結(jié)式 Ci(ij)所歸類時 ， 便將 Cj刪除 。 謂詞邏輯歸結(jié)原理 刪除策略 = 完備 ? 名詞解釋：歸類：設(shè)有兩個子句 C和 D， 若有置換 ?使得 C? ? D成立 ， 則稱子句 C把子句 D歸類 。 避免多余的 、 不必要的歸結(jié)式出現(xiàn) 。 謂詞邏輯歸結(jié)原理 歸結(jié)過程的控制策略 ? 要解決的問題： ? 歸結(jié)方法的知識爆炸。 ? 歸結(jié)法的問題 ? 子句中有等號或不等號時，完備性不成立。 ? 解：先將問題用謂詞表示如下： ? R1:“ 任何通過計(jì)算機(jī)考試并獲獎的人都是快樂的 ” (?x)((Pass(x, puter)∧ Win(x, prize))→Happy(x)) ? R2:“ 任何肯學(xué)習(xí)或幸運(yùn)的人都可以通過所有考試 ” (?x)(?y)(Study(x)∨ Lucky(x)→Pass(x, y)) ? R3:“ 張不肯學(xué)習(xí)但他是幸運(yùn)的 ” ～ Study(zhang)∧ Lucky(zhang) ? R4:“ 任何幸運(yùn)的人都能獲獎 ” (?x)(Luck(x)→Win(x,prize)) ? 結(jié)論： “ 張是快樂的 ” 的否定 ～ Happy(zhang) 例題 “快樂學(xué)生”問題 ? 由 R1及邏輯轉(zhuǎn)換公式 :P∧ W→H = ～ （ P∧ W） ∨ H ， 可得 ? (1)～ Pass(x, puter)∨ ～ Win(x, prize)∨ Happy(x) ? 由 R2： (2)～ Study(y)∨ Pass(y,z) ? (3)～ Lucky(u)∨ Pass(u,v) ? 由 R3： (4)～ Study(zhang) ? (5)Lucky(zhang) ? 由 R4： (6)～ Lucky(w)∨ Win(w， prize)
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1