反向链推理

（计算机科学技术）

反向链推理（backward chained reasoning，backward reasoning），计算机科学技术名词，从一组目标或假设出发，反向使用推理规则，以对其进行验证的推理方法。