人工智能與專家系統(tǒng)(第二版)第4章邏輯推理-免費閱讀
【正文】 ② 如果兩個子句都不是初始子句集中 的子句，則一個應是另一個的祖先。 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 圖 支持集策略歸結樹 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 2 線性輸入策略 線性輸入策略 對參加歸結的子句提出 了如下限制：參加歸結的兩個子句中必須 至少有一個是初始子句集中的子句。 例如 P(x)∨ ﹁ P(x), P(x)∨ Q(x)∨ ﹁ P(x) 都是重言式。求誰是老實人，誰是說謊者？ 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 解 ： 1 定義謂詞： T(x) 表示 x說真話 。 ④對 S?應用歸結原理進行歸結。 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 例 已知 求證： G 是 F的邏輯結論。 推論 設 C1與 C2是子句集 S中的兩個子句， C12是它們的歸結式，若用 C12代替 C1和 C2后得到 新子句集 S1，則由 S1的不可滿足性可推出原子句 集 S的不可滿足性，即 S1的不可滿足性 S的不可滿足性 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 推論 設 C1與 C2是子句集 S中的兩 個子句， C12是它們的歸結式，若把 C12加 入 S中，得到新子句集 S2，則 S與 S2在不可 滿足的意義上是等價的，即 S2的不可滿足性 S的不可滿足性 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 2. 謂詞邏輯中的歸結原理 在謂詞邏輯中，由于子句中含有變元，所 以不可直接消去互補文字，先對變元代換，才能 進行歸結。 （ 8）對變元更名，使不同子句中的變元不 同名。 應用反證法的思想可把關于永真性的 證明轉化為不可滿足性的證明，即證明 P∧ ﹁ Q是不可滿足的。 {tk/ xk } Fk+1=Fk {tk/ xk } k=k+1 轉步驟（ 2）；否則， 算法終止， F的最一般合一不存在。 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 定義 設 θ={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 ui/yi 當 yi∈ {x1, x2, … ， xn} 后剩下的元素所構成的集合，記為 ?? ?人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 定義 設有公式集 F={F1, F2, …, F n},若 存在一個代換 λ使得 F1λ=F2λ= … =F nλ 則稱 λ為公式集 F的一個合一，且稱 F1, F2, … Fn是可合一的。 沖突消解 :需要按一定策略解決沖突， 以便從中挑選一個知識用于當前的推理，稱 這一解決沖突的過程為 沖突消解 。 非單調推理 :由于新知識的加入，不僅 沒有加強已推出的結論，反而要使得推理 退回到前面的某一步，重新開始。 默認推理 :是在知識不完全的情況下假設某 些條件已經具備所進行的推理 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 2 確定性推理、不確定性推理 確定性推理 :是指推理時所用的知識 都是精確的，推出的結論也是確定的，其 真值或者為真，或者為假。 3 限制策略 推理的限制策略 :在控制策略中指定推 理的限制條件，以對推理的深度、寬度、 時間、空間等進行限制。 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 例 :設有如下兩個知識模式： P1： Father（李四，李小四） and Man (李小四 ) P2： Father(x,y) and Man (y) 若用常量“李四”代換變量 x，用常量 “李小四”代換變量 y，則 P1與 P2就變得完全 一致。 （ 2）若 Fk只含一個表達式，則算法停止， σk就是最一 般合一；否則轉步驟（ 3）。 {g (y)/u} ={ A/z, f (A)/x } 。 人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 謂詞公式化成子句集的步驟 : （ 1）消去蘊涵連詞 利用下述等價關系消去謂詞公式中的 蘊涵連詞“ → ”： P→Q P ∨ Q ????人工智能與專家系統(tǒng) (第二版）中國水利水電出版社 （
公司管理相關推薦
鄂ICP備17016276號-1