人工智能與專家系統(tǒng)(第二版)第4章邏輯推理-資料下載頁
2025-01-08 20:09本頁面
【正文】 圖 求誰是老實人的歸結樹 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 證明 A和 B不是老實人： 設 A不是老實人，則有 ﹁ T(A)，把它的否定 式 T(A) 加入到 S中，得到子句集 S2。 對 S2歸結，從而證明了 A不是老實人。 同理，可證明 B也不是老實人。 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 圖 例 A不是老實人的歸結樹 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 歸結反演的改進策略 刪除策略 限制策略 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 刪除策略 1 純文字刪除 如果某文字 L在子句集中不存在可與之互補 的文字 L，則稱該文字為 純文字 。 在歸結時純文字不可能被消去，因而用包含 它的子句進行歸結時不可能得到空子句。例如， 設有子句集： S={ P∨ Q∨ R, ﹁ Q∨ R， Q, ﹁ R } 其中， P是純文字，因此可將子句 P∨ Q∨ R從 S 中刪去。 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 2 重言式刪除 如果一個子句中同時包含互補文字時，則稱 該子句為 重言式 。 例如 P(x)∨ ﹁ P(x), P(x)∨ Q(x)∨ ﹁ P(x) 都是重言式。 重言式是真值為真的子句。對于一個子句集來說， 增加或者刪去一個真值為真的子句都不會影響它的不可 滿足性，因而可從子句集中刪去重言式。 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 3 包孕刪除 設有子句 C1和 C2，如果存在一個代換 σ，使得 則稱 C1包孕于 C2。 例如： P(x) 包孕于 P(y)∨ Q(z) σ={y/x} 或稱 P(x) 被 P(y)∨ Q(z) 包孕 把子句集中被包孕的子句刪去后，不會影響 子句集的不可滿足性，可從子句集中刪去被其它 子句包孕的子句。 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 限制策略 1 支持集策略 支持集策略 對參加歸結的子句提出了 如下限制：每一次歸結時，親本子句中至 少應有一個是由目標公式的否定所得到的 子句，或者是它們的后裔。 支持集策略是完備的。 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 例 設有初始子句集： S={﹁ I(x)∨ R(x), I(A), ﹁ R(y)∨ ﹁ L(y), L(A)} 其中 ﹁ I(x)∨ R(x)是目標公式否定得到的 子句。 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 圖 支持集策略歸結樹 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 2 線性輸入策略 線性輸入策略 對參加歸結的子句提出 了如下限制：參加歸結的兩個子句中必須 至少有一個是初始子句集中的子句。 線性輸入策略是不完備的。 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 例 應用線性輸入策略對例 集進行歸結。 圖 線性輸入策略歸結樹 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 3 單文字子句策略 3 單文字子句策略 如果一個子句只包含一個文字，則稱 它為 單文字子句 。單文字子句策略要求參 加歸結的兩個子句中必須有一個是單文字 子句。 單文字子句策略是不完備的。 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 例 對例 句策略進行歸結。 圖 單文字子句策略的歸結樹 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 5 祖先過濾形策略 祖先過濾形策略 要求兩個子句 C1和 C2 滿足下述兩個條件中的任意一個條件： ① C1與 C2中至少有一個是初始子句集 中的子句。 ② 如果兩個子句都不是初始子句集中 的子句，則一個應是另一個的祖先。 祖先過濾形策略是完備的。 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 例 有子句集 S={﹁ P(x)∨ Q(x), ﹁ P(y)∨ Q(y), P(u)∨ Q(u), P(t)∨ ﹁ Q(t)}, 用祖先過濾形策略進行歸結。 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 圖 祖先過濾形策略歸結樹 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 演講完畢，謝謝觀看！
公司管理相關推薦
鄂ICP備17016276號-1