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