标签： algorithm artificial-intelligence logic-programming
我正在寻找通过反向链接进行推理的算法的精确描述。每当我搜索时，我都会发现Russell和Norvig提出的标准示例没有正式的算法描述。
答案 0 :(得分：1)
也许这个链接可能会有所帮助： https://pvhaley.wordpress.com/2008/03/11/goals-and-backward-chaining-using-the-rete-algorithm/
喝彩！