正向链接一阶逻辑（统一）

Question

3

我正在备考期末考试，但是我不太理解这个FC算法：

当你标准化每个规则之后，我能理解到这一步。然后我认为下一行说的是对于满足广义Moodus Ponens (p'_iTheta = p_iTheta)的每个theta，要做...某事。那个“某事”是什么？在这部分之后我并不是很理解发生了什么。

非常感谢您的帮助，谢谢阅读。

- user1846359

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Scott Hunter · Accepted Answer

基本上，Theta是一种替换，可以使你知道为真的某些术语（在KB中的p'）等于规则中的p，然后可以得出q'（应用相同Theta的q）也为真。如果该q'尚未知道，则进入new；如果它与我们的查询统一，则我们已经成功。