人工智能推理——归结反演，学习记录

自己也是一个在为期末考试加班赶点的大学牲，考试前对归结反演这一部分进行了“复习”（平时学校课程安排的不太好，所以和预习差不多），下面是我在学完以后的个人理解，通过博客的形式让自己巩固加深一下，顺便给更多对归结反演有困难的人一些帮助。如果大佬们觉得有哪些地方不对的希望能在评论区里批评一下。下面是正文：

1.归结反演的原理：

        如果通过多个条件可以推出一个结论是恒对的，那么通过一样的条件一定推不出和正确结论相反的结论。即如果可以推出结论P，那么~P就一定推不出。同时~P如果和之前的条件们一起归结，一定会形成空集。（在本文中的归结可以简单理解为将各个条件进行“且，也可以叫合取”的运算）

        于是我们在证明一个结论的时候就可以选择将条件一起与~P进行归结，通过最后的结果是否为空判断结论P是否正确，是空集，则P正确，反之，P不正确。

2.一些基本公式

        代表等价