Логическое программирование

Для создания списка пройденных вершин графа, которые алгоритм поиска решений должен в дальнейшем игнорировать, Prolog использует:

• локальные переменные
• представление путей численными значениями
• (Правильный ответ) глобальные переменные

Механизм прямого логического вывода в экспертных системах является:

• управляемым логикой
• управляемым целями
• (Правильный ответ) управляемым фактами

Императивные языки программирования оперируют:

• пространством поиска решений
• данными
• (Правильный ответ) состоянием памяти

Императивными языками программирования не являются:

• только логические языки
• (Правильный ответ) функциональные и логические языки
• только функциональные языки

Декларативными языками программирования называются:

• императивные языки
• (Правильный ответ) функциональные языки
• (Правильный ответ) логические языки

Определите, чем является указанное ниже предложение на языке Prolog: studied(petya,english)

• правило
• (Правильный ответ) факт
• внешняя цель

Функциональное программирование — это парадигма программирования, …

• основанная на автоматическом доказательстве теорем
• которая, описывает процесс вычисления в виде инструкций, изменяющих состояние программы
• (Правильный ответ) в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних

Язык программирования Prolog является:

• (Правильный ответ) логическим
• императивным
• функциональным

Императивное программирование — это парадигма программирования, …

• (Правильный ответ) которая, описывает процесс вычисления в виде инструкций, изменяющих состояние программы
• основанная на автоматическом доказательстве теорем
• в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних

Укажите особенность логических языков программирования:

• (Правильный ответ) программа задаёт множество возможных переходов в пространстве поиска
• выполнение операторов изменяет состояние памяти
• применение функции к аргументам изменяет данные

Укажите особенность императивных языков программирования:

• (Правильный ответ) выполнение операторов изменяет состояние памяти
• применение функции к аргументам изменяет данные
• программа задаёт множество возможных переходов в пространстве поиска

Парадигма программирования, которая описывает процесс вычисления в виде инструкций, изменяющих состояние программы, называется:

• (Правильный ответ) императивное программирование
• функциональное программирование
• логическое программирование

Логическое программирование — это парадигма программирования …

• которая, описывает процесс вычисления в виде инструкций, изменяющих состояние программы
• (Правильный ответ) основанная на автоматическом доказательстве теорем
• в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних

Язык функционального программирования является:

• (Правильный ответ) декларативным
• императивным и декларативным
• императивным

Укажите особенности логических языков программирования:

• (Правильный ответ) заложенная в язык возможность возвратов и перебора
• (Правильный ответ) отсутствие операторов присваивания
• отсутствие в языке возможности по представлению списков, деревьев

Какой объем оперативной памяти ориентировочно занимает алгоритм поиска в ширину?

• (Правильный ответ) соответствующий среднему ветвлению на каждом шаге алгоритма в степени средней длины пути алгоритма поиска
• соответствующий среднему ветвлению на каждом шаге алгоритма поиска
• соответствующий максимальной длине пути алгоритма поиска

При механизме обратного логического вывода в экспертных системах:

• на основании начальных фактов строится заключение, либо сначала выдвигается гипотеза, а затем проверяется ее истинность
• (Правильный ответ) сначала выдвигается гипотеза, а затем проверяется ее истинность
• на основании начальных фактов строится заключение

Если формула F истинна хотя бы в одной интерпретации, то она называется:

• общезначимой
• достоверной
• (Правильный ответ) выполнимой

Укажите условное обозначение утверждения, что формула B следует из формулы A:

• A ¬ B
• (Правильный ответ) A |= B
• A |- B

Для разработки экспертных систем в Prolog наиболее оптимальным является:

• (Правильный ответ) алгоритм градиентного спуска
• алгоритм поиска решения А*
• алгоритм поиска решения А

Укажите метод моделирования искусственного интелекта, основанный на создании биологической структуры человека и особенностей ее функционирования:

• генетический
• семиотический
• эмерджентный
• (Правильный ответ) нейрокибернетический

Какой из алгоритмов поиска решения не хранит в памяти пройденные пути и состояния?

• алгоритм поиска решения А
• (Правильный ответ) алгоритм градиентного спуска
• алгоритм поиска решения А*

Для обозначения объектов, атрибутов и значений в RDF используется:

• url
• (Правильный ответ) uri
• purl

Применением к формуле или терму F называется:

