人工智能之確定性推理(PPT 92頁)

主要內容
3.1 基本概念
3.3 自然演繹推理
3.4 歸結演繹推理
3.5 基於規則的演繹推理（與/或形演繹推理）

第三章 確定性推理
3.1 基本概念
基本概念
演繹推理
歸納推理
默認推理
逆向推理-例
定義3.1 置換（代換）
定義3.2 代換的複合
消解衝突策略
3.3 自然演繹推理
3.4 歸結演繹推理
把謂詞公式轉化為子句集的步驟：
應用歸結原理求問題的答案
歸結策略
2、歸結策略
2、刪除策略
2、刪除策略（續）
３、支持集策略
4、線性輸入策略
6、祖先過濾形策略
3.5 與/或形演繹推理
2、與/或形逆向演繹推理
3、雙向演繹推理
4、代換的一致性及剪枝策略
5、與/或形演繹推理的特點
本章小結
作業（P99~101）

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