Добавил:
СПбГУТ * ИКСС * Программная инженерия Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Решения тестов / Тема №8. Принцип резолюции

.pdf
Скачиваний:
28
Добавлен:
08.04.2021
Размер:
297 Кб
Скачать

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