人工智能與專(zhuān)家系統(tǒng)(第二版)第4章邏輯推理(存儲(chǔ)版)
【正文】 2）減小否定連詞的轄域 利用下述等價(jià)關(guān)系把“ ﹁ ”移到緊靠謂 詞的位置上： 人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 （ 3）約束變?cè)獦?biāo)準(zhǔn)化 （ 4）消去存在量詞 若存在量詞不在全稱(chēng)量詞的轄域內(nèi)，則 用一個(gè)個(gè)體常量替換受該存在量詞約束的變 元。 人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 1. 命題邏輯中的歸結(jié)原理 定義 若 P是原子謂詞公式，則稱(chēng) P 與﹁ P為 互補(bǔ)文字 。 圖 例 人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 歸結(jié)反演 應(yīng)用歸結(jié)原理證明結(jié)論為真的過(guò)程稱(chēng)為 歸結(jié)反演 。 人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 證 ： 首先把求證的問(wèn)題用謂詞公式表示出來(lái)： 把 F1， F2， F3及 G 化成子句集： (1) ﹁ N(x) ∨ GZ(x) (2) ﹁ N(u) ∨ I(u) (3) ﹁ I(y)∨ E(y)∨ O(y) (4) ﹁ E(z)∨ I(s(z)) (5)N(t) (6) ﹁ O(t) (7) ﹁ I(s(t)) 人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 圖 例 人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 基于歸結(jié)反演的問(wèn)題求解 問(wèn)題求解的步驟 ： ①把已知前提用謂詞公式表示，并且 化為相應(yīng)的子句集 S。 求：小張的老師是誰(shuí)？ 人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 解 ： 1 定義謂詞 T(x, y) x是 y的老師。 在歸結(jié)時(shí)純文字不可能被消去，因而用包含 它的子句進(jìn)行歸結(jié)時(shí)不可能得到空子句。 人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 限制策略 1 支持集策略 支持集策略 對(duì)參加歸結(jié)的子句提出了 如下限制：每一次歸結(jié)時(shí)，親本子句中至 少應(yīng)有一個(gè)是由目標(biāo)公式的否定所得到的 子句，或者是它們的后裔。 單文字子句策略是不完備的。 人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 圖 祖先過(guò)濾形策略歸結(jié)樹(shù) 人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 演講完畢，謝謝觀看！ 。 圖 線(xiàn)性輸入策略歸結(jié)樹(shù) 人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 3 單文字子句策略 3 單文字子句策略 如果一個(gè)子句只包含一個(gè)文字，則稱(chēng) 它為 單文字子句 。 人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 3 包孕刪除 設(shè)有子句 C1和 C2，如果存在一個(gè)代換 σ，使得 則稱(chēng) C1包孕于 C2。 同理，可證明 B也不是老實(shí)人。 F2：小李與小張（ Zhang ）是同班同學(xué)。 偶數(shù)除以２是整數(shù)。 ?人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 上述歸結(jié)過(guò)程可以用歸結(jié)樹(shù)表示如圖 ?？兆泳涫遣豢蓾M(mǎn)足的。 定義 不包含任何文字的子句稱(chēng)為 空子句 。 {f (A)/x} ={A/z} 。 ?人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 差異集： 設(shè)有如下兩個(gè)謂詞公式： F1： P（ x, y, z） F2： P (x, f (A), h(B) ) 分別從 F1與 F2的第一個(gè)符號(hào)開(kāi)始比較，得到第一個(gè)差異 集： D1={y, f (A)} 當(dāng)繼續(xù)比較，又發(fā)現(xiàn) F1中的 z與 F2中的 h(B)不同，則得到 第二個(gè)差異集： D2={z, h(B)} 人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 求最一般合一算法 : （ 1）初始化，令 k=0, Fk=F,σk=Φ。如果兩者完全 一致，或者雖不完全一致但其相似程度落在指定 的限度內(nèi)，就稱(chēng)它們是 可匹配 的，否則為 不可匹 配。 直覺(jué)推理 :根據(jù)常識(shí)進(jìn)行的推理。人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 人工智能與專(zhuān)家系統(tǒng) 人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 第 4章 邏輯推理 推理的基本概念 歸結(jié)演繹推理 歸結(jié)反演的改進(jìn)策略 基于歸結(jié)反演的問(wèn)題求解 人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 推理的基本概念 推理方式及其分類(lèi) 推理的控制策略 模式匹配及其變量代換 人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 推理方式及其分類(lèi) 1 演繹推理、歸納推理、默認(rèn)推理 演繹推理 :是從全稱(chēng)判斷推導(dǎo)出特稱(chēng)判斷的 過(guò)程，即由一般性知識(shí)推理適合于某一具體情況 的結(jié)論，是一種從一般到個(gè)別的推理。 5 基于知識(shí)的推理、直覺(jué)推理 基于知識(shí)的推理 :根據(jù)已掌握的事 實(shí)，通過(guò)運(yùn)用知識(shí)進(jìn)行推理。 人工智能與專(zhuān)家系統(tǒng) (第二版）中國(guó)水利水電出版社 模式匹配及其變量代換 模式匹配 : 兩個(gè)
公司管理相關(guān)推薦
鄂ICP備17016276號(hào)-1