Главная /
Логическое программирование /
Укажите определение упорядоченной стратегии резолюции:
Укажите определение упорядоченной стратегии резолюции:
вопросПравильный ответ:
стратегия, при которой значение имеет порядок литер в дизъюнктах, который сохраняется при применении правила вывода
стратегия, при которой литера для применения резолюции выбирается в соответствии с некоторым правилом
стратегия, при которой на каждом шаге резолюции в качестве одной из посылок используется формула, полученная на предыдущем
Сложность вопроса
84
Сложность курса: Логическое программирование
29
Оценить вопрос
Комментарии:
Аноним
спасибо за ответ
05 ноя 2016
Другие ответы на вопросы из темы программирование интуит.
- # Если для всех вершин графа x имеет место h1(x) больше либо равен h2(x), в этом случае:
- # Какой из перечисленных ниже языков программирования описывает формальную аксиоматическую систему со свойствами инкапсуляции, наследования и полиморфизма на основе расширения логики первого порядка?
- # Укажите метод моделирования искусственного интеллекта, основанный на имитации рассуждений и логики человека:
- # Определите, чем является указанное ниже предложение на языке Prolog: studied(petya,english)
- # Простые термы в Prolog делятся на: