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

Question

我正在准备期末考试，但我无法理解这个 FC 算法：

我理解到您将每条规则标准化的部分。然后我认为下一行是对满足广义 Modus Ponens (p'_iTheta = p_iTheta) 的每个 theta 说，做……一些事情。那是什么东西？我真的不明白那部分之后发生了什么。

感谢任何帮助。感谢阅读。

Answer 1

基本上，Theta 是一个替换项，它可以使您知道为真的一组术语（KB 中的p's）等于规则中的ps，然后您可以得出结论q'（q 应用相同的Theta）也是正确的。如果该q' 尚不为人所知，则它进入new；如果它与我们的查询相结合，那么我们就成功了。