Главная / Логическое программирование / Укажите определение упорядоченной стратегии резолюции:

Укажите определение упорядоченной стратегии резолюции:

вопрос

Правильный ответ:

стратегия, при которой значение имеет порядок литер в дизъюнктах, который сохраняется при применении правила вывода
стратегия, при которой литера для применения резолюции выбирается в соответствии с некоторым правилом
стратегия, при которой на каждом шаге резолюции в качестве одной из посылок используется формула, полученная на предыдущем
Сложность вопроса
84
Сложность курса: Логическое программирование
29
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
спасибо за ответ
05 ноя 2016
Оставить комментарий
Другие ответы на вопросы из темы программирование интуит.