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