• формула или терм, в которой одно вхождение Xi заменено на соответствующий терм ti
• (Правильный ответ) формула или терм, в которой все вхождения Xi заменены на соответствующие термы ti
• формула или терм, в которой ни одно из вхождений Xi не заменено на соответствующие термы ti

Информированный метод поиска — это …

• метод поиска, который не имеет возможность задавать направление поиска
• (Правильный ответ) метод поиска, который имеет возможность задавать направление поиска
• метод поиска, который является допустимым

Алгоритм поиска решения IDA* устанавливает при каждом итерационном заглублении:

• целочисленное значение длины пути
• (Правильный ответ) диапазон возможных длин пути
• вещественное значение длины пути

Укажите предикат языка Prolog, который используется для определения суммы элементов списка:

• (Правильный ответ) sum
• add
• length

Какой встроенный предикат на языке Prolog открывает файл на ввод?

• telling
• tell
• (Правильный ответ) see
• seeing

Целевое утверждение, которое приводит к вызову правила, содержащего отсечение, называется:

• фактом
• дочерним целевым утверждением
• (Правильный ответ) родительским целевым утверждением

Укажите синтаксис Mercury для объявления прямой суммы:

• :- type t == T1 * T2
• :- type t == T1->T2
• (Правильный ответ) :- type t —> op1(T1); op2(T2)
• :- type t == int

На языке программирования Prolog переменные начинаются:

• (Правильный ответ) с заглавной буквы
• со строчной буквы
• с символа $

Определите детерминизм предиката Prolog, у которого максимальное количество решений больше единицы, а отказ невозможен:

• failure
• semidet
• det
• (Правильный ответ) multi

Если формула F истинна во всех интерпретациях, то она называется:

• выполнимой
• (Правильный ответ) общезначимой
• достоверной

Как называется кортеж, включающий в себя выделенный начальный символ ?

• язык
• (Правильный ответ) грамматика
• алфавит

Использование предиката repeat языка программирования Prolog возможно только с:

• предикатами, всегда заканчивающимися успехом
• предикатами без «побочных эффектов»
• (Правильный ответ) предикатами с «побочным эффектом»

Укажите алгоритм поиска решения задачи, при котором может быть найден только путь решения без петель:

• алгоритмы поиска в глубину и в ширину
• (Правильный ответ) алгоритм поиска в глубину
• алгоритм поиска в ширину

При алгоритме поиска решения задачи в ширину:

• можно найти только пути решения без петель
• (Правильный ответ) первым находится кратчайший путь
• первым находится необязательно кратчайший путь

Укажите определение языка над некоторым алфавитом A:

• два непересекающихся множества нетерминальных N и терминальных A символов
• (Правильный ответ) некоторое множество цепочек в этом алфавите
• это кортеж, включающий в себя выделенный начальный символ

Укажите синтаксис Mercury для объявления типа int:

• :- type t == T1 * T2
• (Правильный ответ) :- type t == int
• :- type t —> op1(T1); op2(T2)
• :- type t == T1->T2

Метапрограммирование — это …

• парадигма программирования, в которой основными концепциями являются понятия объектов и классов
• (Правильный ответ) написание компьютерных программ, которые манипулируют другими программами как данными
• парадигма программирования, основанная на автоматическом доказательстве теорем

Декларативная семантическая модель программы на языке Prolog:

• рассматривает правила как последовательность шагов, которые необходимо успешно выполнить для того, чтобы соблюдалось отношение, приведенное в заголовке правила
• (Правильный ответ) рассматривает отношения, определенные в программе, при этом порядок следования предложений в программе и условий в правиле не важен
• рассматривает отношения, не определенные в программе

Исчисление называется достоверным, если:

• любая общезначимая формула A выводима
• (Правильный ответ) любая выводимая формула является общезначимой
• не существует такой формулы A, что |- A и |-¬ A

Укажите язык программирования со строгой типизацией:

• Prolog
• C++
• (Правильный ответ) C#

Если для всех вершин графа x имеет место h1(x) больше либо равен h2(x), в этом случае:

• алгоритм эвристического поиска с функцией h1(x) будет менее информированным, чем алгоритм с функцией h2(x)
• (Правильный ответ) алгоритм эвристического поиска с функцией h1(x) будет более информированным, чем алгоритм с функцией h2(x)
• алгоритм эвристического поиска с функцией h1(x) будет более неинформированным

