人工智能與專家系統(tǒng)(第二版)第4章邏輯推理-wenkub
2023-01-27 20:09:13 本頁(yè)面
【正文】 理 :是指推理時(shí)所用的知識(shí) 不都是精確的，推出的結(jié)論也不完全是肯 定的，其真值位于真與假之間。人工智能與專家系統(tǒng) (第二版）中國(guó)水利水電出版社 人工智能與專家系統(tǒng) 人工智能與專家系統(tǒng) (第二版）中國(guó)水利水電出版社 第 4章 邏輯推理 推理的基本概念 歸結(jié)演繹推理 歸結(jié)反演的改進(jìn)策略 基于歸結(jié)反演的問(wèn)題求解 人工智能與專家系統(tǒng) (第二版）中國(guó)水利水電出版社 推理的基本概念 推理方式及其分類 推理的控制策略 模式匹配及其變量代換 人工智能與專家系統(tǒng) (第二版）中國(guó)水利水電出版社 推理方式及其分類 1 演繹推理、歸納推理、默認(rèn)推理 演繹推理 :是從全稱判斷推導(dǎo)出特稱判斷的 過(guò)程，即由一般性知識(shí)推理適合于某一具體情況 的結(jié)論，是一種從一般到個(gè)別的推理。 人工智能與專家系統(tǒng) (第二版）中國(guó)水利水電出版社 3 單調(diào)推理、非單調(diào)推理 單調(diào)推理 :隨著推理過(guò)程向前推進(jìn)及新 知識(shí)的進(jìn)入，推出的結(jié)論呈單調(diào)增加的 趨勢(shì)。 直覺(jué)推理 :根據(jù)常識(shí)進(jìn)行的推理。稱這種情況為發(fā)生了 沖突 。如果兩者完全 一致，或者雖不完全一致但其相似程度落在指定 的限度內(nèi)，就稱它們是 可匹配 的，否則為 不可匹 配。其中 t1, t2 … tn是項(xiàng)； x1, x2 … xn是互不相同的變?cè)? ti /xi 表示用 ti 代換 xi , 不允許 ti 與 xi 相 同，也不允許變?cè)?xi循環(huán)地出現(xiàn)在另一個(gè) tj 中。 ?人工智能與專家系統(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)} 人工智能與專家系統(tǒng) (第二版）中國(guó)水利水電出版社 求最一般合一算法 : （ 1）初始化，令 k=0, Fk=F,σk=Φ。 （ 4）若 Dk中存在變?cè)?xk和項(xiàng) tk，且 xk不在 tk中出現(xiàn)，則： σk+1=σk 。 {f (A)/x} ={A/z} 。公式集 F的最一般合一為 σ3 ={A/z, f (A)/x, g (y)/u} 人工智能與專家系統(tǒng) (第二版）中國(guó)水利水電出版社 歸結(jié)演繹推理 謂詞公式化為子句集的方法 歸結(jié)原理 歸結(jié)反演 人工智能與專家系統(tǒng) (第二版）中國(guó)水利水電出版社 定理證明的實(shí)質(zhì)是對(duì)已知前提 P和待證 結(jié)論 Q證明 P→Q 的永真性。 定義 不包含任何文字的子句稱為 空子句 。 人工智能與專家系統(tǒng) (第二版）中國(guó)水利水電出版社 （ 5）組成全稱量詞前綴 （ 6）利用等價(jià)關(guān)系把母式化為 Skolem標(biāo)準(zhǔn) 形： （ 7）消去全稱量詞?？兆泳涫遣豢蓾M足的。 人工智能與專家系統(tǒng) (第二版）中國(guó)水利水電出版社 定理 歸結(jié)式 C12是其親本子句 C1與 C2的 邏輯結(jié)論 。 ?人工智能與專家系統(tǒng) (第二版）中國(guó)水利水電出版社 上述歸結(jié)過(guò)程可以用歸結(jié)樹(shù)表示如圖 。如此反復(fù)進(jìn)行，若出 現(xiàn)了空子句，則停止歸結(jié)，此時(shí)就證明了 Q為真。 偶數(shù)除以２是整數(shù)。 人工智能與專家系統(tǒng) (第二版）中國(guó)水利水電出版社 ③把此析取式化為子句集，并且把該 子句集加入到子句集 S中，得到子句集 S?。 F2：小李與小張（ Zhang ）是同班同學(xué)。 2 謂詞公式表示 目標(biāo)公式 G的否定式與 ANSWER的析取式為： 人工智能與專家系統(tǒng) (第二版）中國(guó)水利水電出版社 3 化為子句集 (1)T(Wang , Li) (2) C (Li, Zhang ) (3) ﹁ C(x, y)∨ ﹁ T(z, x)∨ T(x, y) (4) ﹁ T(u, Zhang )∨ ANSWER(u) 人工智能與專家系統(tǒng) (第二版）中國(guó)水利水電出版社 圖 例 人工智能與專家系統(tǒng) (第二版）中國(guó)水利水電出版社 例 設(shè) A， B， C三人中有人從不說(shuō) 真話，也有人從不說(shuō)假話，某人向這三人 分別提出同一個(gè)問(wèn)題：誰(shuí)是說(shuō)謊者？ A答： “ B和 C都是說(shuō)謊者”； B答：“ A和 C都是說(shuō) 謊者”； C答：“ A和 B中至少有一個(gè)是說(shuō)謊 者”。 同理，可證明 B也不是老實(shí)人。 人工智能與專家系統(tǒng) (第二版）中國(guó)水利水電出版社 2 重言式刪除 如果一個(gè)子句中同時(shí)包含互補(bǔ)文字時(shí)，則稱 該子句為 重言式 。 人工智能與專家系統(tǒng) (第二版）中國(guó)水利水電出版社 3 包孕刪除 設(shè)有子句 C1和 C2，如果存在一個(gè)代換 σ，使得 則稱 C1包孕于 C2。 人工智能與專家系統(tǒng) (第二版）中國(guó)水利
公司管理相關(guān)推薦
鄂ICP備17016276號(hào)-1