推理是形式逻辑。是研究人们思维形式及其规律和一些简单的逻辑方法的科学。其作用是从已知的知识得到未知的知识，特别是可以得到不可能通过感觉经验掌握的未知知识。推理主要有演绎推理和归纳推理。演绎推理是从一般规律出发，运用逻辑证明或数学运算，得出特殊事实应遵循的规律，即从一般到特殊。归纳推理就是从许多个别的事物中概括出一般性概念、原则或结论，即从特殊到一般。

正向推理又称数据驱动推理，是按照由条件推出结论的方向进行的推理方式，它从一组事实出发，使用一定的推理规则，来证明目标事实或命题的成立。一般的推理过程是先向综合数据库提供一些初始已知事实，控制系统利用这些数据与知识库中的知识进行匹配，被触发的知识，将其结论作为新的事实添加到综合数据库中。重复上述过程，用更新过的综合数据库中的事实再与知识库中另一条知识匹配，将其结论更新至综合数据库中，直到没有可匹配的新知识和不再有新的事实加入到综合数据库中为止。然后测试是否得到解，有解则返回解，无解则提示运行失败。

逆向推理又称目标驱动推理，它的推理方式和正向推理正好相反，它是由结论出发，为验证该结论的正确性去知识库中找证据。