Искусственный интеллект и экспертные системы
для специальности 220300
Зюзьков В.М.
Кафедра КСУП
Томск-2001

№ 1
По каким причинам язык Пролог подходит к задачам искусственного интеллекта?
• Пролог наиболее хорош в задачах, поддающихся формулировке на языке логики предикатов.

№ 2
По каким причинам язык Си не подходит к задачам искусственного интеллекта?
• Си малоэффективен для решения задач, использующих язык логики предикатов (программы получаются сложные).

№ 3
Почему пакет программ статистического анализа нельзя считать программой искусственного интеллекта?
• Решаются задачи по хорошо известным алгоритмам.

№ 4
Могут ли психологи подсказать нам, как сконструировать думающую машину?
• Да, так как психологи решают также задачи, связанные с пониманием языка, обучением, умением рассуждать.

№ 5
Этапы исследований в области искусственного интеллекта можно разбить на периоды (в хронологическом порядке):
• игры и доказательство теорем;
• компьютер начинает понимать;
• технологии и приложения.

№ 6
Периоды исследований в области искусственного интеллекта можно обобщенно охарактеризовать следующим образом:
1) классический;
2) романтический;
3) период модернизации.
С другой стороны эти же периоды можно охарактеризовать и по-другому:
1. технологии и приложения;
2. игры и доказательство теорем;
3. компьютер начинает понимать.
Укажите номера из второй классификации в порядке, который соответствовал бы первой классификации.
Ответ: (2 3 1)

№ 7
Правильное утверждение:
• Искусственный интеллект – экспериментальная наука.

№ 8
Ложные утверждения.
• То, что мы называем “база данных” в искусственном интеллекте называется “база знаний”.
• В системах искусственного интеллекта вывод знаний всегда должен быть монотонным (накопление знаний, при котором утверждение не может изменить свою истинность с течением времени).

№ 9
Для решения различных трудно формализуемых оптимизационных задач в рамках искусственного интеллекта используются эвристические методы. Какие причины для этого?
• неизвестен алгоритм решения.

№ 10
Шахматные программы используют эвристические методы. Какие причины для этого?
• существуют ограничения, налагаемые вычислительной техникой.

№ 11
Как наиболее полезно представить пространство поиска для игры в шахматы?
• в виде И/ИЛИ-графа.

№ 12
С помощью некоторых систем искусственного интеллекта иногда осуществляется автоматическое тестирование программ, написанных на языках высокого уровня. При этом используют эвристические методы. Какие причины для этого?
• доказано отсутствие алгоритмического решения.

№ 13
Экспертные системы, используемые для решения задач в трудно формализуемых областях знания (медицина, разведка полезных ископаемых и др.) используют эвристические методы. Какие причины для этого?
• неизвестен алгоритм решения.

№ 14
Каких свойств не хватает системам поиска целевой web-странице в сети Интернет, чтобы квалифицировать эти системы как экспертные?
• системы не объясняют свое решение.

№ 15
Правильное утверждение.
• Минимаксные игровые программы часто хорошо проявляют себя в острой тактической борьбе, когда решающее значение имеет точный просчет форсированных вариантов.

№ 16
Правильное утверждение.
• Экспертные системы должны объяснять свои намерения и решения во время и после окончания процесса решения задачи.

№ 17
Правильное утверждение.
• Машину логического вывода для экспертных систем можно построить, используя продукции.

№ 18
Современные экспертные системы должны удовлетворять, в частности, следующим требованиям:
• система имеет не только модель предметной области, но и модель самой себя (определяет границы своей компетентности – “знаю, что я это знаю”);
• система способна по мере необходимости ослаблять или усиливать принятые в задаче допущения

№ 19
Почему во многих экспертных системах для вычисления степени уверенности в сделанном заключении не используют математические правила для вычисления условной вероятности?
• Чтобы вычислять условную вероятность требуется знать дополнительную информацию, которая, как правило, отсутствует.

№ 20
Следующее утверждение истинно?
• Программа поиска в ширину порождает решающие пути один за другим, в порядке увеличения их длины.

