人工智能3确定性推理

1.关于推理

演绎与归纳的区别
演绎推理是在已知领域内一般性知识的前提下，通过演绎，求解一个具体问题或者证明一个结论的正确性。其所得出的结论实际上早已蕴含在一般性知识的前提中，演绎推理不过是将已有事实揭露出来，因而不能增值新知识。
归纳推理所推出的结论并未包含在前提内容中。这种由个别事物或现象推出一般性知识的过程，是增值新知识的过程。

2.自然演绎推理

自然演绎推理的优缺点
优点：表达定理证明过程自然，易理解；拥有丰富的推理规则，推理过程灵活；便于嵌入领域启发式知识。
缺点：容易产生知识爆炸，推理过程中得到的中间结论一般按指数规律递增，对于复杂问题的推理不利，甚至难以实现。

3.子句集转化

例 将下列谓词公式化为子句集：
(∀x){[﹁P(x)∨﹁Q(x)] → (∃y)[S(x, y)∧Q(x)]}∧(∀x)[P(x)∨B(x)]

Step 9. 消去合取词，得到子句集：
{ Q(x), P(y)∨S(y, f(y)), P(w)∨B(w) }

4.鲁滨逊归结原理

5.归结原理的应用