我正在为期末考试学习，但我无法理解这个 FC 算法:
我理解你标准化每条规则的部分。然后我认为下一行是说对于满足广义 Modus Ponens (p'_iTheta = p_iTheta) 的每个 theta，做...某事。那是什么东西？我真的不明白那部分之后发生了什么。
感谢任何帮助。感谢阅读。
最佳答案
基本上，Theta 是一种替代，可以使您知道的某些术语为真(KB 中的 p ) 等于规则中的p，则可以得出q' (q 具有相同的Theta 应用于它)也是如此。如果那个q' 是未知的，那么它进入new；如果它统一了我们的查询，那么我们就成功了。
关于logic - 前向链接一阶逻辑(统一)，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/23096790/