2 года назад
Лекция -1.
Метод резолюции
65 подписчиков
Описание
undefined
Логика высказываний и предикатов. Сколемизация. Построение множества дизъюнктов. Унификация. Наиболее общий унификатор. Правило резолюции. Дизъюнкты Хорна. Стратегии поиска решений.