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

Posted 2023-05-08

【中文标题】前向链接一阶逻辑（统一）

【英文标题】：Forward Chaining First Order Logic (Unification)

【发布时间】：2014-05-30 13:53:57

【问题描述】：

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

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

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

【参考方案1】：

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