反向推理是以已知事实作为出发点，按照一定的策略，运用知识库中的知识，推断出结论的过程。