№ 21
Дана цель для интерпретатора Пролога
?- parent(X,pat).
Какое предложение правильно передает логический смысл этого запроса:
• “Существует ли X, который является родителем Pat?”.

№ 22
Дана цель для интерпретатора Пролога
?- not parent(X,pat).
на которую был получен отрицательный ответ. Какое из следующих трех предложений правильно передает логический смысл этого ответа:
1) “Не существует родитель у Pat.”
2) “Не все X являются родителями Pat.”
3) “Есть родители, но не у Pat.”
• все три предложения не передают логический смысл ответа.

№ 23
Пусть имеется правило на Прологе
'имеет ребенка'(X):-'родитель'(X, Y).
Какое из следующих двух предложений правильно передает логический смысл этого правила:
1) “Для всех X и Y, если X - родитель Y, то X имеет ребенка.”
2) “Для всех X, X имеет ребенка, если существует некоторый Y, такой, что X - родитель Y.”
• оба эти предложения передают логический смысл правила.

№ 24
Пусть имеются следующие два варианта правила для предиката 'сестра'(X,Y) - "X есть сестра Y" на Прологе (мы вкладываем естественный смысл для используемых в правиле предикатов):
1) 'сестра'(X,Y):-'родитель'(Z,X),'родитель'(Z,Y),'женщина'(X).
2) 'сестра'(X,Y):-'родитель'(Z,X),'родитель'(Z,Y),'женщина'(X),not (X=Y).
Какое из этих правил более правильно с точки зрения логики?
• второе.

№ 25
Пусть дано отношение 'родитель' на Прологе. Определим отношение "X - родственник Y" следующим образом:
'родственник'(X,Y):-'родитель'(X,Y).
'родственник'(X,Y): - 'родитель'(Y,X).
'родственник'(X,Y):-'родственник'(X,Z),'родственник'(Z,Y).
Какие из следующих утверждений верны?
• Третье правило потенциально опасное - оно может привести в некоторых запросах к бесконечной рекурсии.

№ 26
Пусть, используя отношение 'предок', введено отношение 'родственник':
'родственник'(X,Y):-'предок'(X,Y).
'родственник'(X,Y):-'предок'(Y,X).
'родственник'(X,Y):-'предок'(Z,X),'предок'(Z,Y).
'родственник'(X,Y):-'предок'(X,Z),'предок'(Y,Z).
Правильно ли определено отношение (в обычном понимании слова “родственник”)?
• нет.

№ 27
Пусть дана программа на Прологе:
'родитель'('пам', 'боб').
'родитель'('том', 'боб').
'родитель'('том', 'лиз').
'родитель'('боб', 'энн').
'родитель'('боб', 'пат').
'родитель'('пат', 'джим').
'женщина'('пам').
'женщина'('лиз').
'женщина'('энн').
'женщина'('пат').
'мать'(X, Y):- 'родитель'(X, Y), 'женщина'(X).
'родитель родителя'(X, Y):- 'родитель'(X, Z), 'родитель'(Z, Y).
Постарайтесь понять, как Пролог выводит ответы на указанные ниже вопросы. Будут ли встречаться возвраты при выводе ответов на какие-либо из этих вопросов?
1) ?-'родитель'('пам', 'боб').
2) ?-'мать'('пам', 'боб').
3) ?-'родитель родителя'('пам', 'энн').
4) ?-'родитель родителя'('боб', 'джим').
Введите последовательность из четырех ответов через пробелы в порядке нумерации (варианты ответов: да, нет).
Ответ: (нет нет нет да)

№ 28
Следующие выражения представляют собой правильные объекты в смысле Пролога:
1) Diana;
2) diana;
3) 'Diana';
4) 'Диана едет на юг';
5) 'едет'('диана', 'юг');
6) 45;
7) +(X,Y);
8) three(black(Kat)).
Что это за объекты (атомы, числа, переменные, структуры)? Введите последовательность из 8 ответов (ответы кодируйте числами: атом -1, число - 2, переменная- 3, структура - 4).
Ответ: (3,1,1,1,4,2,4,4)

