逆向推理又称为目标驱动推理，它的推理方式与正向推理刚好相反。它是由
结论出发，为验证该结论的正确性去知识库中找证据。其基本推理过程是从表示
目标的谓词或命题出发，使用一组规则证明事实谓词或命题成立，即提出一批假
设(目标)，然后逐一验证这些假设的正确性。