反向推理机

（基于反向推理策略的推理机）

反向推理机是基于反向推理策略的推理机。推理机主要包括推理和控制二个方面，是知识系统中不可缺少的重要组成部分。反向推理也称自顶向下控制、目标驱动控制、后向推理。