人工智能63597242-wenkub.com
2025-02-18 15:10 本頁面
【正文】 原始子句集中沒有單元子句的謂詞公式一定不能采用輸入歸結(jié)策略。 這樣可以避免歸結(jié)出的不必要的新子句加入歸結(jié) ， 造成惡性循環(huán) 。 顯而易見 ， 詞中方法可以簡單地削去另一個非單子句中的一個因子 ， 使其長度減少 ，構(gòu)成簡單化 ， 歸結(jié)效率較高 。 線性歸結(jié)是完備的，同樣，所有可歸結(jié)的謂詞公式都可以采用線性歸結(jié)策略達(dá)到加快歸結(jié)速度的目的。 謂詞邏輯歸結(jié)原理 線性歸結(jié) =完備 線性歸結(jié)策略首先從子句集中選取一個稱作頂子句的子句 C0開始作歸結(jié)。 謂詞邏輯歸結(jié)原理 S T 可滿足 支撐集示意圖 謂詞邏輯歸結(jié)原理 語義歸結(jié) = 完備 語義歸結(jié)策略是將子句 S按照一定的語義分成兩部分 ， 約定每部分內(nèi)的子句間不允許作歸結(jié) 。要求每一次參加歸結(jié)的親本子句中 ， 只要應(yīng)該有一個是有目標(biāo)公式的否定 （ ～ B） 所得到的子句或者它們的后裔 。 謂詞邏輯歸結(jié)原理 采用支撐集 =完備 支撐集：設(shè)有不可滿足子句集 S的子集 T， 如果 ST是可滿足的 ， 則 T是支持集 。如果在歸結(jié)時能把子句集中無用的子句刪除掉 ，就會縮小搜索范圍 ， 減少比較次數(shù) ， 從而提高歸結(jié)效率 。 由于小的可以代表大的 ， 所以小的吃掉大的了 。 ? 控制策略的目的 ? 歸結(jié)點盡量少 ? 控制策略的原則 ? 給出控制策略 ， 以使僅對選擇合適的子句間方可做歸結(jié) 。 ? 歸結(jié)的過程是一個語義樹倒塌的過程。 注意：一般說來，一個公式集的合一不是唯一的。?＝ {f(b)/x， y/z} 謂詞邏輯歸結(jié)原理 合一 ? 合一可以簡單地理解為 “ 尋找相對變量的置換 ， 使兩個謂詞公式一致 ” 。 合成即是對 ti先做 ?置換然后再做 ?置換 ， 置換 xi 謂詞邏輯歸結(jié)原理 ? 例： 設(shè)： ?＝ {f(y)/x, z/y}， ?＝ {a/x, b/y, y/z}， 求 ?與 ?的合成 。?/x1, t2 {g(y)/x， f(x)/y}不是一個置換 ， 謂詞邏輯歸結(jié)原理 置換 置換的合成 ? 設(shè) ?＝ {t1/x1, t2/x2, … , tn/xn}， ?＝ {u1/y1, u2/y2, … , un/yn}， 是兩個置換 。 謂詞邏輯歸結(jié)原理 ? 置換：可以簡單的理解為是在一個謂詞公式中用置換項去置換變量 。 又知每個人都有父親 ， 試問對某個人來說誰是它的祖父 ？ 求：用一階邏輯表示這個問題 ， 并建立子句集 。 注意 ： G真不一定 S真，而 S真必有 G真。 ? 子句：一些文字的析取 （ 謂詞的和 ） 。 謂詞邏輯歸結(jié)原理 ? ? ? ? ? ? ? ? ? ? ? ? ? ? Skolem定理 ： 謂詞邏輯的任意公式都可以化為與之等價的前束范式，但其前束范式不唯一。 （ 2） ?x（ R(x) ∧ Q(x)）， 其中， R(x)表示 x是人； Q(x)表示 x活到一百歲以上。 ? （ 2） 有的人活到一百歲以上 。 ? 小麗和小華是朋友 。 謂詞邏輯基礎(chǔ) 一階邏輯 ? 基本概念 ? 個體詞：表示主語的詞 ? 謂詞：刻畫個體性質(zhì)或個體之間關(guān)系的詞 ? 量詞：表示數(shù)量的詞 ? 小王是個工程師 。 其中 ， “ 小王 ” 、 “ 工程師 ” 、 “ 我 ” 、 “ 花 ” 、 “ 8” 、 “ 小麗 ” 、“ 小華 ” 都是個體詞 ， 而 “ 是個工程師 ” 、 “ 是個自然數(shù) ” 、“ 去買 ” 、 “ 是朋友 ” 都是謂詞 。 在個體域 D為人類集合時 ， 可符號化為： （ 1） ?xP(x)， 其中 P(x)表示 x是要死的 。 一階邏輯 ? 公式及其解釋 ? 個體常量： a,b,c ? 個體變量： x,y,z ? 謂詞符號： P,Q,R ? 量詞符號： ? ,? 謂詞邏輯
研究報告相關(guān)推薦
鄂ICP備17016276號-1