№ 29
Пролог. Будут ли следующие операции унификации успешными или неуспешными?
1) point(A, B) = point(1, 2)
2) point(A, B) = point(X, Y, Z)
3) plus(2, 2) = X
4) +(2, D) = +(E, 2)
5) t(point(-1, 0), P2, P3) =t(point(P1), point(1, 0), point(0, Y))
Введите последовательность из пяти ответов в порядке нумерации (варианты ответов: да, нет).
Ответ: (да,нет, да, да, нет)

№ 30
Пролог. При выполнении цели
?- P = point(2, X).
система унифицирует X = G692, P = point(2, G692). Имя G692 - законное имя прологовской переменной, которое система построила сама во время вычислений. Ей приходится генерировать новые имена, для того чтобы переименовывать введенные пользователем переменные в программе. В качестве объяснения этому можно предложить:
• при последовательном применении одного и того же предложения используется каждый раз его “копия” с новым набором переменных.

№ 31
Пролог. Рассмотрим следующую программу:
f(1, one).
f( s(1), two).
f(s(s(1)), three).
f(s(s(s(X))), N):- f(X, N).
Сколько ответов пролог-система даст на каждый из следующих вопросов при переборе с возвратами?
1) ?- f(s(1), A).
2) ?- f(s(s(1)), two).
3) ?- f(s(s(s(s(s(s(1)))))), C).
4) ?- f(D, three).
Введите последовательность из четырех ваших ответов через пробелы в порядке нумерации (каждый ваш ответ - натуральное число, представляющее количество ответов пролог-системы на вопрос; или 0, если ответ - неуспех; или -1 (минус единица) , если ответов бесконечно много).
Ответ: (1, 0, 1, -,1)

№ 32
Дана программа на Прологе.
'большой'('медведь').
'большой'('слон').
'маленький'('кот').
'коричневый'('медведь').
'черный'('кот').
'серый'('слон').
'темный'(Z):-'черный'(Z).
'темный'(Z):-'коричневый'(Z).
В каком из следующих двух случаев системе приходится производить большую работу для нахождения ответа?
1) ?- 'большой'(X), 'темный'(X).
2) ?- 'темный'(X), 'большой'(X).
Указание. Время работы оценивайте в количестве шагов; на каждом шаге вычисляется новый список целей, список целей меняется после каждой успешной унификации или возврата. Введите номер запроса.
Ответ: (2)

№ 33
В Прологе функтор ''.'' с двумя аргументами можно использовать для представления списков наряду с более удобным представлением с квадратными скобками. Представьте список [1,2,3,4] с помощью функтора ".". Введите ответ - строку символов без пробелов.
Ответ: (.(1,.(2,.(3,.(4,[])))) )

№ 34
Пролог. Какое из следующих представлений списка эквивалентно представлению [a, b, c]?
1) [a|[b, c]]
2) [a, b| [c]]
3) [a, b, c|[]]
4) [a, .(b|[c])]
Введите последовательность из четырех ответов через пробелы в порядке нумерации (варианты ответов: да, нет).
Ответ: (да, да, да, нет)

№ 35
Пролог. Какую конкретизацию получит переменная L в результате вычисления цели
?- L1 = [a,b,z,z,c,z,z,z,d,e], append(L, [z,z,z|_],L1).
Введите ответ - строку символов без пробелов.
Ответ: ([a,b,z,z,c])

№ 36
Пролог. Какую конкретизацию получит переменная L в результате вычисления следующей цели?
?- append(L, [_,_,_],[a,b,c,d]).
Ответ: ([a])

№ 37
Пролог. Какую конкретизацию получит переменная L в результате вычисления следующей цели?
?- append([_,_,_|L], [_,_,_],[0,1,2,3,4,5,6,7]).
Ответ: ([3,4])

№ 38
Определен следующий прологовский предикат
p(X, [X]).
p(X, [H|T]):- p(X, T).
Какую конкретизацию получит переменная L в результате вычисления следующей цели?
?- p(L, [1,2,3,4,5]).
Ответ: (5)

