反向链接 Backward Chaining

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

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

反向链接的性质:

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