正向推理一階邏輯（統一）

Question

我學爲我的期末考試，我無法理解這FC算法：

我理解它的一部分，你的每個標準化規則。然後我想下一行是說每個theta滿足廣義Modus Ponens（p'_i Theta = p_i Theta），做...某事。那是什麼？我不太瞭解那部分後發生了什麼。

任何幫助表示讚賞。謝謝閱讀。

Answer 1

基本上，Theta是一種替代，可以使一些一套術語，你知道是正確的（在p' S IN的KB）等於p S IN的規則，那麼你就可以得出結論：q'（q具有相同Theta也適用於此）也是如此。如果q'不是已知的，那麼它將進入new;如果它與我們的查詢統一起來，那麼我們就成功了。