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