
Решения тестов / Тема №8. Принцип резолюции
.pdf
08.04.2021 |
Принцип резолюции: просмотр попытки |
Вопрос 21
Верно
Баллов: 1,00 из 1,00
Как связаны между собой алгоритм резолюции Робинсона и первая теорема Геделя о полноте?
Выберите один ответ: a. Никак не связаны
b. Связаны только математически
c. Практическая процедура доказательства теоремы Геделя о полноте и есть алгоритм |
|
|
|
резолюции , предложенный Робинсоном |
|
d. Метод резолюции связан с теоремой Геделя о полноте лишь частично, на компьютере эта связь иногда подтверждается, иногда –нет.
Вопрос 22
Верно Баллов: 1,00 из 1,00
Как задать комментарии в программе на Прологе?
Выберите один или несколько ответов:
a. % |
|
|
|
b. /* */ |
|
|
|
c. { } |
|
d. // |
|
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339594&cmid=15673 |
11/20 |

08.04.2021 |
Принцип резолюции: просмотр попытки |
Вопрос 23
Верно
Баллов: 1,00 из 1,00
Обязательны ли при работе с рекурсивными правилами наличие условий выхода из рекурсии?
Выберите один ответ:
a. Нет, не обязательны
b. Выход из рекурсии определяется самим предложением рекурсии
c. Иногда наличие условия выхода из рекурсии должно присутствовать, иногда -нет
d. Да, обязательны |
|
|
Вопрос 24
Верно Баллов: 1,00 из 1,00
Переменная в Прологе инициализируется при сопоставлении с ….
Выберите один ответ:
a. с другими переменными
b. переменной в голове правила
c. константой в фактах или правилах |
|
|
|
d. константой в цели |
|
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339594&cmid=15673 |
12/20 |

08.04.2021 |
Принцип резолюции: просмотр попытки |
|
Вопрос 25 |
|
|
Верно |
|
|
Баллов: 1,00 из 1,00 |
|
|
Что такое недетерминированный вызов? |
|
|
Выберите один ответ: |
|
|
a. Это вызов, дающий множество решений |
|
|
|
||
b. Это вызов, дающий только два решения |
|
|
c. Это вызов, который неспособен найти ни одного решения |
|
|
d. Это вызов, дающий только одно решение |
|
Вопрос 26
Верно Баллов: 1,00 из 1,00
Что можно сказать о переменной Пролога , стоящей в подцели в предикате not?
Выберите один ответ:
a. Предикат not не допускает свободной переменной в подцели |
|
|
|
b. Предикат not всегда является свободной переменной в подцели |
|
c. В подцели с предикатом not отсутствуют переменные, поэтому сказать о ней ничего нельзя |
|
d. Переменная в подцели предиката not не может быть означена до вызова этого предиката |
|
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339594&cmid=15673 |
13/20 |

08.04.2021 |
Принцип резолюции: просмотр попытки |
Вопрос 27 |
|
Верно |
|
Баллов: 1,00 из 1,00 |
|
Определите отношение принадлежности списку member , используя конкатенацию append? |
|
Выберите один ответ: |
|
a. member(X,L):- append(L1,[X|L1],L). |
|
b. member(X,L):- append(L1,[X|L2],L). |
|
|
|
c. member(X,L):- append(L1,[X|L2],L1). |
|
d. member(X,L):- append(L2,[X|L1],L). |
|
Вопрос 28
Верно
Баллов: 1,00 из 1,00
Цель логической программы позволяет пользователю узнать у системы……
Выберите один ответ:
a. названия предикатов, которые там используются
b. только один какой-либо результат
c. список функторов, использованных при написании программы
d. Какие утверждения являются истинными |
|
|
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339594&cmid=15673 |
14/20 |

08.04.2021 |
Принцип резолюции: просмотр попытки |
Вопрос 29
Верно
Баллов: 1,00 из 1,00
Является ли процедура count(N) - конечной рекурсией? predicates
count(real) clauses
count(N):- write(N),nl, NewN=N+1, count(NewN).
Выберите один ответ:
a. Нет, не является Это бесконечная рекурсия. |
|
|
b. Процедура является конечной рекурсией
c. До получения результата ничего определенного сказать невозможно
d. Конечность процедуры count зависит от значения переменной N.
Вопрос 30
Верно
Баллов: 1,00 из 1,00
Унификация –это….
Выберите один ответ:
a. приведение трех структур к общему виду
b. нахождение всех возможных подстановок, которые позволяют совместить термы
c. процесс нахождения наиболее общей подстановки, делающей два терма одинаковыми |
|
|
d. Алгоритм, который нельзя выполнить с составным объектом
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339594&cmid=15673 |
15/20 |

08.04.2021 |
Принцип резолюции: просмотр попытки |
Вопрос 31
Верно
Баллов: 1,00 из 1,00
Определите отношение принадлежности списку member, используя отношение удаления delete.
Выберите один ответ:
a. member(X,List):-delete(_,List,X).
b. member(X,List):-delete(_,List,_).
c. member(X,List):-delete(X,List,_). |
|
|
d. member(X,List):-delete(X,_,List).
Вопрос 32
Верно Баллов: 1,00 из 1,00
Цель логической программы доказывается самой системой с помощью механизмов….
Выберите один ответ:
a. упрощения и вывода |
|
|
b. нахождения фактов
c. выделения правил
d. откатов
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339594&cmid=15673 |
16/20 |

