人工智能lesson3--wenkub
2022-08-21 21:56:23 本頁面
【正文】 滿足的是指其全部子句的合取式是不可滿足的。由于空子句是不可滿足的，所以如果子句集中包含空子句，則該子句集是不可滿足的。 定義４、設 L是一個文字，則稱 L與 ?L為互補文字。即 S1不可滿足 ?S不可滿足 （２）若把 C1２ 加入到 S中，得到新子句集S２ ，則 S２ 與 S在不可滿足意義上是等價的。 ti與 xi不同， xi也不能出現(xiàn)在 tj中 (j=1,2,…,n) 。 定義８、設 ?＝ {t1 / x1, t2 / x2 ,…,tn / xn }， ?＝{u1 / y1, u2 / y2 ,…,um / ym }是兩個替換，則將集合{t1 ? / x1, t2 ? / x2 ,…,tn ? / xn， u1 / y1, u2 / y2 ,…,um / ym }中符合下列條件的兩種情形刪除： １）、 ti ? / xi ，當 ti ? ＝ xi 。 例、見教材 p67例 。?，則稱 ?為 S的一個最一般合一（ Most General Unifier），簡稱 MGU。 （ 3）、求 Sk的差異集 Dk 。 定理 3（合一定理）、如果 S是一個非空有限可合一的公式集，則合一算法總是在步（ 2）停止，且最后的 ?k即是 S的最一般合一。 定義 1如果子句 C中，兩個或兩個以上的文字有一個最一般合一 ? ，則稱 C?為 C的因子。 歸結(jié)反演：應用歸結(jié)原理證明定理的過程稱為歸結(jié)反演。求證：所有自然數(shù)不是奇數(shù)就是其一半為整數(shù)的數(shù)。 歸結(jié)演繹樹： ?N(y)?I(y) N( c) ?I(z)?E(z) ? O(z) ?O(c) I( c) ?I(c) ? E( c) E(c ) ?E(u)?I(h(u)) I(h (c )) ?I(h( c)) 應用歸結(jié)原理求取問題答案 應用歸結(jié)原理求取問題答案的步驟： （ 1）、把已知前提用謂詞公式表示出來，并化為子句集 S。 （ 4）、對 S39。求誰是老實人，誰是說謊者？ 解、設 T(x)表示 x說真話。下證 A是說謊者，即 ?T(A)，其否定為 （８）’ ? ? T(A)即 T(A) （９）’ ?T(B) ( (8)’, (1) ) （１０）’ T(C ) （（９）’，（７） ） （１１）’ ?T(C ) （ （８）’， （２） ） （１２）’ NIL （ （１０）’， （１１）’ ） 歸結(jié)策略 問題的提出 歸結(jié)反演的一般過程。 如此下去，直到出現(xiàn)空子句。在歸結(jié)過程中可隨時刪除以下子句： （ 1）、含有純文字的子句；純文字是指在子句中無補文字的文字。一個歸結(jié)策略是完備的，是指對于不可滿足的子句集，使用該策略進行歸結(jié)，最終必導出空子句。 支持集策略是完備的。 輸入策略的特點： 輸入歸結(jié)策略實際是一種自底向上的推理，它有相當高的效率。 單元歸結(jié)策略（單文字歸結(jié)策略） 每次參加歸結(jié)的兩個親本子句中，必須至少有一個是單元子句（單文字子句）。 是完備的 歸結(jié)策略的類型 簡化性策略。 負文字：原子公式的否定稱為負文字。 一般地，設子句 C: P1， … ， Pm ? Q1 ， … ， Qn 和 C? : P?1， … ， P ?s ? Q ?1， … ， Q ?t 中有 Pi與 Q ?j （或 Qi與 P?j ）可合一， ?為它們的 MGU，則C與 C?的歸結(jié)式為 P1 ? ， … ， Pi1 ? ， Pi+1 ? ， … ， Pm ? ， P ?1 ? ， … ， P ?s ? ? Q1 ? ， … ， Qn? ， Q ?1 ? ， … ， Q?j1 ? ， Q?j+1 ? ， … ， Q?t? 或 P1 ? ， … ， Pm ? ， P ?1 ? ， … ， P?j1 ? ， P ?j+1 ? ， … ， P ?s ? ? Q1? ， … ， Qi1? ， Q ?i+1 ? ， … ， Qn ? ， Q?1 ? ， … ， Q?t? 定義 1 至多含有一個正文字的子句稱為 Horn子句。 4.(3),(4)。 例 證明 P(a,c)是下面子句集 {（ 1），（ 2），（ 3），（ 4） }的邏輯結(jié)論。 當 n=0時，變?yōu)?P1， P2 ， … ， Pm ?，這相當于 P1? P2 ? …
醫(yī)療健康相關(guān)推薦
鄂ICP備17016276號-1