Главная / Образование / Мышление, вычисления и искусственный интеллект для школьников

Мышление, вычисления и искусственный интеллект для школьников - ответы на тесты Интуит

Правильные ответы выделены зелёным цветом.
Все ответы: В курсе дается введение в теорию искусственного интеллекта. Этот курс читался на летней компьютерной школе для участников олимпиад по информатике.
Смотрите также:
В чем заключается цель теста Тьюринга?
(1) в определении у объекта тестирования наличия или отсутствия искусственного интеллекта
(2) в определении у объекта тестирования уровня интеллекта
(3) в определении у объекта тестирования наличия или отсутствия интеллекта
Решением проблемы остановки будет являться:
(1) создание программы, оценивающей возможность корректной остановки любой программы на основании анализа ее кода и входных данных
(2) создание программы, останавливающей другие программы
(3) остановка программы, обладающей искусственным интеллектом
Что доказывает "словесный парадокс"?
(1) существование невычислимых языков
(2) существование вычислимых языков
(3) существование перечислимых языков
В чем заключается смысл эксперимента "Китайская комната Серля"?
(1) контраргумент к тесту Тьюринга
(2) дополнение к тесту Тьюринга
(3) доказательство точности результатов теста Тьюринга
Вычислимые языки - это языки, для которых существуют программы (алгоритмы), ...
(1) определяющие принадлежность к данному языку каждого слова этого языка и всегда завершающиеся при любых других входных словах
(2) определяющие принадлежность к данному языку каждого слова этого языка и не всегда завершающиеся при любых других входных словах
(3) позволяющие вывести в произвольном порядке все слова этого языка
Набор определенных начальных аксиом и правил вывода является ...
(1) формальной системой
(2) неформальной системой
(3) искусственным интеллектом
Перечислите основные точки зрения на проблему осмысления и имитации осмысления при создании искусственного интеллекта:
(1) любое вычисление и есть осмысление
(2) осмысление возможно только у человека, у компьютера лишь имитация осмысления
(3) осмысление возможно только у человека, имитация осмысления компьютером невозможна
Полувычислимые языки - это языки, для которых существуют программы (алгоритмы), ...
(1) определяющие принадлежность к данному языку каждого слова этого языка и всегда завершающиеся при любых других входных словах
(2) определяющие принадлежность к данному языку каждого слова этого языка и не всегда завершающиеся при любых других входных словах
(3) позволяющие вывести в произвольном порядке все слова этого языка
В чем выражается непротиворечивость формальной системы?
(1) для каждого утверждения Y можно вывести одновременно утверждения Y и не Y
(2) для каждого утверждения Y можно вывести только либо Y, либо не Y
(3) для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y
(4) для каждого утверждения Y нельзя вывести только либо Y, либо не Y
Понятие языка для некоторой программы:
(1) набор, совокупность строк(слов), идентифицируемых данной программой
(2) набор, совокупность символов, идентифицируемых данной программой
(3) набор, совокупность цифр, идентифицируемых данной программой
Перечислимые языки - это языки, для которых существуют программы (алгоритмы), ...
(1) позволяющие вывести в произвольном порядке все слова этого языка
(2) определяющие принадлежность к данному языку каждого слова этого языка и всегда завершающиеся при любых других входных словах
(3) определяющие принадлежность к данному языку каждого слова этого языка и не всегда завершающиеся при любых других входных словах
В чем выражается неполнота формальной системы?
(1) для каждого утверждения Y нельзя вывести только либо Y, либо не Y
(2) для каждого утверждения Y можно вывести только либо Y, либо не Y
(3) для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y
(4) для каждого утверждения Y можно вывести одновременно утверждения Y и не Y
Компьютер, обладающий искусственным интеллектом должен ...
(1) считать со скоростью человека
(2) вести себя не так, как человек
(3) вести себя также, как человек
Любой вычислимый язык является ...
(1) перечислимым
(2) невычислимым
(3) полувычислимым
В чем выражается противоречивость формальной системы?
(1) для каждого утверждения Y нельзя вывести только либо Y, либо не Y
(2) для каждого утверждения Y можно вывести только либо Y, либо не Y
(3) для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y
(4) для каждого утверждения Y можно вывести одновременно утверждения Y и не Y
Что является имитацией осмысления математического алгоритма?
(1) понимание смысла алгоритма и его составных элементов
(2) запоминание алгоритма
(3) решение алгоритма без понимания его смысла
Укажите правильное утверждение?
(1) слова состоят из цифр, алфавит состоит из слов
(2) слова состоят из символов, алфавит состоит из слов
(3) слова состоят из символов, язык состоит из слов
В чем выражается полнота формальной системы?
(1) для каждого утверждения Y нельзя вывести только либо Y, либо не Y
(2) для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y
(3) для каждого утверждения Y можно вывести только либо Y, либо не Y
(4) для каждого утверждения Y можно вывести одновременно утверждения Y и не Y
Как проводится тест Тьюринга?
(1) поочередно задаются вопросы двум разным компьютерам
(2) поочередно задаются вопросы одному и другому человеку
(3) поочередно задаются вопросы компьютеру и человеку
Доказательство того, что множество всех возможных языков - счетное, ...
(1) существует
(2) не существует, поскольку это неверное утверждение
(3) не требуется, поскольку это утверждение является аксиомой
Любая математическая непротиворечивая формальная система не может быть:
(1) противоречивой
(2) неполной
(3) полной
Куда выводит выходные данные человек в эксперименте "Китайская комната Серля"?
(1) другому человеку в комнате
(2) во внешнюю среду, откуда получает внешние данные
(3) никуда не выводит
Что предполагается при доказательстве нерешения программы остановки?
(1) программа, решающая проблему остановки, работает с пустым входом
(2) программа, решающая проблему остановки, существует
(3) программа, решающая проблему остановки, не существует
Теорема Геделя доказывает, что:
(1) полной и непротиворечивой математической формальной системы не существует
(2) неполной и непротиворечивой математической формальной системы не существует
(3) полная и непротиворечивая математическая формальная система существует
(4) неполная и непротиворечивая математическая формальная система существует
Какая точка зрения на проблему осмысления и его имитации допускает существование искусственного интеллекта?
(1) любое вычисление и есть осмысление
(2) осмысление возможно только у человека, у компьютера лишь имитация осмысления
(3) осмысление возможно только у человека, имитация осмысления компьютером невозможна
Какой вывод делается в конце доказательства нерешения программы остановки?
(1) программа, решающая проблему остановки, не существует
(2) программа, решающая проблему остановки, существует
(3) существование такой программы недоказуемо в рамках данной формальной задачи
Какое утверждение верно для формальной математической системы?
(1) полной и непротиворечивой системы не существует
(2) в любой системе существуют верные утверждения, недоказуемые в рамках этой системы
(3) в любой системе не существуют верные утверждения, доказуемые в рамках этой системы
(4) неполной и непротиворечивой системы не существует
Для каких языков существуют программы, идентифицирующие все слова этого языка?
(1) только для конечных языков
(2) только для бесконечных языков
(3) для всех конечных языков и части бесконечных языков
(4) для всех бесконечных языков и части конечных языков
Выберите отличие вычислимого от полувычислимого языка:
(1) программа вычислимого языка не всегда завершается
(2) программа вычислимого языка всегда завершается
(3) программа вычислимого языка выводит все слова своего языка
Формальная система на основании аксиом и правил вывода создает:
(1) новые аксиомы
(2) новые теоремы
(3) новые правила вывода
В чем заключается универсальность программ?
(1) существуют программы, моделирующие работу программ, написанных на других языках
(2) все программы написаны по единому алгоритму
(3) все языки программ сходны между собой
Выберите отличия перечислимого от полувычислимого языка:
(1) программа перечислимого языка не завершается
(2) программа перечислимого языка не всегда завершается
(3) программа перечислимого языка не выводит все слова своего языка
Какое из данных выражений является по смыслу "словесным парадоксом"?
(1) наименьшее натуральное число, которое можно описать менее чем 100 словами
(2) наименьшее натуральное число, которое нельзя описать более чем 100 словами
(3) наименьшее натуральное число, которое нельзя описать менее чем 100 словами
(4) наибольшее натуральное число, которое нельзя описать более чем 100 словами
Что называется алфавитом некоторого языка?
(1) совокупность части символов, используемых в словах(строках) данного языка
(2) совокупность всех символов, используемых в словах(строках) данного языка
(3) совокупность всех символов, неиспользуемых в словах(строках) данного языка
Если программа не всегда завершается при входных словах, не являющихся словами ее языка, то такой язык называется ...
(1) вычислимым
(2) полувычислимым
(3) перечислимым
Любая математическая противоречивая формальная система не может быть:
(1) непротиворечивой
(2) неполной
(3) полной
В каком случае компьютер успешно прошел тест Тьюринга?
(1) если его поведение не совпадает с поведением человека
(2) если его поведение полностью совпадает с поведением человека
(3) если его поведение частично совпадает с поведением человека
Доказательство возможности создания программы, решающей проблему остановки...
(1) существует
(2) не существует, поскольку это неверное утверждение
(3) не требуется, , поскольку это утверждение является аксиомой
Существование невычислимых языков доказывает ...
(1) тест Тьюринга
(2) "словесный парадокс"
(3) эксперимент "Китайская комната Серля"
Эксперимент "Китайская комната Серля" доказывает, что система может:
(1) обладать "знанием" и показывать его внешней среде
(2) обладать "знанием", но не показывать его внешней среде
(3) не обладать "знанием", но имитировать это "знание" внешней среде
Язык, для которого существует программа, определяющая принадлежность к данному языку каждого слова этого языка и всегда завершающаяся при других входных словах ...
(1) называется полувычислимым
(2) называется вычислимым
(3) называется перечислимым
Что представляет собой формальная система?
(1) набор определенных начальных аксиом и правил вывода
(2) набор определенных начальных аксиом
(3) набор определенных теорем
Сколько существует основных точек зрения на проблему осмысления и имитации осмысления при создании искусственного интеллекта?
(1) 5
(2) 3
(3) 2
(4) 4
Язык, для которого существует программа, определяющая принадлежность к данному языку каждого слова этого языка и не всегда завершающаяся при других входных словах ...
(1) называется вычислимым
(2) называется полувычислимым
(3) называется перечислимым
Если для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y, это является признаком ...
(1) противоречивости формальной системы
(2) непротиворечивости формальной системы
(3) полноты формальной системы
(4) неполноты формальной системы
Язык некоторой программы состоит в общем случае:
(1) из строк(слов)
(2) из символов
(3) из цифр
Язык, для которого существует программа, позволяющая вывести в произвольном порядке все слова этого языка ...
(1) называется перечислимым
(2) называется вычислимым
(3) называется полувычислимым
Если для каждого утверждения Y нельзя вывести только либо Y, либо не Y, это является признаком ...
(1) неполноты формальной системы
(2) противоречивости формальной системы
(3) непротиворечивости формальной системы
(4) полноты формальной системы
Какая задача ставится искусственному интеллекту в данном курсе?
(1) поиск решения функции
(2) доказательство теорем
(3) расчет алгоритма
Любой полувычислимый язык является ...
(1) невычислимым
(2) перечислимым
(3) вычислимым
Если для каждого утверждения Y можно вывести одновременно утверждения Y и не Y, это является признаком ...
(1) неполноты формальной системы
(2) противоречивости формальной системы
(3) полноты формальной системы
(4) непротиворечивости формальной системы
Что является осмыслением математического алгоритма?
(1) запоминание алгоритма
(2) понимание смысла алгоритма и его составных элементов
(3) решение алгоритма без понимания его смысла
Что такое алфавит?
(1) совокупность, набор символов из которых состоят слова языка
(2) совокупность символов в строке
(3) совокупность слов в языке
Если для каждого утверждения Y можно вывести только либо Y, либо не Y, это является признаком ...
(1) противоречивости формальной системы
(2) полноты формальной системы
(3) непротиворечивости формальной системы
(4) неполноты формальной системы
Результаты теста Тьюринга рассчитываются на основании ответов компьютера на вопросы ...
(1) нескольких человек
(2) большого количества людей
(3) одного человека
Выберите правильное утверждение?
(1) число возможных языков равно числу возможных программ
(2) число возможных языков больше числа возможных программ
(3) число возможных языков меньше числа возможных программ
Любая математическая полная формальная система не может быть:
(1) неполной
(2) непротиворечивой
(3) противоречивой
Какие действия выполняет человек с входными данными в эксперименте "Китайская комната Серля"?
(1) обрабатывает по определенному алгоритму и выводит во внешнюю среду результат
(2) обрабатывает по определенному алгоритму и не выводит результат
(3) выводит во внешнюю среду, не обрабатывая
Предполагается ли при доказательстве нерешения проблемы остановки о существовании такой программы?
(1) да
(2) нет
Утверждение, что полной и непротиворечивой математической формальной системы не существует доказывает:
(1) теорема Ферма
(2) теорема Геделя
(3) тест Тьюринга
Какая точка зрения на проблему осмысления и его имитации не допускает существование искусственного интеллекта?
(1) любое вычисление и есть осмысление
(2) осмысление возможно только у человека, у компьютера лишь имитация осмысления
(3) осмысление возможно только у человека, имитация осмысления компьютером невозможна
Что подается на вход исследуемой программе на последнем этапе доказательства нерешения проблемы остановки?
(1) код произвольной программы
(2) пустой вход
(3) собственный код
Вывод, что в любой математической формальной системе существуют верные утверждения, недоказуемые в рамках этой системы принадлежит:
(1) теореме Геделя
(2) теореме Ферма
(3) тесту Тьюринга
Программа, идентифицирующая все слова бесконечного языка ...
(1) не существует
(2) существует для всех бесконечных языков
(3) существует не для всех бесконечных языков
Выберите отличие вычислимого от невычислимого языка:
(1) программа вычислимого языка не завершается
(2) программа вычислимого языка не всегда завершается
(3) для любого вычислимого языка существует программа, идентифицирующая все слова этого языка
Теоремы в формальных системах доказываются на основании:
(1) только аксиом
(2) только правил вывода
(3) аксиом и правил вывода
Как называется моделирование работы программы, написанной на другом языке?
(1) модуляция
(2) интерпретация
(3) универсальность
Выберите отличие невычислимого от перечислимого языка:
(1) для невычислимого языка существует программа, идентифицирующая все слова этого языка
(2) для невычислимого языка не существует программы, идентифицирующей все слова этого языка
(3) программа невычислимого языка всегда завершается
"Словесный парадокс" является по своей сути:
(1) аксиомой
(2) противоречием
(3) утверждением
Какое утверждение правильное?
(1) слова состоят из цифр, алфавит состоит из слов
(2) слова состоят из символов, язык состоит из слов
(3) слова состоят из символов, алфавит состоит из слов
Если программа всегда завершается при входных словах, не являющихся словами ее языка, то такой язык называется ...
(1) полувычислимым
(2) перечислимым
(3) вычислимым
Любая математическая неполная формальная система не может быть:
(1) полной
(2) непротиворечивой
(3) противоречивой
Кто задает вопросы компьютеру в процессе прохождения им теста Тьюринга?
(1) один человек
(2) один компьютер
(3) большое количество компьютеров
(4) большое количество людей
Доказательство невозможности создания программы, решающей проблему остановки...
(1) существует
(2) не существует, поскольку это неверное утверждение
(3) не требуется, , поскольку это утверждение является аксиомой
Какое утверждение верно?
(1) "Словесный парадокс" доказывает существование невычислимых языков
(2) "Словесный парадокс" доказывает существование вычислимых языков
(3) "Словесный парадокс" доказывает существование перечислимых языков
Возможность имитации осмысления показывает...
(1) тест Тьюринга
(2) эксперимент "Китайская комната Серля"
(3) теорема Геделя
Как "ведет" себя программа для любого вычислимого языка?
(1) не всегда завершается
(2) всегда завершается
(3) выводит все слова этого языка
Является ли формальной системой набор определенных начальных аксиом и правил вывода?
(1) нет
(2) да
Какая точка зрения на проблему осмысления и имитации осмысления при создании искусственного интеллекта считается единственно верной?
(1) любое вычисление и есть осмысление
(2) осмысление возможно только у человека, у компьютера лишь имитация осмысления
(3) осмысление возможно только у человека, имитация осмысления компьютером невозможна
(4) ни одна точка зрения не является единственно верной
Как "ведет" себя программа для любого полувычислимого языка?
(1) всегда завершается
(2) выводит все слова этого языка
(3) не всегда завершается
Какое утверждение верно для формальной системы?
(1) признак непротиворечивости системы - если для каждого утверждения Y можно вывести одновременно утверждения Y и не Y
(2) признак непротиворечивости системы - если для каждого утверждения Y можно вывести только либо Y, либо не Y
(3) признак непротиворечивости системы - если для каждого утверждения Y нельзя вывести только либо Y, либо не Y
(4) признак непротиворечивости системы - если для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y
Программа, идентифицирующая все верные математические утверждения, ...?
(1) не существует
(2) существует
Как "ведет" себя программа для любого перечислимого языка?
(1) выводит все слова этого языка
(2) всегда завершается
(3) не всегда завершается
Какое утверждение верно для формальной системы?
(1) признак неполноты системы - если для каждого утверждения Y можно вывести одновременно утверждения Y и не Y
(2) признак неполноты системы - если для каждого утверждения Y можно вывести только либо Y, либо не Y
(3) признак неполноты системы - если для каждого утверждения Y нельзя вывести только либо Y, либо не Y
(4) признак неполноты системы - если для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y
Если компьютер ведет себя также, как человек, то считается что он ...
(1) обладает искусственным интеллектом
(2) обладает интеллектом
(3) обладает развитым интеллектом
Любой перечислимый язык является ...
(1) полувычислимым
(2) вычислимым
(3) невычислимым
Какое утверждение верно для формальной системы?
(1) признак противоречивости системы - если для каждого утверждения Y можно вывести одновременно утверждения Y и не Y
(2) признак противоречивости системы - если для каждого утверждения Y можно вывести только либо Y, либо не Y
(3) признак противоречивости системы - если для каждого утверждения Y нельзя вывести только либо Y, либо не Y
(4) признак противоречивости системы - если для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y
Решение алгоритма без понимания его смысла является ...
(1) осмыслением
(2) имитацией осмысления
Что называется алфавитом некоторого языка?
(1) совокупность части символов, используемых в словах(строках) данного языка
(2) совокупность всех символов, используемых в словах(строках) данного языка
(3) совокупность всех символов, неиспользуемых в словах(строках) данного языка
Какое утверждение верно для формальной системы?
(1) признак полноты системы - если для каждого утверждения Y нельзя вывести одновременно утверждения Y и не Y
(2) признак полноты системы - если для каждого утверждения Y нельзя вывести только либо Y, либо не Y
(3) признак полноты системы - если для каждого утверждения Y можно вывести только либо Y, либо не Y
(4) признак полноты системы - если для каждого утверждения Y можно вывести одновременно утверждения Y и не Y
С чем сравниваются ответы компьютера на вопросы теста Тьюринга?
(1) с ответами человека
(2) с ответами одного компьютера
(3) с ответами большого количества компьютеров
Доказательство того, что множество всех возможных языков - больше, чем счетное, ...
(1) существует
(2) не существует, поскольку это неверное утверждение
(3) не требуется, поскольку это утверждение является аксиомой
Укажите несуществующую математическую формальную систему?
(1) полная и непротиворечивая система
(2) полная и противоречивая система
(3) неполная и непротиворечивая система
(4) неполная и противоречивая система
Что демонстрирует человек в эксперименте "Китайская комната Серля"?
(1) осмысление
(2) имитацию осмысления
Что дается на вход программе, предположительно решающей проблему остановки?
(1) только выходные данные проверяемой программы
(2) только входные данные проверяемой программы
(3) входные данные и код проверяемой программы
Теорема Геделя доказывает, что полной и непротиворечивой математической формальной системы не существует?
(1) да
(2) нет
Какая точка зрения на проблему осмысления и его имитации ставит искусственный интеллект на одну ступень с человеком?
(1) любое вычисление и есть осмысление
(2) осмысление возможно только у человека, у компьютера лишь имитация осмысления
(3) осмысление возможно только у человека, имитация осмысления компьютером невозможна
Какое противоречие возникает при окончании доказательства нерешения проблемы остановки?
(1) взаимоисключающая одновременность завершения и незавершения программы
(2) "Словесный парадокс"
(3) противоречие теории множеств
Вывод теоремы Геделя:
(1) в любой математической формальной системе не существуют верные утверждения, недоказуемые в рамках этой системы
(2) в любой математической формальной системе существуют верные утверждения, доказуемые в рамках этой системы
(3) в любой математической формальной системе не существуют верные утверждения доказуемые в рамках этой системы
(4) в любой математической формальной системе существуют верные утверждения, недоказуемые в рамках этой системы
Программа, идентифицирующая все слова конечного языка ...
(1) не существует
(2) существует для всех конечных языков
(3) существует не для всех конечных языков
Выберите отличие перечислимого от вычислимого языка:
(1) программа перечислимого языка выводит все слова своего языка
(2) программа перечислимого языка не выводит все слова своего языка
(3) программа перечислимого языка всегда завершается
Укажите правильную взаимосвязь?
(1) аксиома+правило вывода=теорема
(2) теорема+правило вывода=аксиома
(3) аксиома+теорема=правило вывода
Что представляет собой интерпретация программы?
(1) моделирование работы программы, написанной на другом языке
(2) анализ возможности завершения программы
(3) сравнение входных и выходных данных программы
Выберите отличие невычислимого от полувычислимого языка:
(1) для невычислимого языка не существует программы, идентифицирующей все слова этого языка
(2) для невычислимого языка существует программа, идентифицирующая все слова этого языка
(3) программа невычислимого языка не всегда завершается
Какое из данных выражений не является по смыслу "словесным парадоксом"?
(1) наибольшее натуральное число, которое нельзя описать более чем 100 словами
(2) наименьшее натуральное число, которое нельзя описать более чем 100 словами
(3) наименьшее натуральное число, которое можно описать менее чем 100 словами
Что является алфавитом?
(1) совокупность символов в строке
(2) совокупность слов в языке
(3) совокупность, набор символов из которых состоят слова языка
Если программа выводит все слова своего языка, то такой язык называется ...
(1) перечислимым
(2) вычислимым
(3) невычислимым
Укажите существующую математическую формальную систему?
(1) полная и непротиворечивая система
(2) полная и противоречивая система
(3) неполная и непротиворечивая система
(4) неполная и противоречивая система