人工智能一般搜索算法原理(PPT 153頁)

主要內容
第三章 一般搜索原理
盲目搜索
一些基本概念
一些基本概念（續1）
一般的圖搜索算法（GRAPHSEARCH）
一般的圖搜索算法（續）
深度優先搜索
深度優先搜索算法
深度優先搜索的性質
寬度優先搜索
寬度優先搜索的性質
等代價搜索
等代價搜索算法
啟發式圖搜索
希望：
基本思想
1，啟發式搜索算法A（A算法）
符號的意義
A算法
A算法（續）
一個A算法的例子
h計算舉例
最佳圖搜索算法A*（A*算法）
A*條件舉例
A*算法的性質
A*算法的性質（續1）
A*算法的性質（續2）
A*算法的性質（續3）
A*算法的性質（續4）
A*算法的性質（續5）
A*算法的性質（續6）
A*算法的性質（續7）
A*算法的改進
出現多次擴展節點的原因
解決的途徑
改進的條件
對h加以限製
h單調的性質
h單調的性質（續）
h單調的例子
對算法加以改進
改進的出發點
修正過程A
例子：傳教士與野人問題
4.5 AO*算法
算法的兩個階段
具體步驟
AO*算法舉例
歸結原理
概述
命題邏輯的歸結法
子句形
子句形( Skolem 標準形)
Herbrand定理
Herbrand定理（H域）
H域舉例
原子集舉例
Herbrand定理（H解釋）
H解釋-舉例
Herbrand定理（語義樹）
語義樹-舉例
封閉語義樹-舉例
Herbrand定理（結論）
歸結過程的控製策略
歸結過程的控製策略(盲目歸結)
謂詞邏輯的歸結方法
歸結舉例
例題得歸結樹
歸結反演求解-提取回答的過程
歸結反演求解-舉例
歸結反演求解-基於歸結的問答係統
例：猴子摘香蕉問題
問題的表示
問題的子句集
例子
例子
歸結方法小結

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