δ
\delta
δ：一系列句子的集合（知識庫）
ℜ
\reℜ：一系列的推理規則
乙個句子α
\alpha
α是句子集合δ
\delta
δ的乙個演繹（驗證），當且僅當α
\alpha
α能夠通過ℜ
\reℜ從δ
\delta
δ推導出，即 δ⟹ℜ
α\delta\implies _\alpha
δ⟹ℜ
α乙個推理程式（推理引擎）：發現乙個合適的推理規則應用的步驟序列，視為構建乙個證明的過程。
一階謂詞邏輯的表示
推理：推理規則應用的過程，一步步推導出結論
難點：潛在的搜尋空間組合**問題：潛在有較長的路徑和大量的分支
機會：推理規則的應用是具有模式的
人智導（一） 無資訊搜尋
狀態空間模型 定義兩個基本元素 本體 步驟如下 function problem solving agent p returns an action inputs p a percept static s an action ssequence,intially empty state some d...
人智導（三） 區域性搜尋
搜尋的目的 系統地探查狀態空間，去發現從初始狀態到目標的途徑 放寬約束條件 一些現實問題的解決 現實應用中很多問題 發現目標，而非達到目標的路徑 如何描述目標狀態？需要完全狀態 complete state 表示 舉例 八皇后問題 問題形式化表示 搜尋過程 應用問題 發現目標，而不是達到目標的途徑 ...
人智導（五） 對抗搜尋與博弈
對抗搜尋 adversarial search 源於博弈 game playing 博弈問題定義為搜尋問題 下圖為井字棋遊戲的博弈樹 utility值針對的是max棋手，min的值正好相反 博弈樹較小，9 362880 9 362880 9 362 880個結束狀態，對於西洋棋等現實問題來說很小 資...