寻找后备链算法的参考

Question

我正在寻找通过反向链接进行推理的算法的精确描述。每当我搜索时，我都会发现从Russell和Norvig中提取的标准示例，没有对算法进行正式描述。

Answer 1

也许这个链接可以帮助：
https://pvhaley.wordpress.com/2008/03/11/goals-and-backward-chaining-using-the-rete-algorithm/

喝彩！