推理是形式逻辑。是研究人们思维形式及其规则和一些简单的逻辑办法的科学。其感化是从已知的常识得到未知的常识，出格是能够得到不成能通过觉得经历掌握的未知常识。推理次要有演绎推理和归纳推理。演绎推理是从一般规则动身，运用逻辑证明或数学运算，得出特殊事实应遵照的规则，即从一般到特殊。
归纳推理就是从许多个此外事物中归纳综合出一般性概念、原则或结论，即从特殊到一般。正向推理又称数据驱动推理，是根据由前提推出结论的标的目的停止的推理体例，它从一组事实动身，利用必然的推理规则，来证明目的事实或命题的成立。一般的推理过程是先向综合数据库供给一些初始已知事实，控造系统操纵那些数据与常识库中的常识停止婚配，被触发的常识，将其结论做为新的事实添加到综合数据库中。
反复上述过程，用更新过的综合数据库中的事实再与常识库中另一条常识婚配，将其结论更新至综合数据库中，曲到没有可婚配的新常识和不再有新的事实参加到综合数据库中为行。然后测试能否得到解，有解则返回解，无解则提醒运行失败。逆向推理又称目的驱动推理，它的推理体例和正向推理正好相反，它是由结论动身，为验证该结论的准确性去常识库中找证据。
0