Backward Chaining

释义 Definition

后向链推（逆向推理）：一种在逻辑推理、专家系统与规则系统中常见的推理策略；从目标/结论出发，反向寻找能支持该结论的规则与前提，不断把目标分解为更小的子目标，直到能被已知事实满足（或失败）。常被称为目标驱动（goal-driven）推理。（另有相对概念：forward chaining 前向链推。）

发音 Pronunciation (IPA)

/ˈbækwərd ˈtʃeɪnɪŋ/

例句 Examples

The system uses backward chaining to prove the diagnosis.
该系统使用后向链推来证明这个诊断结论。

In a rule-based expert system, backward chaining starts from a goal and works backward through rules until it reaches known facts in the knowledge base.
在基于规则的专家系统中，后向链推从目标出发，沿着规则反向推导，直到追溯到知识库中已知的事实为止。

词源 Etymology

backward（向后地、逆向地）+ chaining（链式连接、连锁推导）。字面意思是“向后进行的链式推理”：不是从事实一路推到结论，而是从想要的结论反过来“接链条”，去找能支撑它的条件与规则。

相关词 Related Words

• Backward
• Chaining
• Forward Chaining
• Inference
• Deduction
• Rule-Based
• Goal-Driven
• Knowledge Base
• Expert System
• Prolog

文学与经典著作中的用例 Notable Works

• Artificial Intelligence: A Modern Approach（Stuart Russell & Peter Norvig）：在知识表示与推理/规则推理相关章节中讨论后向链推等推理方法。
• Prolog Programming for Artificial Intelligence（Ivan Bratko）：通过 Prolog 的目标求解机制与逻辑推理实践，常与后向链推思想对应。
• Artificial Intelligence（Patrick Henry Winston）：传统 AI 教材中介绍规则系统与推理策略时常提到后向链推。
• 专家系统经典教材（如 Expert Systems: Principles and Programming 等）：以诊断、故障排查等任务为例，常用后向链推描述“从结论倒推证据”的推理流程。