Логика первого порядка цепочки прямого движения (унификация)

Question

Логика первого порядка цепочки прямого движения (унификация)

Я готовлюсь к своему последнему экзамену, и у меня возникают проблемы с пониманием этого алгоритма FC:

Я понимаю это до той части, где вы стандартизируете каждое правило. Тогда я думаю, что следующая строка говорит для каждой тэты, которая удовлетворяет обобщенному модусу поненс (p'_iTheta = p_i Theta), сделайте... что-нибудь. Что это такое? Я не очень понимаю, что происходит после этой части.

Любая помощь приветствуется. Спасибо за прочтение.

3

logic artificial-intelligence substitution unification unify

Источник

user1846359 16 апр '14 в 00:18

1 ответ

Решение

Другие вопросы по тегам logic artificial-intelligence substitution unification unify

user535275 16 апр '14 в 00:33 2014-04-16 00:33 · Accepted Answer · 2014-04-16 00:33

В принципе, Theta это замена, которая может сделать некоторый набор терминов, которые вы знаете, чтобы быть правдой (p'в KB) равный pS в правиле, то вы можете сделать вывод, что q' (q с тем же Theta применяется к нему) тоже верно. Если это q' еще не известно, то это входит в new; если он объединяет наш запрос, то мы преуспели.