前向鏈接一階邏輯（統一）

Question

我正在為期末考試而學習，但無法理解此FC算法：

在您將每條規則標准化之前，我都了解這一點。 然后，我認為下一行是要對滿足廣義模態Ponens（p'_i Theta = p_i Theta）的每個theta說...。 那是什么東西 我不太了解那部分之后發生了什么。

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

Answer 1

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