Главная / Логическое программирование

Логическое программирование - ответы на тесты Интуит

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

Список вопросов:

# Укажите язык программирования со строгой типизацией:
# Укажите язык программирования с нестрогой типизацией:
# Укажите бестиповой язык программирования:
# В языках программирования со строгой типизацией данных:
# В языках программирования с нестрогой типизацией данных:
# В бестиповых языках программирования:
# Статический контроль типов данных в программе происходит:
# Динамический контроль типов данных в программе происходит:
# Какой контроль типов данных в программе позволяет устранить большинство логических ошибок до запуска программы?
# Укажите особенность статического контроля типов данных в программе:
# Укажите особенность динамического контроля типов данных в программе:
# Какой контроль типов данных в программе требует более жесткой системы типизации?
# Каррирование - это ...
# Аппликация - это ...
# Абстракция - это ...
# Какой объем оперативной памяти ориентировочно занимает алгоритм поиска в глубину?
# Какой объем оперативной памяти ориентировочно занимает алгоритм поиска в ширину?
# В языках программирования с нестрогой типизацией данных:
# Укажите алгоритм поиска, при котором может быть первым найден кратчайший путь решения задачи:
# При алгоритме поиска решения задачи в глубину:
# При алгоритме поиска решения задачи в ширину:
# Укажите алгоритм поиска решения задачи, при котором может быть найден путь решения с циклами:
# Укажите алгоритм поиска решения задачи, при котором может быть найден только путь решения без петель:
# Определите детерминизм предиката Prolog, у которого максимальное количество решений больше единицы, а отказ невозможен:
# Режим доказательства предиката add(X,Y,Z) при конкретизированных X,Y:
# Режим доказательства предиката add(X,Y,Z) при конкретизированных X,Z:
# Режим доказательства предиката add(X,Y,Z) при конкретизированных Z:
# Укажите синтаксис Mercury для объявления типа string:
# Укажите синтаксис Mercury для объявления прямой суммы:
# Режим доказательства предиката add(X,Y,Z) при конкретизированных X,Y,Z:
# Укажите синтаксис Mercury для объявления типа int:
# Укажите синтаксис Mercury для объявления функционального типа:
# Укажите синтаксис Mercury для объявления декартова произведения:
# Определите детерминизм предиката Prolog, у которого максимальное количество решений равно единице, а отказ невозможен:
# Определите детерминизм предиката Prolog, у которого максимальное количество решений равно единице и отказ возможен:
# Определите детерминизм предиката Prolog, у которого решений нет и отказ возможен:
# Алгоритм поиска A является допустимым, если для всех вершин графа:
# Если для алгоритма поиска А выполняется условие, что h(x) больше либо равен нулю, но меньше либо равен h*(x), то:
# Если алгоритм поиска A является допустимым, он называется:
# Методы поиска, которые имеют возможность задавать направление поиска, называются:
# Информированный метод поиска - это ...
# Какой предикат языка программирования Prolog позволяет добавить указанное правило в базу данных программы в процессе ее выполнения:
# Укажите особенность жадного алгоритма поиска:
# Какой алгоритм поиска учитывает оптимальносить пути с точки зрения эвристики, но не учитывает вес пути?
# Какой предикат языка программирования Prolog позволяет удалить указанное правило из базы данных программы в процессе ее выполнения:
# В каком алгоритме поиска в качестве весовой функции при выборе направления поиска принимается функция f(X) = g(X) + h(X)?
# В каком алгоритме поиска в качестве весовой функции при выборе направления поиска принимается функция f*(X) = g*(X) + h*(X)?
# В весовой функции алгоритма A* переменная h*(X) обозначает:
# В весовой функции алгоритма A переменная g(X) обозначает:
# В весовой функции алгоритма A переменная h(X) обозначает:
# В весовой функции алгоритма A* переменная g*(X) обозначает:
# Эвристическая функция h(x) может быть монотонной:
# В каком случае эвристическая функция h(x) может быть монотонной?
# Если для любых вершин u,v лежащих на одном пути, |h(u)-h(v)| меньше либо равен стоимости пути от u до v, то:
# Алгоритм эвристического поиска с функцией h1(x) называется более информированным по сравнению с алгоритмом с функцией h2(x), если:
# Если для всех вершин графа x имеет место h1(x) больше либо равен h2(x), в этом случае:
# Укажите оператор вычисления значения выражения в Prolog:
# Укажите весовую функцию выбора направления поиска для алгоритма А:
# Укажите весовую функцию выбора направления поиска для алгоритма А*:
# Если в весовой функции алгоритма А принять h(x)=0, то:
# Для того, чтобы алгоритм А был допустимым:
# Какой встроенный предикат Prolog преобразовывает структурные термы в списки?
# Укажите предикат Prolog, который преобразовывает списки в структурные термы:
# Алгоритм поиска решения IDA* устанавливает при каждом итерационном заглублении:
# Какой алгоритм поиска решения устанавливает при каждом итерационном заглублении определенный диапазон возможных длин пути?
# Очереди путей в алгоритмах поиска решений наиболее эффективно с точки зрения экономии памяти представлять в виде:
# Для разработки экспертных систем в Prolog наиболее оптимальным является:
# Какой из алгоритмов поиска решения не хранит в памяти пройденные пути и состояния?
# Алгоритм градиентного спуска рассматривает:
# Для создания списка пройденных вершин графа, которые алгоритм поиска решений должен в дальнейшем игнорировать, Prolog использует:
# Какой способ использует Prolog для создания списка пройденных вершин графа, которые алгоритм поиска решений должен в дальнейшем игнорировать?
# Укажите, используемое в лекциях, название расширения для векторов оператора вычисления выражений в Prolog:
# Укажите определение языка над некоторым алфавитом A:
# Некоторое множество цепочек в алфавите А называется:
# Онтологический язык для семантических утверждений, разработанный как расширение RDF и RDF-S:
# Грамматика G=<N,A,R,s> — это кортеж, включающий в себя:
# Кортеж, включающий в себя два непересекающихся множества нетерминальных N и терминальных A символов:
# Кортеж, включающий в себя множество R правил вида a → b, где :
# Укажите верное утверждение:
# Как называется кортеж, включающий в себя выделенный начальный символ ?
# Что должен включать в себя кортеж, называемый грамматикой G=<N,A,R,s>?
# Укажите онтологический язык, который базируется на логиках первого порядка, однако классы и свойства в нем представлены как термины, а не как предикаты:
# F-logic - это ...
# Какой из перечисленных ниже языков программирования описывает формальную аксиоматическую систему со свойствами инкапсуляции, наследования и полиморфизма на основе расширения логики первого порядка?
# Грамматика называется регулярной, если:
# Как называется грамматика в классификации по Хомскому, если все правила грамматики имеют вид α → a либо α → , где , ?
# В левой части правила контекстно-свободной грамматики допускается:
# Cемейство языков представления знаний, позволяющих описывать понятия предметной области в формализованном виде:
# Description-logic - это ...
# Для построения онтологий и распределенных хранилищ данных в Semantic Web используется:
# Онтологический язык OWL Lite соответствует логике:
# Онтологический язык OWL DL соответствует логике:
# Онтологический язык OWL Full соответствует логике:
# Укажите формат записи и передачи данных RDF:
# Определите формат записи и передачи данных RDF:
# Укажите, что из перечисленного ниже является форматами записи и передачи данных RDF:
# В модели представления данных RDF информация представляется на основе триплетов:
# Для обозначения объектов, атрибутов и значений в RDF используется:
# Для реализации на логических языках программирования наиболее хорошо подходит:
# Конъюнкция в Description logics обозначается:
# Дизъюнкция в Description logics обозначается:
# Отрицание в Description logics обозначается:
# Грамматика называется контекстно-свободной, если
# Как называется грамматика в классификации по Хомскому, если все правила имеют вид α → , где ?
# Грамматика называется рекурсивно-перечислимой, если:
# Грамматика называется контекстно-зависимой, если:
# Как называется грамматика в классификации по Хомскому, если для всех правил α → выполняется ?
# Как называется грамматика в классификации по Хомскому, если она задается правилами общего вида?
# Метапрограммирование - это ...
# Написание компьютерных программ, которые манипулируют другими программами как данными, называется:
# Искусственный интеллект – это ...
# Укажите метод моделирования искусственного интелекта, основанный на создании биологической структуры человека и особенностей ее функционирования:
# Нейрокибернетический метод моделирования искусственного интелекта - это ...
# "Сильный" искусственный интеллект - это ...
# Укажите метод моделирования искусственного интеллекта, основанный на имитации рассуждений и логики человека:
# Семиотический метод моделирования искусственного интелекта - это ...
# В продукционных экспертных системах представление знаний осуществляется с помощью дерева:
# При каком механизме логического вывода в экспертных системах на основании начальных фактов строится заключение?
# При механизме прямого логического вывода в экспертных системах:
# Механизм прямого логического вывода в экспертных системах является:
# К какой категории представления знаний относятся семантические сети?
# К какой категории представления знаний относятся концептуальные графы?
# К какой категории представления знаний относятся тройки "объект-атрибут-значение"?
# В классической продукционной экспертной системе база знаний представляет собой:
# В классической продукционной экспертной системе рабочая память представляет собой:
# В классической продукционной экспертной системе процесс логического вывода представляет собой:
# К какой категории представления знаний относятся фреймы?
# К какой категории представления знаний относятся сценарии?
# К какой категории представления знаний относится продукционное представление?
# Укажите основные области исследования для программ искусственного интеллекта:
# Для решения каких основных задач применяются программы искусственного интеллекта?
# В продукционных экспертных системах каждый узел дерева представления знаний транслируется в:
# К какой категории представления знаний относится алгоритмическое представление?
# К какой категории представления знаний относится логика предикатов?
# К какой категории представления знаний относятся дескриптивные логики?
# При каком механизме логического вывода в экспертных системах сначала выдвигается гипотеза, а затем проверяется ее истинность?
# При механизме обратного логического вывода в экспертных системах:
# Механизм обратного логического вывода в экспертных системах является:
# Укажите метод моделирования искусственного интелекта, основанный на создании "самообучающихся" систем:
# Генетический метод моделирования искусственного интелекта - это ...
# В продукционных экспертных системах листья дерева представления знаний соответствуют:
# Укажите метод моделирования искусственного интелекта, основанный на создании множества простых объектов со сложным взаимодействием:
# Эмерджентный метод моделирования искусственного интелекта - это ...
# "Слабый" искусственный интеллект - это ...
# Императивное программирование - это парадигма программирования, ...
# Парадигма программирования, которая описывает процесс вычисления в виде инструкций, изменяющих состояние программы, называется:
# Императивные языки программирования оперируют:
# Язык функционального программирования является:
# Декларативными языками программирования называются:
# Программа является декларативной, если она:
# Функциональное программирование - это парадигма программирования, ...
# Парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних, называется:
# Функциональные языки программирования оперируют:
# Язык логического программирования является:
# Императивными языками программирования не являются:
# Программа является императивной, если она:
# Логическое программирование - это парадигма программирования ...
# Парадигма программирования, основанная на автоматическом доказательстве теорем, называется:
# Логические языки программирования оперируют:
# Укажите, какая из представленных ниже записей на языке Prolog будет являться правилом:
# Определите, чем является указанное ниже предложение на языке Prolog: studied(petya,english)
# Определите, чем является указанное ниже предложение на языке Prolog: studied(vasya,german) :- true
# Язык программирования С++ является:
# Какой из языков программирования является императивным?
# Укажите императивные языки программирования:
# Укажите особенность императивных языков программирования:
# Укажите особенность функциональных языков программирования:
# Укажите особенность логических языков программирования:
# Язык программирования F# является:
# Какой из языков программирования является функциональным?
# Укажите функциональные языки программирования:
# Укажите, какая из представленных ниже записей на языке Prolog, будет являться фактом:
# Определите, чем является указанное ниже предложение на языке Prolog: studied_languages(X) :- studied(X,english)
# Определите, чем является указанное ниже предложение на языке Prolog: speciality(X,lit_translator) :- studied_languages(X),studied(X,literature)
# Язык программирования Prolog является:
# Какой из языков программирования является логическим?
# Укажите логические языки программирования:
# Язык Prolog является:
# Укажите особенности логических языков программирования:
# Базы данных, снабженные средствами логического программирования для вывода дополнительных фактов:
# Формула F называется общезначимой, если:
# Если формула F истинна во всех интерпретациях, то она называется:
# Укажите условное обозначение общезначимой формулы:
# Формула F называется выполнимой, если:
# Если формула F истинна хотя бы в одной интерпретации, то она называется:
# Укажите следствие теоремы о дедукции:
# Формула B следует из формулы A, если:
# Если для формул A и B, в любой интерпретации, для которой истинно A, оказывается истинным и B, то:
# Укажите условное обозначение утверждения, что формула B следует из формулы A:
# Исчисление называется полным, если:
# Исчисление называется формально непротиворечивым, если:
# Исчисление называется достоверным, если:
# Укажите теорему Гёделя о полноте исчисления предикатов:
# Укажите теорему Гёделя о неполноте:
# Укажите теорему Чёрча:
# Алфавит произвольной формальной системы - это ...
# Формулы произвольной формальной системы - это ...
# Правила вывода произвольной формальной системы - это ...
# Синтаксический способ доказательства общезначимости формул основан на попытке:
# Семантический способ доказательства общезначимости формул основан на попытке:
# Исчисление разрешимо, если:
# Укажите определение линейной стратегии резолюции:
# Укажите определение резолюции с выбирающим правилом:
# Укажите определение упорядоченной стратегии резолюции:
# Дизъюнктом Хорна называется:
# Дизъюнкция литералов с не более чем одним положительным литералом, называется:
# Резолюция для логики предикатов обладает свойством полноты и непротиворечивости только для:
# Применением к формуле или терму F называется:
# Композиция унификаторов = будет в том случае, если:
# Подстановка называется унификатором для формул или термов F и G, если:
# Формула находится в предваренной нормальной форме, если:
# Формула находится в конъюнктивной нормальной форме, если:
# Формула находится в сколемовской нормальной форме, если:
# Укажите обозначение логической связки отрицания:
# Укажите обозначение логической связки конъюнкции:
# Укажите обозначение логической связки дизъюнкции:
# Термы в Prolog бывают:
# Простые термы в Prolog делятся на:
# Константы в Prolog подразделяются на:
# Во всей программе Prolog одинаковые атомы:
# На языке программирования Prolog константы начинаются:
# На языке программирования Prolog переменные начинаются:
# В процессе выполнения программы на Prolog, в каждый момент времени переменная может быть:
# В процессе выполнения программы на Prolog, переменная связывается:
# В программе Prolog переменная может изменить свое значение:
# Укажите верное правило унификации объектов программы Prolog:
# Свободная переменная в программе на языке Prolog:
# Связанная переменная в программе на языке Prolog:
# Укажите префиксный оператор языка Prolog:
# Укажите инфиксный оператор языка Prolog:
# Укажите постфиксный оператор языка Prolog:
# Какой встроенный предикат языка Prolog всегда завершается успешно?
# Какой встроенный предикат языка Prolog всегда завершается неуспешно?
# Анонимная переменная на языке Prolog обозначается символом:
# Укажите предикат языка Prolog, который используется для определения суммы элементов списка:
# Укажите предикат языка Prolog, который используется для определения длины списка:
# Укажите предикат языка Prolog, который используется для определения принадлежности элемента списку:
# Укажите предикат языка Prolog, который используется для удаления элемента из списка:
# Укажите предикат языка Prolog, который используется для конкатенации списков:
# Укажите предикат языка Prolog, который используется для построения перестановок элементов списка:
# С точки зрения быстродействия случайного доступа к элементу:
# С точки зрения быстродействия поиска элемента:
# С точки зрения быстродействия вставки элемента в начало:
# Какой встроенный предикат на языке Prolog открывает файл на ввод?
# Какой встроенный предикат на языке Prolog открывает файл на вывод?
# Какой встроенный предикат на языке Prolog проверяет в какие файлы идет ввод?
# С точки зрения быстродействия удаления элемента из середины:
# С точки зрения быстродействия реверсирования:
# Областью действия одной переменной (например, X) в программе Prolog является:
# Укажите предикат языка Prolog, который используется для свертки списка:
# Укажите предикат языка Prolog, который используется для отображения списка:
# Укажите предикат языка Prolog, который используется для фильтрации списка:
# Предикат not(P) в языке программирования Prolog завершается успехом, если:
# Предикат not(P) в языке программирования Prolog завершается неуспехом, если:
# SLDNF-резолюция ...
# Укажите определение теоремы о достоверности отрицания по конечному неуспеху:
# Предикат repeat языка программирования Prolog:
# Декларативная семантическая модель программы на языке Prolog:
# Укажите определение теоремы о полноте отрицания по конечному неуспеху:
# Использование предиката repeat языка программирования Prolog возможно только с:
# Процедурная семантическая модель программы на языке Prolog:
# Отсечения, при устранении которых программа начинает выдавать неправильные решения, называются:
# Укажите дополнительное правило SLDNF-резолюции:
# Какое из утверждений соответствует дополнительному правило SLDNF-резолюции:
# Предикат отрицания not в Prolog:
# Двойное отрицание с использованием предиката not в Prolog:
# Может ли данный запрос в Prolog генерировать ответ в виде значений искомых переменных: ?-not(not(parent(X,Y))).
# Укажите результат запроса ?- white(X), not(sweet(X)). для представленного ниже набора фактов на языке Prolog: sweet(sugar). white(sugar). white(paper).
# Укажите результат запроса ?- not(sweet(X)),white(X). для представленного ниже набора фактов на языке Prolog: sweet(sugar). white(sugar). white(paper).
# Укажите результат запроса ?- sweet(X),white(X). для представленного ниже набора фактов на языке Prolog: sweet(sugar). white(sugar). white(paper).
# "Зеленые" отсечения - это ...
# "Красные" отсечения - это ...
# Отсечения, при отбрасывании которых программа продолжает выдавать те же решения, что и при наличии отсечения, называются:
# Укажите, какой вид отсечения используется в приведенном ниже фрагменте кода на Prolog: max(X,Y,X) :- X>Y,!. max(_,Y,Y).
# Укажите, какой вид отсечения используется в приведенном ниже фрагменте кода на Prolog: max(X,Y,X) :- X>Y,!. max(X,Y,Y) :- X<=Y.
# Укажите, какой вид отсечения используется в приведенном ниже фрагменте кода на Prolog: max(X,Y,X) :- X>Y. max(X,Y,Y) :- X<=Y.
# Родительским целевым утверждением для некоторого вхождения отсечения в логическую программу называется:
# Целевое утверждение, которое приводит к вызову правила, содержащего отсечение, называется:
# Укажите родительское целевое утверждение в данном примере: C :- P, Q, !, R, S. F :- T. A :- B, C, D.
# Аналогом какого предиката является в данном фрагменте программного кода Prolog предикат x? x(P) :- P, !, fail. x(_).
# Встроенный предикат отсечения языка Prolog ...
# Встроенный предикат отсечения на языке Prolog обозначается символом:
# Аналогом какого оператора императивного языка является приведенный ниже код на языке программирования Prolog: Q :- A, !, B. Q :- C.
# Аналогом какого оператора императивного языка является приведенный ниже код на языке программирования Prolog: Q :- A, B. Q :- not(A), C.
# Аналогом какого оператора императивного языка является приведенный ниже код на языке программирования Prolog: W:- A,P,W. W:-!.
# Укажите ответ на запрос ?- num_legs(centipede,X). для приведенной ниже программы Prolog: num_legs(centipede,40) :- !. num_legs(human,2) :- !. num_legs(_,4).
# Укажите ответ на запрос ?- num_legs(dog,X). для приведенной ниже программы Prolog: num_legs(centipede,40) :- !. num_legs(human,2) :- !. num_legs(_,4).
# Укажите ответ на запрос ?- num_legs(centipede,4). для приведенной ниже программы Prolog: num_legs(centipede,40) :- !. num_legs(human,2) :- !. num_legs(_,4).