人工智能63597242(完整版)
【正文】 公式一定不能采用輸入歸結(jié)策略。 這樣可以避免歸結(jié)出的不必要的新子句加入歸結(jié) ， 造成惡性循環(huán) 。 線性歸結(jié)是完備的，同樣，所有可歸結(jié)的謂詞公式都可以采用線性歸結(jié)策略達(dá)到加快歸結(jié)速度的目的。 謂詞邏輯歸結(jié)原理 S T 可滿足 支撐集示意圖 謂詞邏輯歸結(jié)原理 語(yǔ)義歸結(jié) = 完備 語(yǔ)義歸結(jié)策略是將子句 S按照一定的語(yǔ)義分成兩部分 ， 約定每部分內(nèi)的子句間不允許作歸結(jié) 。 謂詞邏輯歸結(jié)原理 采用支撐集 =完備 支撐集：設(shè)有不可滿足子句集 S的子集 T， 如果 ST是可滿足的 ， 則 T是支持集 。 由于小的可以代表大的 ， 所以小的吃掉大的了 。 ? 歸結(jié)的過程是一個(gè)語(yǔ)義樹倒塌的過程。?＝ {f(b)/x， y/z} 謂詞邏輯歸結(jié)原理 合一 ? 合一可以簡(jiǎn)單地理解為 “ 尋找相對(duì)變量的置換 ， 使兩個(gè)謂詞公式一致 ” 。?/x1, t2 謂詞邏輯歸結(jié)原理 ? 置換：可以簡(jiǎn)單的理解為是在一個(gè)謂詞公式中用置換項(xiàng)去置換變量 。 注意 ： G真不一定 S真，而 S真必有 G真。 謂詞邏輯歸結(jié)原理 ? ? ? ? ? ? ? ? ? ? ? ? ? ? Skolem定理 ： 謂詞邏輯的任意公式都可以化為與之等價(jià)的前束范式，但其前束范式不唯一。 ? （ 2） 有的人活到一百歲以上 。 謂詞邏輯基礎(chǔ) 一階邏輯 ? 基本概念 ? 個(gè)體詞：表示主語(yǔ)的詞 ? 謂詞：刻畫個(gè)體性質(zhì)或個(gè)體之間關(guān)系的詞 ? 量詞：表示數(shù)量的詞 ? 小王是個(gè)工程師 。 在個(gè)體域 D為人類集合時(shí) ， 可符號(hào)化為： （ 1） ?xP(x)， 其中 P(x)表示 x是要死的 。 ? SKOLEM標(biāo)準(zhǔn)形定義： 消去量詞后的謂詞公式。 即： S = G 謂詞邏輯歸結(jié)原理 ? G = G1Λ G 2Λ G 3Λ …Λ G n 的子句形 ? G的字句集可以分解成幾個(gè)單獨(dú)處理。 ? 定義： 置換是形如 {t1/x1, t2/x2, … , tn/xn}的有限集合 。?/x2, … , tn ? 定義：設(shè)有公式集 F＝ {F1， F2， … ， Fn}， 若存在一個(gè)置換 ?，可使 F1?＝ F2?＝ … = Fn?， 則稱 ?是 F的一個(gè)合一 。 ? 歸結(jié)法的問題 ? 子句中有等號(hào)或不等號(hào)時(shí)，完備性不成立。 ? 若對(duì) S使用歸結(jié)推理過程中 ， 當(dāng)歸結(jié)式 Cj是重言式（ 永真式 ） 和 Cj被 S中子句和子句集的歸結(jié)式 Ci(ij)所歸類時(shí) ， 便將 Cj刪除 。 采用支撐集策略時(shí) ， 從開始到得到 ?的整個(gè)歸結(jié)過程中 ， 只選取不同時(shí)屬于 ST的子句 ，在其間進(jìn)行歸結(jié) 。 同時(shí)還引入了文字次序 ， 約定歸結(jié)時(shí)其中的一個(gè)子句的被歸結(jié)文字只能是該子句中 “ 最大 ” 的文字 。如果能搞找到一個(gè)較好的頂子句，可以式歸結(jié)順利進(jìn)行。 可以減少不必要的歸結(jié)次數(shù) 。簡(jiǎn)單的例子，歸結(jié)結(jié)束時(shí)，即最后一個(gè)歸結(jié)式為空子句的條件是，參加歸結(jié)的雙方必須是兩個(gè)單元子句。 謂詞邏輯歸結(jié)原理 C0 C1 C2 C3 C4 C5 空 線性歸結(jié)策略示意圖 謂詞邏輯歸結(jié)原理 單元?dú)w結(jié) = 完備 單元?dú)w結(jié)策略要求在歸結(jié)過程中 ， 每次歸結(jié)都有一個(gè)子句是單元子句 （ 只含一個(gè)文字的子句 ）或單元因子 。問題是如何尋找合適的語(yǔ)義分類方法，并根據(jù)其含義將子句集兩個(gè)部分中的子句進(jìn)行排序。 謂詞邏輯歸結(jié)原理 例如： A1ΛA 2ΛA 3Λ ～ B中的～ B可以作為支撐集使用 。 謂詞邏輯歸結(jié)原理 ? 主要思想：歸結(jié)過程在尋找可歸結(jié)子句時(shí) ， 子句集中的子句越多 ， 需要付出的代價(jià)就會(huì)越大 。 謂詞邏輯歸結(jié)原理 歸結(jié)過程的控制策略 ? 要解決的問題： ? 歸結(jié)方法的知識(shí)爆炸。 ? 例： 設(shè)有公式集 F
研究報(bào)告相關(guān)推薦
鄂ICP備17016276號(hào)-1