我正在寻找一个精确的描述算法的推理通过反向链接每当我搜索时，我发现从罗素和Norvig中提取的标准示例没有对算法进行形式化描述。
最佳答案
也许这个链接会有帮助：
https://pvhaley.wordpress.com/2008/03/11/goals-and-backward-chaining-using-the-rete-algorithm/
干杯！
关于algorithm - 寻求反向链接算法的引用，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/5318337/