前向链接(推理)是数据驱动推理 反向链接(推理)是目标导向推理 Forward Chaining 可靠的Sound 完备的Complete 运行时间是线性的 从“已知的”叶子结点开始查询: 前向链接推理过程: 后向链接推理过程: