人工智能導論課程電子教案(PPT 143頁)

第一章 產生式係統
1.1 產生式係統的基本組成
規則的一般形式
1.2 產生式係統的基本過程
一個簡單的例子
一個簡單的例子（續1）
一個簡單的例子（續2）
求解過程
1 .3 問題表示舉例
M-C問題（續1）
M-C問題（續2）
M-C問題（續3）
主要內容
M-C問題（續4）
M-C問題（第二種方法）
猴子摘香蕉問題
猴子摘香蕉問題（續1）
猴子摘香蕉問題（續2）
猴子摘香蕉問題（續3）
1.4 產生式係統的特點
1.5 產生式係統的類型
第二章 產生式係統的搜索策略
產生式係統的搜索策略（續1）
產生式係統的搜索策略（續2）
2.1 回溯策略
遞歸的思想
一個遞歸的例子
回溯搜索算法
存在問題及解決辦法
回溯搜索算法1
回溯搜索算法1（續）
一些深入的問題
一些深入問題（續）
2.2 圖搜索策略
一些基本概念
一些基本概念（續1）
一般的圖搜索算法
一般的圖搜索算法（續）
節點類型說明
2.3 無信息圖搜索過程
深度優先搜索
深度優先搜索的性質
寬度優先搜索的性質
漸進式深度優先搜索方法
2.4 啟發式圖搜索
希望：
基本思想
1，啟發式搜索算法A（A算法）
符號的意義
A算法
A算法（續）
一個A算法的例子
h計算舉例
2，最佳圖搜索算法A*（A*算法）
A*條件舉例
A*算法的性質
A*算法的性質（續1）
A*算法的性質（續2）
A*算法的性質（續3）
A*算法的性質（續4）
A*算法的性質（續5）
可采納性的證明
A*算法的性質（續6）
A*算法的性質（續7）
定理4的證明
定理4的證明（續1）
對h的評價方法
對h的評價舉例
A*的複雜性
3，A*算法的改進
出現多次擴展節點的原因
解決的途徑
改進的條件
對h加以限製
h單調的性質
定理5的證明
定理5的證明（續1）
定理5的證明（續2）
h單調的性質（續）
定理6的證明
h單調的例子
對算法加以改進
改進的出發點
修正過程A
h的單調化方法
IDA*算法(Iterative Deepening A*)
知識的靈活應用
4，其他的搜索算法
其他的搜索算法（續1）
動態規劃
5，搜索算法實用舉例
漢字識別後處理
第三章 與或圖的搜索
3.1 基本概念
耗散值的計算
能解節點
不能解節點
普通圖的情況
與或圖: 對局部圖的評價
兩個過程
AO*算法舉例
3.3 博弈樹搜索
分錢幣問題
中國象棋
1，極小極大過程
-?剪枝
-?剪枝（續）
-?剪枝的其他應用

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