人工智能（确定性推理方法）

三、确定性推理方法

3.1 推理的基本概念

3.1.1 推理的定义

3.1.2 推理方式及其分类

3.1.3 推理的方向

3.1.4 冲突消解策略

• 针对性排序

• 按已知事实的新鲜性排序

• 按匹配度排序

• 按条件个数排序

• 按上下文限制排序

• 按冗余限制排序

• 根据领域问题的特点排序

3.2 自然演绎推理

    从一组已知为真的事实出发，直接运用经典逻辑中的推理规则推出结论的过程

推理规则：P规则、T规则、假言推理、拒取式推理

3.3谓词公式化为子句集的方法

3.4 海伯伦（Herbrand）定理

1）H域和海伯伦定理

设谓词公式G的子句集为S，则按下述方法构造的个体变元域H称为公式G或子句集S的海伯伦域(Herbrand域，简称H域)：

(1)令H0是S中所出现的常量的集合。若S中没有常量出现，就任取一个常量a∈D，规定H0=a。

(2)令Hi+1=Hi∪{S中所有的形如f(t1,…,tn)的元素)，其中f(t1,…,tn)是出现于G中的任一函数符号，而t1,…,tn是Hi中的元素。i=0，1，2，…。

3.5 鲁宾逊归结原理

两个关键

• 子句集中子句之间是合取关系

• 空子句是不可满足的

基本思想

• 把欲证明问题的结论否定，并加入子句集，得到一个扩充的子句集S

• 检查子句集S中是否包含空子句，若包含，则S不可满足

• 若不包含，在S中选择合适的子句进行归结，一归结出空子句，就说明S不可满足

1）命题逻辑中归结原理（基子句的归结）

    设C1与C2是子句集中的任意两个子句，如果 C1中的文字L1与 C2中的文字L2互补，那么从C1和 C2中分别消去L1和L2，并将二个子句中余下的部分析取，构成一个新子句C12 。

$$推论1：设C_1与C_2是子句集S中的两个子句，C12是它们的归结式，若用C12代替C_1与C_2后得到新子句集S_1，则由S_1不可满足性可推出原子句集S的不可满足性。$$

$$推论2：设C_1与C_2是子句集S中的两个子句，C12是它们的归结式，若C12加入原子句集S，得到新子句集S_1，则S与S_1在不可满足的意义上是等价的。$$

2）谓词逻辑中的归结原理（含有变量的子句的归结）

3.6 归结反演

3.7 应用归结原理求解问题