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