№ 39
Определен следующий прологовский предикат
p([], []).
p([H|T], L):- p(T, L1), append(L1, [H], L).
Какую конкретизацию получит переменная L в результате вычисления следующей цели?
?- p([1,2,3], L).
Ответ: ([3,2,1])

№ 40
Определен следующий прологовский предикат
p([H|T], L):- append(T, [H], L).
Какую конкретизацию получит переменная L в результате вычисления следующей цели?
?- p([1,2,3], L).
Ответ: ([2,3,1])

№ 41
Дана прологовская программа
t(zero, 0).
t(one, 1).
t(two, 2).
p([],[]).
p([H|T], [H1|L]) :- t(H, H1), p(T, L).
Какую конкретизацию получит переменная L в результате вычисления следующей цели?
?- p([one, zero, two], L).
Введите ответ - строку символов без пробелов.
Ответ: ([1,0,2])

№ 42
Пролог. Дано определение предиката
'разбиение списка'([], [], []).
'разбиение списка'([X], [X], []).
'разбиение списка'([X, Y|T], [X| T1], [Y| T2]):- 'разбиение списка'(T, T1, T2).
Какой список получится длиннее при выполнении цели
?- 'разбиение списка'([1,2,3,4,5], L1, L2).
L1 или L2?
• список L1.

№ 43
Пролог. Определим предикат length для вычисления длины списка:
length([], 0).
length([_|T], N) :- length(T, N1), N is 1+N1.
Если во втором правиле в его теле поменять две цели местами, то при вызове
?- length([1, 2, 3], N).
произойдет следующее:
• интерпретатор не сможет вычислить цель, а сообщит о ошибке.

№ 44
Пролог. Определим предикат length для вычисления длины списка:
length([], 0).
length([_|T], N) :- length(T, N1), N = 1+N1.
При вызове
?- length([1, 2, 3], N).
произойдет следующее:
• цель успешно вычислится, но N в качестве значения получит не число.

№ 45
Пролог. Определим предикат length для вычисления длины списка:
length([], 0).
length([_|T], N) :- N = 1+N1, length(T, N1),
При вызове
?- length([1, 2, 3], N).
произойдет следующее:
• цель успешно вычислится, но N в качестве значения получит не число.

№ 46
Пролог. Пусть мы определили некоторый предикат p(X, Y), для которого X является входным параметром, а Y - выходным параметром.
Можем ли мы вызывать этот предикат в обратной ситуации, когда Y - конкретизованный аргумент, а X - переменная?
• достаточно часто, зависит от конкретного предиката.

№ 47
Пусть имеется прологовская программа
p(1).
p(2):-!.
p(3).
Какие будут конкретизации пролог-системы на следующий запрос?
?- p(X).
Введите последовательность конкретизаций переменной X - строку символов из чисел разделенных пробелами.
Ответ: (1,2)

№ 48
Пусть имеется прологовская программа
p(1).
p(2):-!.
p(3).
Какие будут конкретизации пролог-системы на следующий запрос?
?- p(X),p(Y).
• X=1, Y=1; X=1, Y=2; X=2, Y=1; X=2, Y=2

№ 49
Пролог. Дано определение предиката
'различны'(X, X):- !, fail.
'различны'(X, Y).
который выполняется, если X и Y не совпадают.
В каком смысле понимаются “различны”:
• X и Y не унифицируемы.

№ 50
В языке Пролог имеются следующие дополнительные средства управления выполнением программы:
Какие средства управления могут менять декларативную семантику программы, и потенциально опасны?
• предикат отсечения;
• предикат отрицания not.

№ 51
Какие предикаты относятся к “чистому” Прологу, т. е. описываются в рамках логической теории предикатов первого порядка?
• fail;
• true.

№ 52
Следующий текст взят из учебника по Прологу.
"Внесение изменений в программу при помощи предикатов … может сделать поведение программы значительно менее понятным. В частности, одна и та же программа на одни и те же вопросы будет отвечать по-разному в разные моменты времени. В таких случаях, если мы захотим повторно воспроизвести исходное поведение программы, нам придется предварительно убедиться в том, что ее исходное состояние, нарушенное при обращении к предикатам …, полностью восстановлено. О каких предикатах идет речь?
• assert;
• retract.