Некоторое множество цепочек в алфавите А называется:

• грамматикой
• кортежем
• (Правильный ответ) языком

Укажите определение теоремы о достоверности отрицания по конечному неуспеху:

• пусть P — логическая программа без отрицаний. Если , то существует конечное дерево SLD-резолюции для A, заканчивающееся неуспехом
• (Правильный ответ) пусть P — логическая программа без отрицаний. Если некоторое утверждение A имеет конечное дерево SLD-резолюции, заканчивающиеся неуспехом, то
• не выводимо тогда, когда A имеет конечное дерево вывода, заканчивающиеся неуспехом

Если для алгоритма поиска А выполняется условие, что h(x) больше либо равен нулю, но меньше либо равен h*(x), то:

• алгоритм поиска A является неинформированным
• алгоритм поиска A является недопустимым
• (Правильный ответ) алгоритм поиска A является допустимым

Какой встроенный предикат Prolog преобразовывает структурные термы в списки?

• ==
• (Правильный ответ) =..
• :-

С точки зрения быстродействия удаления элемента из середины:

• (Правильный ответ) у списка и массива одинаковая эффективность
• более эффективно использование массива
• более эффективно использование списка

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

• description logics
• (Правильный ответ) f-logic
• prolog

Аналогом какого оператора императивного языка является приведенный ниже код на языке программирования Prolog: W:- A,P,W. W:-!.

• for
• (Правильный ответ) while
• if

В весовой функции алгоритма A* переменная h*(X) обозначает:

• длина кратчайшего пути из A в X
• эвристическая функция
• (Правильный ответ) длина кратчайшего пути из X в Z
• длина текущего пути от начальной вершины до X

Формула находится в сколемовской нормальной форме, если:

• (Правильный ответ) она находится в предваренной нормальной форме и не содержит кванторов существования
• это конъюнкция конечного числа дизъюнктов
• она представлена в виде Q1x1,…,QnxnA, где Qi — это квантор существования или всеобщности, а формула A не содержит кванторов

Cемейство языков представления знаний, позволяющих описывать понятия предметной области в формализованном виде:

• f-logic
• html
• (Правильный ответ) description logics

Дизъюнкция в Description logics обозначается:

• (Правильный ответ)

Укажите синтаксис Mercury для объявления декартова произведения:

• :- type t —> op1(T1); op2(T2)
• :- type t == T1->T2
• (Правильный ответ) :- type t == T1 * T2
• :- type t == int

Укажите обозначение логической связки отрицания:

• (Правильный ответ) ¬
• v

В весовой функции алгоритма A переменная g(X) обозначает:

• длина кратчайшего пути из X в Z
• длина кратчайшего пути из A в X
• эвристическая функция
• (Правильный ответ) длина текущего пути от начальной вершины до X

В продукционных экспертных системах представление знаний осуществляется с помощью дерева:

• «или-не»
• (Правильный ответ) «и-или»
• «и-не»

Как называется грамматика в классификации по Хомскому, если все правила грамматики имеют вид ? ?? a либо ? ?? , где , ?

• рекурсивно-перечислимая грамматика
• контекстно-зависимая грамматика
• контекстно-свободная грамматика
• (Правильный ответ) регулярная грамматика

Исчисление называется полным, если:

• не существует такой формулы A, что |- A и |-¬ A
• (Правильный ответ) любая общезначимая формула A выводима
• если любая выводимая формула является общезначимой

Для реализации на логических языках программирования наиболее хорошо подходит:

• контекстно-зависимая грамматика
• (Правильный ответ) контекстно-свободная грамматика
• регулярная грамматика

Укажите предикат языка Prolog, который используется для определения принадлежности элемента списку:

• members
• (Правильный ответ) member
• list_members

Кортеж, включающий в себя множество R правил вида a ?? b, где :

• язык
• алфавит
• (Правильный ответ) грамматика

Свободная переменная в программе на языке Prolog:

• не унифицируется
• (Правильный ответ) унифицируется без ограничений
• унифицируется только как значение, с которым она связана

Укажите постфиксный оператор языка Prolog:

• (Правильный ответ) x!
• not x
• x + y

Аналогом какого оператора императивного языка является приведенный ниже код на языке программирования Prolog: Q :- A, B. Q :- not(A), C.

• while
• (Правильный ответ) if
• for