人工智能自动推理(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）逆向演绎推理的实现
正、逆向演绎推理的特点比较

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