№ 53
Пролог. Последовательность чисел Фибоначчи имеет вид
1, 1, 2, 3, 5, 8, 13,…
Каждый член последовательности, за исключением первых двух, представляет собой сумму предыдущих двух членов. Какой метод программирования позволяет написать предикат fib(N, F), эффективно (т. е. линейно по времени) вычисляющий N-ое число Фибоначчи F?
• использование запоминающих функций;
• использование накапливающих параметров.

№ 54
Пролог. Пусть предикат умножения двух натуральных чисел p(+M, +N, ?R) определен следующим образом
p(0,_,0).
p(_,0,0).
p(X,1,X).
p(X,N,R):- N>0, N1 is N-1, p(X,N1,R1), R is R1+X.
Сколько ответов даст вызов
?- p(0,2,X).
• более трех правильных ответов.

№ 55
Пролог. Пусть предикат перемножения всех натуральных чисел от 1 до N factorial(+N, ?R) определен следующим образом
factorial(1,1).
factorial(2,2).
factorial(N,R):- N>1, N1 is N-1, factorial(N1,R1), R is R1*N.
Сколько ответов даст вызов
?- factorial(3,X).
• два правильных ответа.

№ 56
Пролог. Следующие утверждения правильные.
• Отсечение отбрасывает все расположенные после него предложения. Если цель p унифицирована с предложением, содержащим отсечение, и отсечение выполнено, то эта цель не может быть использована для построения решений с помощью предложений, расположенных ниже данного.
• Отсечение отбрасывает все альтернативные решения конъюнкции целей, расположенных в предложении левее отсечения, т. е. конъюнкция целей, стоящих перед отсечением, приводит не более чем к одному решению.

№ 57
Пролог. Предикат для вычисления минимума двух чисел определен следующим образом
minimum(X,Y,X):- X=<Y,!.
minimum(X,Y,Y):- X>Y,!.
По какой причине поставлено отсечение после второго предложения?
• излишне с любой прагматической точки зрения и поставлено только ради симметрии.

№ 58
Пролог. Какие из цепочек символов являются атомами:
• 'человек(георгий)'
• b
• very_long_string_of_symbol
• ++

№ 59
Пролог. Каждая из следующих пар термов унифицируема:
• 'книга'('название'('Ферма животных'), 'автор'('Джордж Оруэлл')) и 'книга'(название'(T)', Avtor);
• 'дата'('день недели'('среда'), 'число'(12), 'месяц'(M), 'год'(1986)) и 'дата'(W,D,X,Y);
• 'праздник'('рождество', 'дата'('день'(25), 'месяц'('декабрь'), 'год'(Y))) и 'праздник'(H, 'дата'(D,M, 'год'(1986)).

№ 60
Пролог. Следующие утверждения истинны?
• В Прологе единственная структура данных - термы.
• Мы задаем вопросы, используя термы в качестве целей.
• Структура относится к рекурсивному типу данных.
• Когда два терма унифицируются, переменные в них заменяются на некоторые термы.

№ 61
В каком порядке Пролог ищет утверждения программы для унификации с целью?
• в порядке размещения клауз (предложений) в тексте программы - сверху вниз.

№ 62
Пролог. Следующие утверждения истинны?
• Правило имеет заголовок (голову) и тело.
• Унификация цели может вызвать необходимость унификации подцелей.
• Пользователь может заставить Пролог совершить возврат, отвергнув полученный ответ.

№ 63
Пролог. Установите, какие из пар термов унифицируются:
• [['серый','зеленый'],'черный','голубой'] и [H|T];
• [['георгий','мария']] и [H|[]];
• [['уильям','мери']|Any] и [Fist,Second] ;
• [['брак'('георгий','мария')]] и [A];
• ['жак','жиль'] и [A,B|C].

№ 64
Пролог. К чему приведет следующий вызов предиката
?- max(4+7, 8*9, N).
если предикат max/3 определен следующим образом:
max(X,Y,X):-X>=Y.
max(X,Y,Y):-Y>X.
• Пролог ответит Yes и выдаст N=8*9.

№ 65
Пролог. Для каждого варианта вызова выберите свой результат.
Вызовы:
1) X is 7+2;
2) X =:= 7+2;
3) X = 72;
4) 8+1 is 7+2;
5) 8+1 =:= 7+2;
6) 8+1 = 7+2.
Результаты:
1) отказ: термы не сопоставимы;
2) унифицируется: подстановка X <- 9;
3) унифицируется: значения выражений одинаковы;
4) ошибка: X - не арифметическое выражение;
5) унифицируется: подстановка X <- … .
Введите через пробел номера результатов, соответствующих вызовам в порядке 1), 2),…6).
Ответ: (2, 4, 5, 1, 3, 1)

