[工學]第三章經典邏輯推理-資料下載頁

2026-03-12 22:24本頁面

　　

【正文】 0。把并入到公式集F中，得到 {F,}把公式集{F,}化為子句集 S4反復歸結子句集 S中的子句，若出現了空子句，則停止歸結，此時就證明了 G永真設 F為已知前提的公式集， G為目標公式（結論），用歸結反演證明 Q為真的步驟是：應用歸結原理證明問題例一個數據庫中有 A,B,C,D,E,F這 6個語句，但目前這個數據庫是不協調的，必須刪除某些語句才能恢復數據庫的協調性。已知：1. 如果保留 A,那么必須保留 B和 C.2. 如果保留 E，則必須同時刪除 D和 C.3. 如果保留 F，那么必須保留 E.4. 語句 A是重要的信息，不能刪除。求證：如果以上各項為真，則需同時刪除E和 F。用歸結原理求解問題用歸結原理求解問題把已知前提用謂詞公式表示出來，并且化為相應的子句集 S把待求解的問題用謂詞公式表示，把它否定并與謂詞ANSWER構成析取式若得到歸結式ANSWER，則答案在ANSWER中對 S’應用歸結原理進行歸結1 2 3 4 5把此析取式化為子句集，并且把該子句集并入到子句集S中，得到子句集S’ 歸結策略刪除策略通過刪除某些無用的子句來縮小歸結的范圍限制策略通過對參加歸結的子句進行種種限制，盡可能地減小歸結的盲目性，使其盡快地歸結出空子句。歸結策略把純文字所在的子句從子句集中刪去從子句集中刪除重言式刪除策略包孕刪除法重言式刪除法純文字刪除法歸結策略限制策略支持集策略線性輸入策略祖先過濾形策略單文字子句策略采用支持集 =完備支持集：設有不可滿足子句集 S的子集 T，如果 ST是可滿足的，則 T是支持集。采用支持集策略時，從開始到得到 ?的整個歸結過程中，只選取不同時屬于 ST的子句，在其間進行歸結。就是說，至少有一個子句來自于支持集 T或由 T導出的歸結式。例如： A1ΛA 2ΛA 3Λ ～ B中的～ B可以作為支持集使用。要求每一次參加歸結的親本子句中，只要應該有一個是有目標公式的否定（～ B）所得到的子句或者它們的后裔。支持集策略的歸結是完備的，同樣，所有可歸結的謂詞公式都可以用采用支持集策略達到加快歸結速度的目的。問題是如何尋找合適的支持集。一個最容易找到的支持集是目標子句的非，即 S～ B。 ? I(w)∨ R(w) I(A)L(A)? R(x) ∨L(x) ? D(y) ∨ ? L(y) D(A)? I(w) ∨L(w)R(A)L(A)? I(y) ∨ ?D(y)?D(A) ?I(A) ?D(A) ?D(A)NIL支持集策略 ? I(w) ∨R(w)I(A)L(A)? R(x) ∨L(x) ? D(y) ∨ ? L(y) D(A)? I(w) ∨L(w) ? R(y) ∨ ? D(y) ? L(A)R(A)L(A) ? I(y) ∨ ? D(y) ?R(A)?I(A)? I(y) ∨ ? D(y)NIL線性輸入形策略 ? I(w)∨ R(w) I(A)R(A) ? R(x)∨ L(x)L(A) ? D(y) ∨ ? L(y)? D(A) D(A)NIL單文字子句優先策略70祖先過濾策略每次參加歸結的兩個親本子句，只要滿足以下兩個條件中的任意一個就可進行歸結： (1) 兩個親本子句中至少有一個是初始子句集中的子句。 (2) 如果兩個親本子句都不是初始子句集中的子句，則一個子句應該是另一個子句的先輩子句。所謂一個子句 (例如 C1)是另一個子句 (例如 C2)的先輩子句是指 C2是由 C1與別的子句歸結后得到的歸結式。? 例設有如下子句集：? S={﹁ Q(x)∨ ﹁ P(x), Q(y)∨ ﹁ P(y)，﹁ Q(w)∨ P(w) , Q(a)∨ P(a) }? 用祖先過濾策略證明 S為不可滿足? 證明：從 S出發，按祖先過濾策略歸結過程如下圖所示。71祖先過濾策略﹁ Q(x)∨ ﹁P(x)Q(y)∨ ﹁P(y)﹁ P(x)﹁ Q(w)∨ P(w)﹁ Q(w)Q(a)∨ P(a)P(a)NIL

點擊復制文檔內容

教學課件相關推薦

[工學]第三章經典邏輯推理-資料下載頁

第三章時序邏輯-資料下載頁

[工學]vf課件第三章-資料下載頁

[工學]電路原理第三章-資料下載頁

第三章組合邏輯電路-資料下載頁

工學第三章串ppt課件-資料下載頁

[工學]第三章測量技術基礎-資料下載頁

[工學]數據結構第三章-資料下載頁

[工學]機電傳動第三章-資料下載頁

[工學]數控cadcam第三章-資料下載頁

[工學]數字電路第三章-資料下載頁

[工學]第三章隨機信號分析-資料下載頁

[工學]第三章非穩態導熱-資料下載頁

[工學]第三章數組和向量-資料下載頁

[工學]第三章集合與關系-資料下載頁

[工學]第三章指令系統-資料下載頁

[工學]第三章經典邏輯推理-閱讀頁

[工學]第三章經典邏輯推理(文件)

[工學]第三章經典邏輯推理-全文預覽

[工學]第三章經典邏輯推理-預覽頁

[工學]第三章經典邏輯推理-免費閱讀