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