人工智能-謂詞邏輯(存儲(chǔ)版)
【正文】 一條推理規(guī)則的推理方法。 謂詞邏輯歸結(jié)原理 刪除策略 = 完備 ? 名詞解釋：歸類：設(shè)有兩個(gè)子句 C和 D， 若有置換 ?使得 C? ? D成立 ， 則稱子句 C把子句 D歸類 。 盡管使用刪除策略的歸結(jié) ，少做了歸結(jié)但不影響產(chǎn)生空子句 ， 就是說(shuō)刪除策略的歸結(jié)推理是完備的 。一個(gè)最容易找到的支撐集是目標(biāo)子句的非，即 S～ B。即，如下圖所示歸結(jié)得到的新子句立即參加歸結(jié)。 輸入歸結(jié) = 完備 與單元?dú)w結(jié)策略相似 ， 輸入歸結(jié)策略要求在歸結(jié)過(guò)程中 ， 每一次歸結(jié)的兩個(gè)子句中必須有一個(gè)是 S的原始子句 。 演講完畢，謝謝觀看！ 。 初始子句集中沒(méi)有單元子句時(shí)，單元?dú)w結(jié)策略無(wú)效。歸結(jié)過(guò)程中所得到的歸結(jié)式 Ci立即同另一子句 Bi進(jìn)行歸結(jié)得歸結(jié)式 Ci+1。 ? 支撐集策略的歸結(jié)是完備的，同樣，所有可歸結(jié)的謂詞公式都可以用采用支撐集策略達(dá)到加快歸結(jié)速度的目的。 刪除策略對(duì)阻止不必要的歸結(jié)式的產(chǎn)生來(lái)縮短歸結(jié)過(guò)程是有效的 。 避免多余的 、 不必要的歸結(jié)式出現(xiàn) 。 謂詞邏輯歸結(jié)原理 謂詞邏輯歸結(jié)原理 謂詞邏輯歸結(jié)原理 謂詞邏輯歸結(jié)原理 歸結(jié)原理 ? 歸結(jié)的注意事項(xiàng)： 1. 謂詞的一致性 ， P()與 Q()， 不可以 2. 常量的一致性， P(a, … )與 P(b,… .)， 不可以 變量， P(a, … .)與 P(x, … )， 可以 3. 變量與函數(shù)， P(a, x, … .)與 P(x, f(x), … )，不可以； 1. 是不能同時(shí)消去兩個(gè)互補(bǔ)對(duì)， P∨Q 與 ～ P∨ ～ Q的空，不可以 2. 先進(jìn)行內(nèi)部簡(jiǎn)化（置換、合并） 謂詞邏輯歸結(jié)原理 ? 歸結(jié)的過(guò)程 寫出謂詞關(guān)系公式 → 用反演法寫出謂詞表達(dá)式 → SKOLEM標(biāo)準(zhǔn)形 → 子句集 S → 對(duì) S中可歸結(jié)的子句做歸結(jié) → 歸結(jié)式仍放入 S中 ， 反復(fù)歸結(jié)過(guò)程 → 得到空子句 ?得證 謂詞邏輯歸結(jié)原理 例題 “快樂(lè)學(xué)生”問(wèn)題 ? 假設(shè)任何通過(guò)計(jì)算機(jī)考試并獲獎(jiǎng)的人都是快樂(lè)的 ， 任何肯學(xué)習(xí)或幸運(yùn)的人都可以通過(guò)所有的考試 ， 張不肯學(xué)習(xí)但他是幸運(yùn)的 ， 任何幸運(yùn)的人都能獲獎(jiǎng) 。 解：先求出集合 {f(b/y)/x, (y/z)/y, a/x, b/y, y/z}＝ {f(b)/x, y/y, a/x, b/y, y/z} 其中 ， f(b)/x中的 f(b)是置換 ?作用于 f(y)的結(jié)果； y/y中的 y是置換 ?作用于 z的結(jié)果 。 則 ?與 ?的合成也是一個(gè)置換 ， 記作 ? 解：這里我們首先引入謂詞： ? P(x, y) 表示 x是 y的父親 ? Q(x, y) 表示 x是 y的祖父 ? ANS(x) 表示問(wèn)題的解答 謂詞邏輯歸結(jié)原理 對(duì)于第一個(gè)條件 ， “ 如果 x是 y 的父親 ， y又是 z 的父親 ， 則 x是 z 的祖父 ” ， 一階邏輯表達(dá)式如下： A1： (?x)(?y)(?z)(P(x, y)∧ P(y, z)→ Q(x, z)) S A1：～ P(x ,y)∨ ～ P(y, z)∨ Q(x, z) 對(duì)于第二個(gè)條件： “ 每個(gè)人都有父親 ” ， 一階邏輯表達(dá)式： A2： (?y)(?x)P(x, y) S A2： P(f(y), y) 對(duì)于結(jié)論：某個(gè)人是它的祖父 B： (?x)(?y)Q(x, y) 否定后得到子句： ～ （ (?x)(?y)Q(x, y)） ∨ ANS(x) S～ B：～ Q(x, y)∨ ANS(x) 則得到的相應(yīng)的子句集為： { S A1， S A2， S～ B } 謂詞邏輯歸結(jié)原理 ? 歸結(jié)原理正確性的根本在于，找到矛盾可以肯定不真。 ? 子句集 S的求?。? G → SKOLEM 標(biāo)準(zhǔn)形 → 消去存在變量 → 以 “ ， ” 取代 “ ∧ ” ，并表示為集合形式 。 一階邏輯 ? 公式及其解釋 ? 個(gè)體常量： a
物理相關(guān)推薦
鄂ICP備17016276號(hào)-1