Если при поиске методом "генерация-проверка" генератор генерирует каждое решение только один раз, то он называется
(*ответ*) неизбыточным
однопроходным
полностью определенным
полным
Если программа на Прологе содержит набор фактов и правил, то ее называют
(*ответ*) базой знаний
процедурой
запросом
базой данных
Если пространство разбивается на непересекающиеся подпространства частичными решениями, то оно называется
(*ответ*) факторизованным
эвристическим
матапространством
усеченным
Если стратегия может быть идентифицирована как отдельная сущность системы, то она задана
(*ответ*) явно
аналитически
концептуально
модульно
Если существует единая эффективная процедура, позволяющая узнать для любой данной формулы, существует ли ее вывод, то такая формальная теория называется
(*ответ*) разрешимой
типовой
непротиворечивой
тривиальной
Задача поиска в пространстве состояний состоит в
(*ответ*) определении последовательности операторов, преобразующей начальные состояния в конечные
получении частичного решения
определении метода, который будет применен на следующем шаге
решении совокупности образующих ее подзадач
Знания о том, какие знания нужны в той или иной конкретной ситуации, и умение ими распорядиться, называются
(*ответ*) метазнания
надстроечные
первичные
управляющие
Из перечисленного 1) (а b (с d) e); 2) [В группе 18 студентов]; 3) (В группе 18 студентов); 4) (a, b, c); 5) [а b (с d) e]; 6) () - списками в Лиспе являются
(*ответ*) 1, 3, 6
1, 3, 5
2, 5
1, 4, 6
Из перечисленного алфавит исчисления предикатов состоит из следующего набора символов 1) знаков действий 2) знаков пунктуации 3) пропорциональных связок 4) сиволов переменных 5) указателей 6) знаков-кванторов
(*ответ*) 2, 3, 4, 6
1, 2, 5, 6
3, 4, 5, 6
1, 2, 3, 4
Из перечисленного типами термов являются 1) константа 2) процедура 3) переменная 4) массив 5) составной терм
(*ответ*) 1, 3, 5
1, 3, 4
2, 4, 5
1, 2, 3
Из перечисленного: 1) <---; 2) x_123; 3) 123; 4) 'Это атом или нет?'; 5) Результат; 6) лето - являются корректными атомами в Прологе
(*ответ*) 1, 2, 4, 6
1, 3, 4, 5
2, 4, 5, 6
2, 3, 5, 6
Из перечисленного: 1) MAPCAN; 2) MAPCON; 3) APPLY; 4) FUNCALL - применяющими функционалами в Лиспе являются
(*ответ*) 3, 4
2, 3
1, 4
1, 2