№ 66
Пролог. Для каждого списка в стандартном синтаксисе, использующем символы '.', '[' и ']' :
1) .(x, .(y, .(z,[])));
2) .( x(y),[]);
3) .([x,y], .([z,y],[]));
4) .([x,y], .(z, .([], .(x,[])))),
выберете вариант в сокращенном синтаксисе:
1) [x(y)];
2) [[x,y],z,[],x];
3) [x,y,z];
4) [[x,y],[z,y]].
Введите через пробел номера представлений в сокращенном синтаксисе, соответствующих спискам в первом представлении в порядке 1), 2), 3), 4). Если для какого-то списка из первого представления отсутствует правильный вариант в сокращенном представлении, введите 0.
Ответ: (3, 1, 4, 2)

№ 67
Пролог. Имеются три варианта определения предиката max:
1)
max(N1, N2, N2):- N2>=N1.
max(N1, N2, N1):- N2<N1.
2)
max(N1, N2, N2):- N2>=N1,!.
max(N1, N2, N1).
3)
max(N1, N2, N3):-N2>=N1, !, N3=N2.
max(N1, N2, N1).
Какие ответы даст Пролог в этих вариантах на вызов?
?- max(3, 7, 3).
Введите через пробел три соответствующих ответа (каждый ответ - слова yes или no).
Ответ: (no, yes, no)

№ 68
Имеется программа
s(1).
s(2).
p(X):-retract(X), fail.
p(_).
Какое будет значение у X при вызове
?- p(s(X)).
• X будет унифицирована с внутренней переменной.

№ 69
Пролог. Даны следующие утверждения:
1) каждое небесное тело, заслуживающее внимание, представляет собой либо звезду, либо планету, либо комету;
2) у комет, расположенных недалеко от Солнца, есть хвосты;
3) Венера недалеко от Солнца, но у нее нет хвоста.
Выразим их на языке хорновских клауз:
1) 'небесное тело'(X):- 'заслуживает внимание'(X),
('звезда'(X);'планета'(X);'комета'(X)).
2) 'есть хвост'(X):- 'недалеко от Солнца'(X), 'комета'(X).
3) 'недалеко от Солнца'('Венера').
Какие переводы на языке хорновских дизъюнктов правильны? Помните, что в Прологе мир замкнут.
• 2

№ 70
Пролог. Даны следующие утверждения:
1) каждому кто-то нравится;
2) каждому нравится каждый;
3) кому-то нравится каждый;
4) никому не нравятся все;
5) никому не нравится некто;
6) кому-то не нравится никто.
Используя предикат 'нравится'(x,y) - 'иксу нравится игрек', дан перевод этих утверждений на язык логики предикатов (не обязательно в этом порядке):
1) ∃ x ∀ y Not()'нравится'(y,x);
2) ∃ y ∀ x Not()'нравится'(y,x);
3) ∀ x ∃ y 'нравится'(x,y);
4) Not() ∃ x ∀ y 'нравится'(x,y);
5) ∃ x ∀ y 'нравится'(x,y);
6) ∀ x ∀ y 'нравится'(x,y).
Введите через пробел номера переводов, соответствующих утверждениям в порядке 1), 2),…6).
Ответ: (3, 6, 5, 4, 1, 2)