08.04.2021 |
Принцип резолюции: просмотр попытки |
Вопрос 33
Верно
Баллов: 1,00 из 1,00
Перед вами фрагмент программы, в котором представлена процудура count(N). predicates
count(real) clauses count(N):-
write(N),nl,
NewN=N+1, count(NewN).
Является ли эта процедура хвостовой рекурсией?
Выберите один ответ: a. Не является
b. Да, является |
|
|
c. Только получив результат, можно будет с уверенностью сказать, является или не является процедура хвостовой рекурсией
d. Такого понятия в Прологе вообще не существует
Вопрос 34
Верно
Баллов: 1,00 из 1,00
Зависит ли процедурное значение логической программы от порядка целей в предложении?
Выберите один ответ: a. Нет, не зависит
b. Да, зависит |
|
|
c. Иногда зависит, иногда - нет
d. Зависит от того, какие аргументы использованы в предикатах
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339594&cmid=15673 |
17/20 |

08.04.2021 |
Принцип резолюции: просмотр попытки |
|
|
|
Вопрос 35 |
|
|
|
Верно |
|
|
|
Баллов: 1,00 из 1,00 |
|
|
|
|
|
|
|
|
|
|
|
Зеленые отсечения – это….. |
|
|
|
Выберите один ответ: |
|
|
|
a. Сведения, зафиксированные при отсечении увеличивают время выполнения программы |
|
|
|
b. Такие отсечения, добавление которых в программу не влияет на декларативный ее |
|
|
|
|
||
|
характер. Удаление зеленого отсечения также не влияет на решения программы |
|
|
|
c. Удаление зеленого отсечения влияет на решение программы |
|
|
|
d. Используются для удаления заведомо выполнимых условий, а не заведомо бесполезных |
|
|
|
|
|
|
Вопрос 36
Верно
Баллов: 1,00 из 1,00
Вынуждены ли мы в Прологе при определении типов рекурсивных данных создавать указатели или они создаются и обрабатываются автоматически?
Выберите один ответ:
a. Сами создаем указатели
b. Создаются и обрабатываются автоматически |
|
|
c. Добавляем в программу дополнительные предложения, чтобы можно было закончить рекурсию
d. Нет никаких указателей
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339594&cmid=15673 |
18/20 |

08.04.2021 |
Принцип резолюции: просмотр попытки |
Вопрос 37
Верно
Баллов: 1,00 из 1,00
Наличие запятой между целями в предложении означает….
Выберите один ответ:
a. Дизъюнкцию целей
b. Ничего не обозначат, кроме перечисления
c. Конъюнкцию целей |
|
|
d. Что переменные могут изменять свое значение при переходе к следующей цели
Вопрос 38
Верно Баллов: 1,00 из 1,00
Дана программа: |
|
|
|
domains |
|
|
|
list=integer* |
|
|
|
predicates |
|
|
|
member(integer,list) |
|
||
clauses |
|
|
|
member(Head,[Head|_]). |
|
||
member(Head,[_|Tail]):- |
|
||
member(Head,Tail). |
|
||
Поставьте цель : |
member(X,[7,8,9]) |
Каков будет ответ системы? |
|
Выберите один ответ: |
|
||
a. X=7 |
|
|
|
b. X=7 |
X=8 |
X=9 |
|
|
|||
c. X=8 |
|
|
|
d. X=8 |
X=9 |
|
|
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339594&cmid=15673 |
19/20 |

08.04.2021 |
Принцип резолюции: просмотр попытки |
|
|
|
Вопрос 39 |
|
|
|
Верно |
|
|
|
Баллов: 1,00 из 1,00 |
|
|
|
|
|
|
|
|
|
|
|
Правила задания хвостовой рекурсии на Прологе |
|
|
|
Выберите один ответ: |
|
|
|
a. Рекурсивный вызов является самой последней подцелью последнего предложения в |
|
|
|
|
||
|
процедуре ,и ранее в процедуре не было точек возврата |
|
|
|
b. Рекурсивный вызов не должен быть последней подцелью последнего предложения в |
|
|
|
процедуре |
|
|
|
c. Ранее в процедуре не было точек возврата |
|
|
|
d. В предложении обязательно должны быть точки возврата |
|
|
|
|
|
|
Вопрос 40
Верно
Баллов: 1,00 из 1,00
Как называется метод реализации класса рекурсивных программ , которые выполняются с использованием постоянного объема памяти?
Выберите один ответ:
a. Согласование параметров
b. Оптимизация хвостовой рекурсии |
|
|
c. Верификация программы
d. Вычисляемые отношения
◄ Введение в логическое и функциональное программирование
Перейти на...
https://lms.spbgut.ru/mod/quiz/review.php?attempt=339594&cmid=15673 |
20/20 |