logic - 前向链接一阶逻辑(统一)

Question

我正在为期末考试学习，但我无法理解这个 FC 算法:

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

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

Answer 1

基本上，Theta 是一种替代，可以使您知道的某些术语为真(KB 中的 p ) 等于规则中的p，则可以得出q' (q 具有相同的Theta 应用于它)也是如此。如果那个q' 是未知的，那么它进入new；如果它统一了我们的查询，那么我们就成功了。