№ 71
Рассмотрим следующий набор правил:
Если X имеет СЛУЖЕБНОЕ УДОСТОВЕРЕНИЕ и X имеет ОГНЕСТРЕЛЬНОЕ ОРУЖИЕ, то X – ПОЛИСМЕН
Если X имеет ПИСТОЛЕТ или X имеет ВИНТОВКУ, то X имеет ОГНЕСТРЕЛЬНОЕ ОРУЖИЕ
Эти правила можно представить в виде И/ИЛИ-графа. Какое представление правильно?

• 2

№ 72
Правильное суждение:
• Фреймы позволяют смоделировать экстрологические свойства, присущие человеку, формулирующего суждения.

№ 73
Какая из формул логики предикатов правильно выражает утверждение: “Каждый студент использует какой-нибудь компьютер и, по крайней мере, один компьютер используется каждым студентом”?
• ∀ x (Cтудент (x) ⊃ ∃ y (Компьютер (y) & Использует (x,y))) &
∃ y (Компьютер (y) ⊃ ∀ x (Студент (x) & Использует (x,y))).

№ 74
Какая из формул логики предикатов правильно выражает утверждение: “Каждый год некоторые студенты–мужчины проваливают каждый экзамен, но каждый студент–женщина сдает какой-нибудь экзамен”?
• ∀ x (Год(x)
(∃ y (Студент(y) & Мужчина(y) ⊃ ∀ z (Экзамен(z) & Not() Сдать (y,z))) &
(∀ y (Студент (y) & Женщина (y)⊃ ∃ z (Экзамен(z) & Сдать (y,z)))))

№ 75
Какая из формул логики предикатов правильно выражает утверждение: “Каждый мужчина любит какую-нибудь женщину, которая любит другого мужчину”?
• ∀ x ∃ y
(Мужчина(x)&Женщина(y)&Любит(x,y)&(∃ z
(Мужчина(z)&Любит(y,z)& Not()
(x=z)))

№ 76
Какая из формул логики предикатов правильно выражает утверждение: “Не существует двух философов, которые любили одну и туже книгу”?
• ∀ x ∀ y ∀ w ∀ z
(Философ(x)&Философ(y)&(Not()
(x=y))&Книга(w)&Книга(z)&Любит(x,w)&Любит(y,z)⊃ Not()
(z=w))

№ 77
Какой фрагмент программы на Прологе правильно выражает следующее суждение: “Не существует двух философов, которые любили одну и туже книгу”?
• разные(X,Y):-
книга(X), книга(Y),
философ(A), философ(B),
любит(A,X), любит(B,Y),
разные(A,B).

№ 78
Какой фрагмент программы на Прологе правильно выражает следующее суждение: “Ни один человек не является островом” (Джон Донн)?
1) человек(X):-
остров(X).
2) человек(X):-
not(остров(X)).
3) not(человек(X)):-
остров(X).
Введите номер правильного ответа или 0, если правильного ответа нет.
• (0)

№ 79
Какой следующий фрагмент программы на Прологе правильно выражает следующее суждение: “Человек, который живет где-нибудь, живет везде” (Тацит)?
1) житьвезде(X):-
человек(X).
2) житьвезде(X):-
not(человек(X)).
3) житьвезде(X):-
житьгденибудь(человек(X)).
Введите номер правильного ответа или 0, если правильного ответа нет.
• (0)

№ 80
Ниже представлено правило поиска неисправности и описание конкретной ситуации. “Если напряжение в сети питания в норме и не оборван шнур питания и исправен блок питания, то компьютер включается. Напряжение в сети питания в норме. Шнур питания не оборван”. Выразите эти предложения в форме правил на Прологе, так чтобы программа давала правильный ответ на вопрос:
?- 'компьютер включается'.
• 'компьютер включается':-
'нормальное напряжение',
not('оборван шнур питания').
not('неисправен блок питания').
'нормальное напряжение'.

