經典人工智能技術—推理與搜索(PPT 77頁)

主要內容
引言——經典人工智能
5.1自動推理證明
5.1.1 機器真的能夠自動推理嗎？
自動推理示例：5個房間問題
自動推理示例
5.1.2 自動推理證明的發展史
自動證明的發展
自動證明的發展—王浩
屬於中國的自動證明方法—吳方法
如何實現自動推理證明？
推理示例—馬普爾小姐探案
誰是馬克誰是約爾？
馬普爾小姐的推理過程
推理的一般形式
符號與形式語言
5.1.3 謂詞邏輯
推理是如何進行的？
5.1.4 消解原理（歸結原理）
什麼叫消解
含變量的消解
置換與合一
化子句集
消解式的定義
怎麼利用消解原理進行證明？
消解反演示例—“激動人心的生活”問題
消解原理的局限性
5.2 問題求解與圖搜索策略
5.2.1 問題求解—什麼是問題求解
問題示例
5.2.2 問題表示——狀態空間圖
狀態轉換
狀態及其表示
狀態的轉換
傳教士野人問題狀態空間圖
5.2.3 解的搜索
圖的搜索過程
圖的一般搜索策略
盲目搜索
是什麼影響了搜索的效率？
啟發式搜索
估價函數
A算法
A*算法
利用A*算法求解八數碼問題
估價函數對算法的影響
估價函數對算法的影響示例
例：路徑規劃

..............................