`福尔摩斯`讲述的`反向推理`（分析推理）有点难明白，请大家解释得简单易懂

"反向推理" 在学术文献中的解释

1、如果先假定某一结论,再通过一组条件确认该结论,则称为反向推理.对于具有分层模块化且形式多样的规则库而言,可能的组合很多,在推理过程中需要给予引导.采用反向推理,并预先给定某一结论的相应的一组条件的组合,即是工艺决策过程中的启发式方法

2、从目标到已知事实的过程称为反向推理.在本系统中开发了一种混合推理方法去求解挤压工步方案的推理问题其实现见下节

3、ECAMES的逻辑推理过程采用目标驱动的推理方式,也称为反向推理方式.其推理过程为:For（事实库里的每一个事实）查询该事实里所有的变量号然后再变量库里取出对应的变量