Унификация – Искусственный интеллект – Логическое мышление – Модуль 2-15A05606 скачать в хорошем качестве

Унификация – Искусственный интеллект – Логическое мышление – Модуль 2-15A05606

Модуль 2 – Логическое мышление Унификация Унификация – это алгоритм определения подстановок, необходимых для согласования двух выражений исчисления предикатов (FOL). Чтобы применять правила вывода, система вывода должна уметь определять, когда два выражения совпадают; здесь используются алгоритмы унификации. Для унификации используется алгоритм UNIFY, который берёт два атомарных предложения и возвращает унификатор для этих предложений (если таковой существует). Пример: Найдите MGU для унификации {King(x), King(John)} Пусть α1 = King(x), α2 = King(John), Подстановка θ = {John/x} является унификатором для этих атомов, и после применения этой подстановки оба выражения будут идентичны. Мы можем получить вывод немедленно, если найдём подстановку θ такую, что King(x) и Greedy(x) соответствуют King(John) и Greedy(y). θ = {x/John, y/John} работает. Unify(α, β) = θ, если αθ = βθ. p q θ. Knows(John, x) Knows(John, Jane) {x/Jane}}. Knows(John, x) Knows(y, Jack) {x/Jack, y/John}}. Knows(John, x) Knows(y, Mother(y)) {y/John, x/Mother(John)}}. Knows(John, x) Knows(x, Jack) {fail}. Подписывайтесь на этот канал, оставляйте комментарии и делитесь с друзьями. Учебная программа, учебники, материалы, контрольные работы прошлых лет и важные вопросы Подпишитесь на меня в Блоге: https://dsumathi.blogspot.com/ Страница в Facebook: https://www.facebook.com/profile.php?... Instagram:   / dsumathiphd