推理：是从已知事实出发，通过已掌握的知识，找出其中蕴含的事实或归纳出新的事实的过程
推理机 – 在人工智能系统中，实现推理过程的程序；
证据 – 用于指出推理的出发点及推理时应使用的知识；
知识 – 知识是使推理得以向前推进，并逐步达到最终目标的依据。
冲突消解策略
在推理过程中，系统要不断地利用当前已知事实与知识库中的知识进行匹配。 当出现已知事实可与知识库中的多个知识匹配成功，或多组已知事实都可与知识库中某一个知识匹配成功，或多组已知事实可与知识库中多个知识匹配成功时，称这种情况为发生了冲突。此时需要设计一定的冲突消解策略，以便从中挑选出一个知识用于当前推理
消解策略：

• 按照规则的针对性排序 针
• 按已知事实的新鲜性进行排序 鲜
• 按匹配度进行排序 匹
• 按条件个数排序 条
• 按上下文限制排序 文
• 按冗余限制排序 冗
• 根据领域问题的特点排序 域

自然演绎推理

从一组已知为真的事实出发，直接应用经典逻辑中的推理规则推出结论的过程被称为自然演绎推理。
优点：

• 表达定理证明过程自然，易理解。
• 拥有丰富的推理规则，推理过程灵活。
• 便于嵌入领域启发式知识。

缺点：
易产生组合爆炸，得到的中间结论一般呈指数形式递增。

归结演绎推理

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

子句：任何文字的析取式
子句集：由子句构成的集合
空子句：NIL
化简方法：

1. 利用公式消去蕴含

1. 将否定移动到谓词之前，用量词转换

1. 变量标准化，每个量词用不同的变元
2. 消去存在量词：用skolem函数

1. 化为前束型：将所有的全称量词都移动到公式的前面
2. 化为skolem标准型

1. 省略全程量词
2. 用子句集表示
3. 子句变量标准化，使每个子句变量符号不同。

   置换与合一

   
   置换的合成

对谓词公式L，有 (Lθ)λ = L(θλ), θλ 称为 θ 和 λ 的合成

鲁滨逊归结原理

归结反演

否定结论，加入子句集，进行归结，如果出现了空子句，证明Q为真

应用归结原理求解问题

将目标用谓词公式表示，并将其否定与 ANSWER 进行析取

去蕴含
移否定到谓词前
变量标准化
消去存在量词