[計算機(jī)軟件及應(yīng)用]第6章邏輯程序設(shè)計語言范型邏輯程序設(shè)計理論基礎(chǔ)(編輯修改稿)
2025-01-04 02:30 本頁面
【文章內(nèi)容簡介】 robot, C) EMPTY（ robot） ON（ box， B） TABLE（ A） TABLE（ B） 邏輯程序設(shè)計語言范型 邏輯程序設(shè)計理論基礎(chǔ) 第六章 20 內(nèi)容 ? ? ? 謂詞演算 ? 基于謂詞演算的知識表示 ? 謂詞演算推理規(guī)則 ? ? 搜索 ? 推理 ? 置換與合一 ? 自然演繹推理 ? 歸結(jié)演繹推理 ? 子句集化簡 邏輯程序設(shè)計語言范型 邏輯程序設(shè)計理論基礎(chǔ) 第六章 21 謂詞演算推理規(guī)則 ? 謂詞公式的永真蘊含性 ? 對謂詞公式 P和 Q，如果 P→Q 永真，則稱 P永真蘊含 Q，且稱 Q為 P的邏輯結(jié)論， P為 Q的前提，記作 P=Q。 ? ①化簡式（與消除）： P∧Q = P 和 P∧Q=Q ? ②附加式： P=P∨Q 和 Q=P∨Q ? ③析取三段論： P， P V Q = Q ? ④取式假言推理： P， P→Q = Q ? ⑤拒式假言推理： Q， P → Q = P ? ⑥假言三段論： P → Q ， Q → R = P → R ? ⑦二難推理： P ∨ Q ， P → R ， Q →R = R ? ⑧全稱固化： （ x） P（ x） = P（ a） ? ⑨存在固化： （ x） P（ x） = P（ a） ????? 邏輯程序設(shè)計語言范型 邏輯程序設(shè)計理論基礎(chǔ) 第六章 22 內(nèi)容 ? ? ? ? 搜索 ? 推理 ? 置換與合一 ? 自然演繹推理 ? 歸結(jié)演繹推理 ? 子句集化簡 邏輯程序設(shè)計語言范型 邏輯程序設(shè)計理論基礎(chǔ) 第六章 23 ? 知識的利用 ： 基于對某個封閉世界已表示的知識的處理，以求解特定的問題。 ? ① 搜索 ：根據(jù)問題的實際情況 ， 不斷尋找可利用知識 ，從而構(gòu)造一條代價最小的推理路線 ， 使問題得以解決的過程 ， 稱為搜索 。 ? 盲目搜索 ：深度優(yōu)先搜索、寬度優(yōu)先搜索； ? 啟發(fā)式搜索 ：最佳優(yōu)先搜索、 A* 算法； ? ② 推理 ：按照某種 策略 從已知事實出發(fā)去推出結(jié)論的過程 —— 問題求解的過程 （ 思維過程 ） 。 ? 自然演繹推理 ? 歸結(jié)演繹推理（ Prolog語言采用的推理機(jī)制，重點 ） ? 合一（匹配）操作； ? 推理（搜索）方向：深度優(yōu)先； ? 回溯機(jī)制； 邏輯程序設(shè)計語言范型 邏輯程序設(shè)計理論基礎(chǔ) 第六章 24 內(nèi)容 ? ? ? ? 搜索 ? 推理 ? 置換與合一 ? 自然演繹推理 ? 歸結(jié)演繹推理 ? 子句集化簡 邏輯程序設(shè)計語言范型 邏輯程序設(shè)計理論基礎(chǔ) 第六章 25 搜索 ? 搜索的基礎(chǔ)是 圖論 ? 例：九宮游戲的 狀態(tài)空間圖 邏輯程序設(shè)計語言范型 邏輯程序設(shè)計理論基礎(chǔ) 第六章 26 ? 基于圖搜索的問題求解程序 ? 問題求解程序能否被賦予可靠的機(jī)制 （ 不犯任何錯誤 ）穿越狀態(tài)空間達(dá)到預(yù)期的目標(biāo)狀態(tài) ， 并建立解路徑 ？ 回溯 ： 系統(tǒng)地穿越狀態(tài)空間的所有路徑的一種技術(shù) 。 邏輯程序設(shè)計語言范型 邏輯程序設(shè)計理論基礎(chǔ) 第六章 27 搜索 對假想狀態(tài)空間的深度優(yōu)先搜索（回溯） 邏輯程序設(shè)計語言范型 邏輯程序設(shè)計理論基礎(chǔ) 第六章 28 內(nèi)容 ? ? ? ? 搜索 ? 推理 ? 置換與合一 ? 自然演繹推理 ? 歸結(jié)演繹推理 ? 子句集化簡 邏輯程序設(shè)計語言范型 邏輯程序設(shè)計理論基礎(chǔ) 第六章 29 置換與合一 ? 【 例 】 有如下三段論： ? “ 所有人會死；蘇格拉底是人，所以蘇格拉底會死。 ” ? ? ))(m o r t a l)(m a n( ?????)s o c r a t e s(m o r t a l)s o c r a t e s(m a n ?)s o c r a te s(m a n)s o c r a te s(m o r ta l? 這種尋找 項 對變量的 置換 ， 使謂詞一致的過程叫做合一 的過程 （ 合一算法 ） ? 項：常量、函數(shù)或其他變量 ? 公式集 F={man(X)， man(socrates)}中的兩個公式是可合一的 ， 置換 θ= scorates/X是該公式集的一個合一 。 ? 為了應(yīng)用推理規(guī)則進(jìn)行推理 ， 推理機(jī)必須能夠判斷兩個表達(dá)式是否相同 （ 匹配 ） 。 邏輯程序設(shè)計語言范型 邏輯程序設(shè)計理論基礎(chǔ) 第六章 30 置換與合一 ? 合一算法 unify（ E1， E2） ? 計算兩個謂詞演算公式間的合一置換。 ? 返回合一置換或常量 FAIL（當(dāng)不可能合一時） ? 【 例 】 ? 使用用 列表語法 表示謂詞公式語法。 E： p（ f（ a）， g（ X， Y）） （ p （ f a）（ g X Y）） 邏輯程序設(shè)計語言范型 邏輯程序設(shè)計理論基礎(chǔ) 第六章 34 內(nèi)容
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1