人工智能自動推理(PPT 212頁)

主要內容
第4章自動推理
4.1 引 言
什麼是推理
推理方式及其分類
推理的控製策略
正、逆向推理比較
4.3 自然演繹推理
自然演繹推理的基本概念
自然演繹推理的基本概念
自然演繹推理的優缺點
回顧謂詞邏輯表示法
合適(式)公式
合適公式的性質
合適公式的標準化★
前束範式
史柯倫標準型及其構造思想
一階邏輯公式所對應的Skolem標準型基於如下思想來構造：
Skolem標準型
歸結演繹推理
歸結演繹推理1）H域和海伯倫定理（了解）
歸結演繹推理1）H域和海伯倫定理
歸結演繹推理2）歸結原理★
歸結演繹推理2）歸結原理
歸結演繹推理2）歸結原理-置換和合一★
置換和合一實例1
置換和合一實例2
歸結演繹推理2）歸結原理-置換和合一
置換和合一實例3
歸結演繹推理 3）歸結反演★
歸結演繹推理 3）歸結反演——歸結反演係統
歸結演繹推理 3）歸結反演:課堂練習
歸結演繹推理 3）歸結反演
歸結演繹推理 3）歸結反演——提取問題回答
歸結演繹推理 3）歸結反演——歸結策略
歸結演繹推理的歸結策略-廣度優先策略
歸結演繹推理的歸結策略-支持集策略
歸結演繹推理總結
基於規則的演繹推理
基於規則的正向演繹推理 1）問題求解的規範表示
基於規則的正向演繹推理 2）正向演繹推理的實現
基於規則的逆向演繹推理 1）問題求解的規範表示
基於規則的逆向演繹推理 2）逆向演繹推理的實現
正、逆向演繹推理的特點比較

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