参考答案：

反向推理是从目标出发，反向使用规则，求证已知的事实，用驱动方式或自顶向下方式。

其推理过程是：

1.在规则库中找出其后件与目标事实匹配的规则，得到匹配的规则集合；

2.使用消除冲突策略，从匹配集合中选择一条规则作为启用规则；

3.把启用规则的前件作为子目标。重复这个过程，直到所有子目标的前件都在全局数据库中，则目标成功。如果某个子目标的前件不在全局数据库中，则推理以失败结束。