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

Question

我正在为期末考试而学习，而且我无法理解这个FC算法：

我理解你将每个规则标准化的部分。然后我认为下一行是说每个theta满足广义的Modus Ponens（p＆＃39; _i Theta = p_i Theta），做......某事。那是什么东西？我不太了解那部分后发生的事情。

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

Answer 1

基本上，Theta是一种替代，可以使您知道的某些术语为真（p'中的KB）等于p s在规则中，您可以得出结论q'（q应用了相同的Theta）也是如此。如果q'尚未知晓，则会进入new;如果它与我们的查询统一，那么我们就成功了。