本文主要是介绍人工智能推理——归结反演，学习记录，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
自己也是一个在为期末考试加班赶点的大学牲，考试前对归结反演这一部分进行了“复习”（平时学校课程安排的不太好，所以和预习差不多），下面是我在学完以后的个人理解，通过博客的形式让自己巩固加深一下，顺便给更多对归结反演有困难的人一些帮助。如果大佬们觉得有哪些地方不对的希望能在评论区里批评一下。下面是正文：
1.归结反演的原理：
如果通过多个条件可以推出一个结论是恒对的，那么通过一样的条件一定推不出和正确结论相反的结论。即如果可以推出结论P，那么~P就一定推不出。同时~P如果和之前的条件们一起归结，一定会形成空集。（在本文中的归结可以简单理解为将各个条件进行“且
，也可以叫合取”的运算）
于是我们在证明一个结论的时候就可以选择将条件一起与~P进行归结，通过最后的结果是否为空判断结论P是否正确，是空集，则P正确，反之，P不正确。
2.一些基本公式
代表等价
这篇关于人工智能推理——归结反演，学习记录的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