№ 81
Предположим, что в синтаксисе языка Пролог цель сформулирована следующим образом (bachelor – холостяк, wife – жена, man – мужчина):
?- bachelor(fred).
К какому заключению придет приведенная ниже программа относительно семейного положения человека по имени Fred?
man(fred).
man(george).
wife(george,georgina).
bachelor(X):-
not(wife(X,Y)).
• Пролог ответит Yes, но в программе часть информации не нужна для ответа на этот вопрос.

№ 82
Предположим, что в синтаксисе языка Пролог цель сформулирована следующим образом (bachelor – холостяк, wife – жена, man – мужчина):
?- bachelor(fred).
К какому заключению придет приведенная ниже программа относительно семейного положения человека по имени Fred?
man(fred).
man(george).
bachelor(X):-
not(wife(X,Y)).
• Пролог ответит Yes, но в программе часть информации не нужна для ответа на этот вопрос.

№ 83
Предположим, что в синтаксисе языка Пролог цель сформулирована следующим образом (bachelor – холостяк, wife – жена, man – мужчина):
?- bachelor(fred).
К какому заключению придет приведенная ниже программа относительно семейного положения человека по имени Fred?
man(fred).
man(george).
bachelor(X):-
not(wife(X,Y)).
wife(fred,georgina).
• Пролог ответит No.

№ 84
Предположим, что в синтаксисе языка Пролог цель сформулирована следующим образом (bachelor – холостяк, wife – жена, man – мужчина):
?- bachelor(fred).
К какому заключению придет приведенная ниже программа относительно семейного положения человека по имени Fred?
bachelor(X):-
not(wife(X,Y)).
wife(_,_):-!,fail.
wife(fred,georgina).
• Пролог ответит Yes, но в программе часть информации не нужна для ответа на этот вопрос.

№ 85
Какие из следующих утверждений истинны?
• Стратегия поиска в глубину с ограничением по глубине гарантирует получение кратчайшего пути первым.

№ 86
Какие из следующих утверждений истинны?
• Пространство состояний есть формализм для представления задач.
• Существует два простых метода предотвращения зацикливания при поиске в глубину: ограничить глубину поиска и не допускать дублирования вершин.

№ 87
Какие из следующих утверждений истинны?
• И/ИЛИ-представление основано на философии сведения задач к подзадачам.
• Вершина, из которой выходят И-связи, называется И-вершиной. Для того, чтобы решить соответствующую задачу, нужно решить хотя бы одну задачу–преемника.

№ 88
• Информация всегда легче воспроизводится в том же самом контексте, в котором происходило ее запоминание.

№ 89
• Память тесно связана с большинством процессов мышления.
• Формирование понятий сводится к познанию свойственных им атрибутов.

№ 90
• Условием лингвистической компетентности является неявное знание закономерностей языка.

№ 91
• Творческая личность обычно признает общепринятые ценности лишь в том случае, когда, если они соответствуют ее собственным.

№ 92
Мы ориентируемся в днях недели или расположении слов в словаре благодаря
• последовательной организации.

№ 93
При извлечении информации из памяти всегда легче
• распознать элемент информации среди предъявленных других.

№ 94
При решении проблемы этап подготовки
• это первый этап в процессе решения;
• может занимать несколько дней;
• позволяет собрать всю информацию, относящуюся к контексту.

№ 95
Когда мы находим решение проблемы “наугад”, то это
• результат случайного перебора;
• стратегия проб и ошибок;
• часто приводит к неприятным последствиям.

№ 96
Из всех стратегий мышления систематический перебор
• наиболее утомителен;
• является наиболее строгим методом;
• реже всего используется.

№ 97
Нахождение оригинальных решений обусловлено
• интуицией.

№ 98
Какая из перечисленных черт не является специфичной для творческого мышления?
• надежность.

№ 99
Дети, направляющие всю энергию на достижение успеха и избегающие риска или высказывания собственного мнения, как правило, характеризуются
• высоким уровнем интеллекта и низким уровнем творческих способностей.

№ 100
Как правило, творческие личности характеризуются:
1) конформизмом;
2) хорошим включением в социальную группу;
3) четко установленными представлениями о жизни и обществе;
• все ответы неверны.