请简述反向推理及其推理过程。

反向推理是从目标出发，反向使用规则，求证已知的事实，用驱动方式或自顶向下方式。
其推理过程是：
1.在规则库中找出其后件与目标事实匹配的规则，得到匹配的规则集合；
2.使用消除冲突策略，从匹配集合中选择一条规则作为启用规则；
3.把启用规则的前件作为子目标。重复这个过程，直到所有子目标的前件都在全局数据库中，则目标成功。如果某个子目标的前件不在全局数据库中，则推理以失败结束。

略