反向链接 (Backward Chaining) 是一种推理方法，通常应用于人工智能领域中的专家系统和规则引擎。它是一种基于目标导向的推理方法，通过从目标或结论开始，反向推导到已知事实或前提，以确定如何满足目标。

在反向链接中，系统首先确定需要实现的目标，然后从这些目标开始向后查找，查找能够推导出这些目标的规则和事实。这个过程一直持续到达到已知的事实或规则，或者确定无法实现目标。

反向链接的性质：

• 它被称为自上而下的方法。
• 后向链接基于前件推理规则。
• 在反向链接中，目标被分解为一个或多个子目标以证明事实的真实性。
• 它被称为目标驱动方法，因为目标列表决定选择和使用哪些规则。
• 后向链算法用于博弈论、自动定理证明工具、推理引擎、证明助手和各种人工智能应用。
• 后向链接方法主要使用深度优先搜索策略进行证明。