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

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

Правильные ответы выделены зелёным цветом.
Все ответы: Курс предназначен для студентов, специализирующихся в области компьютерных наук, и знакомит их с парадигмой программирования, основанной на логике предикатов, которая отличается от наиболее широко распространенного в современном программировании императивного подхода.
Укажите язык программирования со строгой типизацией:
(1) C#
(2) C++
(3) Prolog
Алгоритм поиска A является допустимым, если для всех вершин графа:
(1) h(x) больше либо равен нулю, но меньше либо равен h*(x)
(2) h(x) меньше либо равен нулю, но больше либо равен h*(x)
(3) h(x) больше либо равен нулю и больше либо равен h*(x)
Укажите определение языка над некоторым алфавитом A:
(1) некоторое множество цепочек math в этом алфавите
(2) два непересекающихся множества нетерминальных N и терминальных A символов
(3) это кортеж, включающий в себя выделенный начальный символ
Метапрограммирование - это ...
(1) написание компьютерных программ, которые манипулируют другими программами как данными
(2) парадигма программирования, в которой основными концепциями являются понятия объектов и классов
(3) парадигма программирования, основанная на автоматическом доказательстве теорем
Императивное программирование - это парадигма программирования, ...
(1) которая, описывает процесс вычисления в виде инструкций, изменяющих состояние программы
(2) в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних
(3) основанная на автоматическом доказательстве теорем
Формула F называется общезначимой, если:
(1) она истинна во всех интерпретациях
(2) она истинна хотя бы в одной интерпретации
(3) она ложна во всех интерпретациях
Термы в Prolog бывают:
(1) простые
(2) сдвоенные
(3) структурные
Предикат not(P) в языке программирования Prolog завершается успехом, если:
(1) доказательство P неуспешно
(2) удается найти хотя бы одно доказательство P
(3) удается найти все возможные доказательства P
В языках программирования со строгой типизацией данных:
(1) проверяется строгое соответствие типов
(2) тип данных нужен в основном для определения объема памяти
(3) переменные могут принимать значения различной природы
Методы поиска, которые имеют возможность задавать направление поиска, называются:
(1) информированные
(2) неинформированные
(3) допустимые
Грамматика G=<N,A,R,s> — это кортеж, включающий в себя:
(1) два непересекающихся множества нетерминальных N и терминальных A символов
(2) два пересекающихся множества нетерминальных N и терминальных A символов
(3) множество нетерминальных N символов
Укажите метод моделирования искусственного интелекта, основанный на создании биологической структуры человека и особенностей ее функционирования:
(1) нейрокибернетический
(2) семиотический
(3) генетический
(4) эмерджентный
Язык функционального программирования является:
(1) декларативным
(2) императивным
(3) императивным и декларативным
Формула F называется выполнимой, если:
(1) она истинна во всех интерпретациях
(2) она истинна хотя бы в одной интерпретации
(3) она ложна во всех интерпретациях
Во всей программе Prolog одинаковые атомы:
(1) соответствуют одному и тому же объекту
(2) соответствуют разным объектам
(3) могут соответствовать любому объекту
Укажите определение теоремы о достоверности отрицания по конечному неуспеху:
(1) пусть P — логическая программа без отрицаний. Если некоторое утверждение A имеет конечное дерево SLD-резолюции, заканчивающиеся неуспехом, то math
(2) пусть P — логическая программа без отрицаний. Если math, то существует конечное дерево SLD-резолюции для A, заканчивающееся неуспехом
(3) math не выводимо тогда, когда A имеет конечное дерево вывода, заканчивающиеся неуспехом
Статический контроль типов данных в программе происходит:
(1) на этапе выполнения
(2) на этапе компиляции
(3) на этапе компиляции и выполнения
Укажите особенность жадного алгоритма поиска:
(1) не учитывает оптимальносить пути с точки зрения эвристики и не учитывает вес пути
(2) учитывает оптимальносить пути с точки зрения эвристики, но не учитывает вес пути
(3) не учитывает оптимальносить пути с точки зрения эвристики, но учитывает вес пути
Укажите верное утверждение:
(1) грамматика G=<N,A,R,s> — это некоторое множество цепочек math в алфавите
(2) грамматика G=<N,A,R,s> — это кортеж, включающий в себя выделенный начальный символ math
(3) три пересекающихся множества нетерминальных N и терминальных A символов
Укажите метод моделирования искусственного интеллекта, основанный на имитации рассуждений и логики человека:
(1) нейрокибернетический
(2) семиотический
(3) генетический
(4) эмерджентный
Функциональное программирование - это парадигма программирования, ...
(1) которая, описывает процесс вычисления в виде инструкций, изменяющих состояние программы
(2) в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних
(3) основанная на автоматическом доказательстве теорем
Формула B следует из формулы A, если:
(1) в любой интерпретации, для которой ложно A, оказывается истинным B
(2) в любой интерпретации, для которой истинно A, оказывается истинным и B
(3) в любой интерпретации, для которой истинно A, оказывается ложным B
В процессе выполнения программы на Prolog, в каждый момент времени переменная может быть:
(1) только связанной
(2) только свободной
(3) свободной или связанной
Укажите определение теоремы о полноте отрицания по конечному неуспеху:
(1) Пусть P — логическая программа без отрицаний. Если некоторое утверждение A имеет конечное дерево SLD-резолюции, заканчивающиеся неуспехом, то math
(2) Пусть P — логическая программа без отрицаний. Если math, то существует конечное дерево SLD-резолюции для A, заканчивающееся неуспехом
(3) math не выводимо тогда, когда A имеет конечное дерево вывода, заканчивающиеся неуспехом
Укажите особенность статического контроля типов данных в программе:
(1) не требует жесткой системы типизации
(2) в традиционных языках программирования требует избыточного описания типов в программе
(3) в традиционных языках программирования не требует избыточного описания типов в программе
В каком алгоритме поиска в качестве весовой функции при выборе направления поиска принимается функция f(X) = g(X) + h(X)?
(1) жадный алгоритм
(2) алгоритм А
(3) алгоритм А*
Укажите онтологический язык, который базируется на логиках первого порядка, однако классы и свойства в нем представлены как термины, а не как предикаты:
(1) html
(2) f-logic
(3) description logics
При каком механизме логического вывода в экспертных системах на основании начальных фактов строится заключение?
(1) обратный вывод
(2) прямой вывод
(3) комбинированный вывод
Язык логического программирования является:
(1) декларативным
(2) императивным
(3) императивным и декларативным
Исчисление называется полным, если:
(1) не существует такой формулы A, что |- A и |-¬ A
(2) любая общезначимая формула A выводима
(3) если любая выводимая формула является общезначимой
Укажите верное правило унификации объектов программы Prolog:
(1) свободная переменная не унифицируется
(2) константа унифицируется с такой же константой, разные константы не унифицируются
(3) связанная переменная унифицируется с любым объектом
Отсечения, при устранении которых программа начинает выдавать неправильные решения, называются:
(1) "красными"
(2) "зелеными"
(3) "синими"
Каррирование - это ...
(1) преобразование функции от пары аргументов в функцию, берущую свои аргументы по одному
(2) применение функции высшего порядка к аргументу
(3) рассмотрение выражения как функции от некоторого аргумента
В весовой функции алгоритма A переменная g(X) обозначает:
(1) длина текущего пути от начальной вершины до X
(2) эвристическая функция
(3) длина кратчайшего пути из A в X
(4) длина кратчайшего пути из X в Z
Грамматика называется регулярной, если:
(1) все правила грамматики имеют вид α →​ a либо α →​ , где math, math
(2) все правила имеют вид α →​ , где math
(3) для всех правил α →​ выполняется math
(4) она задается правилами общего вида
К какой категории представления знаний относятся семантические сети?
(1) сетевое представление знаний
(2) иерархическое представление знаний
(3) процедурное представление знаний
(4) логическое представление знаний
Логическое программирование - это парадигма программирования ...
(1) которая, описывает процесс вычисления в виде инструкций, изменяющих состояние программы
(2) в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних
(3) основанная на автоматическом доказательстве теорем
Укажите теорему Гёделя о полноте исчисления предикатов:
(1) чистое исчисление предикатов первого порядка полно, то есть любая общезначимая формула выводима
(2) не существует алгоритма установления общезначимости произвольной формулы логики предикатов
(3) любая прикладная теория первого порядка, содержащая формальную арифметику, не является полной теорией
Укажите префиксный оператор языка Prolog:
(1) x + y
(2) not x
(3) x!
Предикат отрицания not в Prolog:
(1) не генерирует значений
(2) может генерировать значения
(3) всегда генерирует значения
Какой объем оперативной памяти ориентировочно занимает алгоритм поиска в глубину?
(1) соответствующий среднему ветвлению на каждом шаге алгоритма поиска
(2) соответствующий среднему ветвлению на каждом шаге алгоритма в степени средней длины пути алгоритма поиска
(3) соответствующий максимальной длине пути алгоритма поиска
Эвристическая функция h(x) может быть монотонной:
(1) если h(e)>0 для конечного состояния e
(2) если h(e)<0 для конечного состояния e
(3) если h(e)=0 для конечного состояния e
Cемейство языков представления знаний, позволяющих описывать понятия предметной области в формализованном виде:
(1) html
(2) f-logic
(3) description logics
В классической продукционной экспертной системе база знаний представляет собой:
(1) множество правил "если-то"
(2) множество пар "атрибут-значение", описывающих состояние решаемой задачи
(3) поиск в пространстве состояний множества комбинаций рабочей памяти, переходы в котором задаются правилами
Укажите, какая из представленных ниже записей на языке Prolog будет являться правилом:
(1) studied(vasya,literature)
(2) studied_technical(X) :- studied(X,mathematics)
(3) studied(petya,mathematics)
Алфавит произвольной формальной системы - это ...
(1) счетное множество формул системы
(2) бесконечное множество символов
(3) счетное множество символов
Какой встроенный предикат языка Prolog всегда завершается успешно?
(1) false
(2) fail
(3) true
Укажите результат запроса ?- white(X), not(sweet(X)). для представленного ниже набора фактов на языке Prolog: sweet(sugar). white(sugar). white(paper).
(1) x=paper
(2) no
(3) x=sugar
(4) yes
Укажите алгоритм поиска, при котором может быть первым найден кратчайший путь решения задачи:
(1) алгоритм поиска в глубину
(2) алгоритм поиска в ширину
(3) алгоритмы поиска в глубину и в ширину найдут кратчайший путь одновременно
Алгоритм эвристического поиска с функцией h1(x) называется более информированным по сравнению с алгоритмом с функцией h2(x), если:
(1) для всех вершин графа x имеет место h1(x) меньше h2(x)
(2) для всех вершин графа x имеет место h1(x) больше либо равен h2(x)
(3) для всех вершин графа x имеет место h1(x) не равен h2(x)
Онтологический язык OWL Lite соответствует логике:
(1) shif(d)
(2) shoin(d)
(3) shiq(d)
К какой категории представления знаний относятся фреймы?
(1) сетевое представление знаний
(2) иерархическое представление знаний
(3) процедурное представление знаний
(4) логическое представление знаний
Язык программирования С++ является:
(1) императивным
(2) функциональным
(3) логическим
Синтаксический способ доказательства общезначимости формул основан на попытке:
(1) построения вывода и перебора всех интерпретаций
(2) построения вывода
(3) перебора всех интерпретаций
Укажите предикат языка Prolog, который используется для определения суммы элементов списка:
(1) sum
(2) add
(3) length
"Зеленые" отсечения - это ...
(1) отсечения, при отбрасывании которых программа продолжает выдавать те же решения, что и при наличии отсечения
(2) отсечения, при устранении которых программа начинает выдавать неправильные решения
(3) отсечения, которые всегда заканчиваются неуспехом
Укажите алгоритм поиска решения задачи, при котором может быть найден путь решения с циклами:
(1) алгоритм поиска в глубину
(2) алгоритм поиска в ширину
(3) алгоритмы поиска в глубину и в ширину
Укажите весовую функцию выбора направления поиска для алгоритма А:
(1) f(X) = g(X)
(2) f*(X) = g*(X) + h*(X)
(3) f(X) = g(X) + h(X)
Укажите формат записи и передачи данных RDF:
(1) html
(2) prolog
(3) rdf/xml
Укажите основные области исследования для программ искусственного интеллекта:
(1) образование
(2) робототехника
(3) экспертные системы
Укажите особенность императивных языков программирования:
(1) применение функции к аргументам изменяет данные
(2) программа задаёт множество возможных переходов в пространстве поиска
(3) выполнение операторов изменяет состояние памяти
Укажите определение линейной стратегии резолюции:
(1) стратегия, при которой литера для применения резолюции выбирается в соответствии с некоторым правилом
(2) стратегия, при которой значение имеет порядок литер в дизъюнктах, который сохраняется при применении правила вывода
(3) стратегия, при которой на каждом шаге резолюции в качестве одной из посылок используется формула, полученная на предыдущем
Укажите предикат языка Prolog, который используется для удаления элемента из списка:
(1) delete_list
(2) delete
(3) remove
Укажите, какой вид отсечения используется в приведенном ниже фрагменте кода на Prolog: max(X,Y,X) :- X>Y,!. max(_,Y,Y).
(1) "красное" отсечение
(2) "зеленое" отсечение
(3) в данном фрагменте нет отсечения
Режим доказательства предиката add(X,Y,Z) при конкретизированных X,Y:
(1) cложение
(2) вычитание
(3) построение всех комбинаций
(4) проверка верности суммы
Для того, чтобы алгоритм А был допустимым:
(1) необходимо, чтобы g(x) и h(x) были одной размерности
(2) необходимо, чтобы g(x) и h(x) были разных размерностей
(3) необходимо, чтобы g(x) и h(x) были равны нулю
В модели представления данных RDF информация представляется на основе триплетов:
(1) объект-атрибут-значение
(2) объект-атрибут
(3) атрибут-значение
К какой категории представления знаний относится алгоритмическое представление?
(1) сетевое представление знаний
(2) иерархическое представление знаний
(3) процедурное представление знаний
(4) логическое представление знаний
Язык программирования F# является:
(1) императивным
(2) функциональным
(3) логическим
Дизъюнктом Хорна называется:
(1) дизъюнкция литералов с не более чем одним положительным литералом
(2) дизъюнкция литералов с не менее чем одним положительным литералом
(3) дизъюнкция литералов с не более чем двумя положительными литералами
С точки зрения быстродействия случайного доступа к элементу:
(1) более эффективно использование массива
(2) более эффективно использование списка
(3) у списка и массива одинаковая эффективность
Родительским целевым утверждением для некоторого вхождения отсечения в логическую программу называется:
(1) целевое утверждение, которое приводит к вызову правила, содержащего отсечение
(2) целевое утверждение, которое не приводит к вызову правила, содержащего отсечение
(3) целевое утверждение, которое приводит к вызову правила, не содержащего отсечения
Укажите синтаксис Mercury для объявления типа string:
(1) :- type t == char
(2) :- type t == str
(3) :- type t == string
Алгоритм поиска решения IDA* устанавливает при каждом итерационном заглублении:
(1) вещественное значение длины пути
(2) целочисленное значение длины пути
(3) диапазон возможных длин пути
Конъюнкция в Description logics обозначается:
(1) math
(2) math
(3) math
При каком механизме логического вывода в экспертных системах сначала выдвигается гипотеза, а затем проверяется ее истинность?
(1) обратный вывод
(2) прямой вывод
(3) комбинированный вывод
Укажите, какая из представленных ниже записей на языке Prolog, будет являться фактом:
(1) speciality(X,programmer) :- studied(X,mathematics),studied(X,compscience)
(2) studied_technical(X) :- studied(X,mathematics)
(3) studied(petya,mathematics)
Применением к формуле или терму F называется:
(1) формула или терм, в которой ни одно из вхождений Xi не заменено на соответствующие термы ti
(2) формула или терм, в которой одно вхождение Xi заменено на соответствующий терм ti
(3) формула или терм, в которой все вхождения Xi заменены на соответствующие термы ti
Какой встроенный предикат на языке Prolog открывает файл на ввод?
(1) see
(2) tell
(3) seeing
(4) telling
Аналогом какого предиката является в данном фрагменте программного кода Prolog предикат x? x(P) :- P, !, fail. x(_).
(1) member
(2) repeat
(3) not
Укажите синтаксис Mercury для объявления типа int:
(1) :- type t == int
(2) :- type t == T1->T2
(3) :- type t == T1 * T2
(4) :- type t --> op1(T1); op2(T2)
Для разработки экспертных систем в Prolog наиболее оптимальным является:
(1) алгоритм градиентного спуска
(2) алгоритм поиска решения А
(3) алгоритм поиска решения А*
Грамматика называется контекстно-свободной, если
(1) все правила грамматики имеют вид α →​ a либо α →​ , где math, math
(2) все правила имеют вид α →​ , где math
(3) для всех правил α →​ выполняется math
(4) она задается правилами общего вида
Укажите метод моделирования искусственного интелекта, основанный на создании "самообучающихся" систем:
(1) нейрокибернетический
(2) семиотический
(3) генетический
(4) эмерджентный
Язык программирования Prolog является:
(1) императивным
(2) функциональным
(3) логическим
Формула находится в предваренной нормальной форме, если:
(1) она представлена в виде Q1x1,...,QnxnA, где Qi — это квантор существования или всеобщности, а формула A не содержит кванторов
(2) это конъюнкция конечного числа дизъюнктов
(3) она находится в предваренной нормальной форме и не содержит кванторов существования
С точки зрения быстродействия удаления элемента из середины:
(1) более эффективно использование массива
(2) более эффективно использование списка
(3) у списка и массива одинаковая эффективность
Аналогом какого оператора императивного языка является приведенный ниже код на языке программирования Prolog: Q :- A, !, B. Q :- C.
(1) if
(2) while
(3) for
Определите детерминизм предиката Prolog, у которого максимальное количество решений равно единице, а отказ невозможен:
(1) det
(2) semidet
(3) failure
(4) multi
Для создания списка пройденных вершин графа, которые алгоритм поиска решений должен в дальнейшем игнорировать, Prolog использует:
(1) глобальные переменные
(2) локальные переменные
(3) представление путей численными значениями
Грамматика называется контекстно-зависимой, если:
(1) все правила грамматики имеют вид α →​ a либо α →​ , где math, math
(2) все правила имеют вид α →​ , где math
(3) для всех правил α →​ выполняется math
(4) она задается правилами общего вида
Укажите метод моделирования искусственного интелекта, основанный на создании множества простых объектов со сложным взаимодействием:
(1) нейрокибернетический
(2) семиотический
(3) генетический
(4) эмерджентный
Язык Prolog является:
(1) регистрозависимым
(2) регистронезависимым
Укажите обозначение логической связки отрицания:
(1) ¬
(2)
(3) v
Укажите предикат языка Prolog, который используется для свертки списка:
(1) fold
(2) map
(3) filter
Укажите ответ на запрос ?- num_legs(centipede,X). для приведенной ниже программы Prolog: num_legs(centipede,40) :- !. num_legs(human,2) :- !. num_legs(_,4).
(1) X=40
(2) X=4
(3) X=2
(4) yes
(5) no
Укажите язык программирования с нестрогой типизацией:
(1) C#
(2) C++
(3) Prolog
Если для алгоритма поиска А выполняется условие, что h(x) больше либо равен нулю, но меньше либо равен h*(x), то:
(1) алгоритм поиска A является недопустимым
(2) алгоритм поиска A является допустимым
(3) алгоритм поиска A является неинформированным
Некоторое множество цепочек math в алфавите А называется:
(1) кортежем
(2) языком
(3) грамматикой
Написание компьютерных программ, которые манипулируют другими программами как данными, называется:
(1) объектно-ориентированное программирование
(2) метапрограммирование
(3) логическое программирование
Парадигма программирования, которая описывает процесс вычисления в виде инструкций, изменяющих состояние программы, называется:
(1) логическое программирование
(2) императивное программирование
(3) функциональное программирование
Если формула F истинна во всех интерпретациях, то она называется:
(1) выполнимой
(2) общезначимой
(3) достоверной
Простые термы в Prolog делятся на:
(1) структурные термы
(2) константы
(3) переменные
Предикат not(P) в языке программирования Prolog завершается неуспехом, если:
(1) доказательство P неуспешно
(2) удается найти хотя бы одно доказательство P
(3) удается найти все возможные доказательства P
В языках программирования с нестрогой типизацией данных:
(1) проверяется строгое соответствие типов
(2) тип данных нужен в основном для определения объема памяти
(3) переменные могут принимать значения различной природы
Информированный метод поиска - это ...
(1) метод поиска, который не имеет возможность задавать направление поиска
(2) метод поиска, который имеет возможность задавать направление поиска
(3) метод поиска, который является допустимым
Кортеж, включающий в себя два непересекающихся множества нетерминальных N и терминальных A символов:
(1) алфавит
(2) язык
(3) грамматика
Нейрокибернетический метод моделирования искусственного интелекта - это ...
(1) метод, основанный на создании биологической структуры человека и особенностей ее функционирования
(2) метод, основанный на имитации рассуждений и логики человека
(3) метод, основанный на создании "самообучающихся" систем
(4) метод, основанный на создании множества простых объектов со сложным взаимодействием
Декларативными языками программирования называются:
(1) императивные языки
(2) функциональные языки
(3) логические языки
Если формула F истинна хотя бы в одной интерпретации, то она называется:
(1) достоверной
(2) общезначимой
(3) выполнимой
На языке программирования Prolog константы начинаются:
(1) с символа $
(2) со строчной буквы
(3) с заглавной буквы
Предикат repeat языка программирования Prolog:
(1) может заканчиваться как успехом, так и неуспехом
(2) всегда заканчивается успехом
(3) всегда заканчивается неуспехом
Динамический контроль типов данных в программе происходит:
(1) на этапе выполнения
(2) на этапе компиляции
(3) на этапе компиляции и выполнения
Какой алгоритм поиска учитывает оптимальносить пути с точки зрения эвристики, но не учитывает вес пути?
(1) жадный алгоритм
(2) алгоритм А
(3) алгоритм А*
Как называется кортеж, включающий в себя выделенный начальный символ math?
(1) алфавит
(2) язык
(3) грамматика
Семиотический метод моделирования искусственного интелекта - это ...
(1) метод, основанный на создании биологической структуры человека и особенностей ее функционирования
(2) метод, основанный на имитации рассуждений и логики человека
(3) метод, основанный на создании "самообучающихся" систем
(4) метод, основанный на создании множества простых объектов со сложным взаимодействием
Парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних, называется:
(1) императивное программирование
(2) функциональное программирование
(3) логическое программирование
Если для формул A и B, в любой интерпретации, для которой истинно A, оказывается истинным и B, то:
(1) формула А следует из формулы В
(2) формула B следует из формулы A
(3) формулы A и B противоречивы
В процессе выполнения программы на Prolog, переменная связывается:
(1) при запуске программы
(2) во время унификации
(3) во время завершения программы
Использование предиката repeat языка программирования Prolog возможно только с:
(1) предикатами без "побочных эффектов"
(2) предикатами с "побочным эффектом"
(3) предикатами, всегда заканчивающимися успехом
Укажите особенность динамического контроля типов данных в программе:
(1) возможность моделирования на бестиповых языках
(2) в традиционных языках программирования требует избыточного описания типов в программе
(3) требует более жесткой системы типизации
В каком алгоритме поиска в качестве весовой функции при выборе направления поиска принимается функция f*(X) = g*(X) + h*(X)?
(1) жадный алгоритм
(2) алгоритм А
(3) алгоритм А*
F-logic - это ...
(1) семейство языков представления знаний, позволяющих описывать понятия предметной области в формализованном виде
(2) онтологический язык, который базируется на логиках первого порядка, однако классы и свойства в нем представлены как термины, а не как предикаты
(3) стандартный язык разметки документов в интернет
При механизме прямого логического вывода в экспертных системах:
(1) на основании начальных фактов строится заключение
(2) сначала выдвигается гипотеза, а затем проверяется ее истинность
(3) на основании начальных фактов строится заключение, либо сначала выдвигается гипотеза, а затем проверяется ее истинность
Императивными языками программирования не являются:
(1) только логические языки
(2) только функциональные языки
(3) функциональные и логические языки
Исчисление называется формально непротиворечивым, если:
(1) любая общезначимая формула A выводима
(2) если любая выводимая формула является общезначимой
(3) не существует такой формулы A, что |- A и |-¬ A
Свободная переменная в программе на языке Prolog:
(1) унифицируется без ограничений
(2) унифицируется только как значение, с которым она связана
(3) не унифицируется
Укажите дополнительное правило SLDNF-резолюции:
(1) math выводимо тогда и только тогда, когда A имеет конечное дерево вывода, заканчивающееся неуспехом
(2) math невыводимо тогда, когда A имеет конечное дерево вывода, заканчивающееся неуспехом
(3) math выводимо тогда и только тогда, когда A имеет конечное дерево вывода, заканчивающееся успехом
Аппликация - это ...
(1) преобразование функции от пары аргументов в функцию, берущую свои аргументы по одному
(2) применение функции высшего порядка к аргументу
(3) рассмотрение выражения как функции от некоторого аргумента
В весовой функции алгоритма A переменная h(X) обозначает:
(1) длина текущего пути от начальной вершины до X
(2) эвристическая функция
(3) длина кратчайшего пути из A в X
(4) длина кратчайшего пути из X в Z
Как называется грамматика в классификации по Хомскому, если все правила грамматики имеют вид α →​ a либо α →​ , где math, math?
(1) регулярная грамматика
(2) контекстно-свободная грамматика
(3) контекстно-зависимая грамматика
(4) рекурсивно-перечислимая грамматика
К какой категории представления знаний относятся концептуальные графы?
(1) сетевое представление знаний
(2) иерархическое представление знаний
(3) процедурное представление знаний
(4) логическое представление знаний
Парадигма программирования, основанная на автоматическом доказательстве теорем, называется:
(1) функциональное программирование
(2) логическое программирование
(3) императивное программирование
Укажите теорему Гёделя о неполноте:
(1) не существует алгоритма установления общезначимости произвольной формулы логики предикатов
(2) любая прикладная теория первого порядка, содержащая формальную арифметику, не является полной теорией
(3) чистое исчисление предикатов первого порядка полно, то есть любая общезначимая формула выводима
Укажите инфиксный оператор языка Prolog:
(1) x + y
(2) not x
(3) x!
Двойное отрицание с использованием предиката not в Prolog:
(1) не генерирует значений
(2) может генерировать значения
(3) всегда генерирует значения
Какой объем оперативной памяти ориентировочно занимает алгоритм поиска в ширину?
(1) соответствующий среднему ветвлению на каждом шаге алгоритма поиска
(2) соответствующий среднему ветвлению на каждом шаге алгоритма в степени средней длины пути алгоритма поиска
(3) соответствующий максимальной длине пути алгоритма поиска
В каком случае эвристическая функция h(x) может быть монотонной?
(1) если для любых вершин u,v лежащих на одном пути, |h(u)-h(v)| меньше либо равен стоимости пути от u до v
(2) если для любых вершин u,v лежащих на одном пути, |h(u)-h(v)| больше стоимости пути от u до v
(3) для любых вершин u,v
Description-logic - это ...
(1) семейство языков представления знаний, позволяющих описывать понятия предметной области в формализованном виде
(2) онтологический язык, который базируется на логиках первого порядка, однако классы и свойства в нем представлены как термины, а не как предикаты
(3) стандартный язык разметки документов в интернет
В классической продукционной экспертной системе рабочая память представляет собой:
(1) множество правил "если-то"
(2) множество пар "атрибут-значение", описывающих состояние решаемой задачи
(3) поиск в пространстве состояний множества комбинаций рабочей памяти, переходы в котором задаются правилами
Определите, чем является указанное ниже предложение на языке Prolog: studied(petya,english)
(1) внешняя цель
(2) факт
(3) правило
Формулы произвольной формальной системы - это ...
(1) некоторое подмножество всех слов, которые можно образовать из символов, входящих в алфавит
(2) бесконечное множество всех слов, которые можно образовать из символов, входящих в алфавит
(3) некоторое подмножество всех слов, которые можно образовать из правил вывода системы
Какой встроенный предикат языка Prolog всегда завершается неуспешно?
(1) false
(2) fail
(3) true
Укажите результат запроса ?- not(sweet(X)),white(X). для представленного ниже набора фактов на языке Prolog: sweet(sugar). white(sugar). white(paper).
(1) x=paper
(2) no
(3) x=sugar
(4) yes
При алгоритме поиска решения задачи в глубину:
(1) первым находится необязательно кратчайший путь
(2) первым находится кратчайший путь
(3) можно найти пути решения с циклами
Если для всех вершин графа x имеет место h1(x) больше либо равен h2(x), в этом случае:
(1) алгоритм эвристического поиска с функцией h1(x) будет более информированным, чем алгоритм с функцией h2(x)
(2) алгоритм эвристического поиска с функцией h1(x) будет менее информированным, чем алгоритм с функцией h2(x)
(3) алгоритм эвристического поиска с функцией h1(x) будет более неинформированным
Онтологический язык OWL DL соответствует логике:
(1) shif(d)
(2) shoin(d)
(3) shiq(d)
К какой категории представления знаний относятся сценарии?
(1) сетевое представление знаний
(2) иерархическое представление знаний
(3) процедурное представление знаний
(4) логическое представление знаний
Какой из языков программирования является императивным?
(1) pascal
(2) lisp
(3) qlisp
Семантический способ доказательства общезначимости формул основан на попытке:
(1) построения вывода и перебора всех интерпретаций
(2) построения вывода
(3) перебора всех интерпретаций
Укажите предикат языка Prolog, который используется для определения длины списка:
(1) length_list
(2) list_length
(3) length
"Красные" отсечения - это ...
(1) отсечения, при отбрасывании которых программа продолжает выдавать те же решения, что и при наличии отсечения
(2) отсечения, при устранении которых программа начинает выдавать неправильные решения
(3) отсечения, которые всегда заканчиваются неуспехом
Укажите алгоритм поиска решения задачи, при котором может быть найден только путь решения без петель:
(1) алгоритм поиска в глубину
(2) алгоритм поиска в ширину
(3) алгоритмы поиска в глубину и в ширину
Укажите весовую функцию выбора направления поиска для алгоритма А*:
(1) f(X) = g(X)
(2) f*(X) = g*(X) + h*(X)
(3) f(X) = g(X) + h(X)
Определите формат записи и передачи данных RDF:
(1) php
(2) n-triples
(3) prolog
Для решения каких основных задач применяются программы искусственного интеллекта?
(1) распознавание образов
(2) машинный перевод
(3) создание объектов искусства и культуры
Укажите особенность функциональных языков программирования:
(1) выполнение операторов изменяет состояние памяти
(2) применение функции к аргументам изменяет данные
(3) программа задаёт множество возможных переходов в пространстве поиска
Укажите определение резолюции с выбирающим правилом:
(1) стратегия, при которой на каждом шаге резолюции в качестве одной из посылок используется формула, полученная на предыдущем
(2) стратегия, при которой литера для применения резолюции выбирается в соответствии с некоторым правилом
(3) стратегия, при которой значение имеет порядок литер в дизъюнктах, который сохраняется при применении правила вывода
Укажите предикат языка Prolog, который используется для конкатенации списков:
(1) member
(2) append
(3) permute
Укажите, какой вид отсечения используется в приведенном ниже фрагменте кода на Prolog: max(X,Y,X) :- X>Y,!. max(X,Y,Y) :- X<=Y.
(1) "красное" отсечение
(2) "зеленое" отсечение
(3) в данном фрагменте нет отсечения
Режим доказательства предиката add(X,Y,Z) при конкретизированных X,Z:
(1) cложение
(2) вычитание
(3) построение всех комбинаций
(4) проверка верности суммы
Какой встроенный предикат Prolog преобразовывает структурные термы в списки?
(1) :-
(2) =..
(3) ==
Для обозначения объектов, атрибутов и значений в RDF используется:
(1) url
(2) uri
(3) purl
К какой категории представления знаний относится логика предикатов?
(1) сетевое представление знаний
(2) иерархическое представление знаний
(3) процедурное представление знаний
(4) логическое представление знаний
Какой из языков программирования является функциональным?
(1) pascal
(2) lisp
(3) qlisp
Дизъюнкция литералов с не более чем одним положительным литералом, называется:
(1) дизъюнкт Гегеля
(2) дизъюнкт Хорна
(3) дизъюнкт Черча
С точки зрения быстродействия поиска элемента:
(1) более эффективно использование массива
(2) более эффективно использование списка
(3) у списка и массива одинаковая эффективность
Целевое утверждение, которое приводит к вызову правила, содержащего отсечение, называется:
(1) дочерним целевым утверждением
(2) родительским целевым утверждением
(3) фактом
Укажите синтаксис Mercury для объявления прямой суммы:
(1) :- type t == int
(2) :- type t == T1->T2
(3) :- type t == T1 * T2
(4) :- type t --> op1(T1); op2(T2)
Какой алгоритм поиска решения устанавливает при каждом итерационном заглублении определенный диапазон возможных длин пути?
(1) алгоритм градиентного спуска
(2) алгоритм поиска решения А
(3) алгоритм поиска решения А*
(4) алгоритм поиска решения IDA*
(5) алгоритм поиска решения ID
Дизъюнкция в Description logics обозначается:
(1) math
(2) math
(3) math
При механизме обратного логического вывода в экспертных системах:
(1) на основании начальных фактов строится заключение
(2) сначала выдвигается гипотеза, а затем проверяется ее истинность
(3) на основании начальных фактов строится заключение, либо сначала выдвигается гипотеза, а затем проверяется ее истинность
Определите, чем является указанное ниже предложение на языке Prolog: studied_languages(X) :- studied(X,english)
(1) внешняя цель
(2) факт
(3) правило
Композиция унификаторов = будет в том случае, если:
(1) это формула или терм, в которой все вхождения Xi заменены на соответствующие термы ti
(2) для всех формул F = G
(3) для всех формул F : F = (F)
Какой встроенный предикат на языке Prolog открывает файл на вывод?
(1) see
(2) tell
(3) seeing
(4) telling
Встроенный предикат отсечения языка Prolog ...
(1) имеет декларативную семантику
(2) не имеет процедурной семантики
(3) не имеет декларативной семантики
Укажите синтаксис Mercury для объявления функционального типа:
(1) :- type t == int
(2) :- type t == T1->T2
(3) :- type t == T1 * T2
(4) :- type t --> op1(T1); op2(T2)
Какой из алгоритмов поиска решения не хранит в памяти пройденные пути и состояния?
(1) алгоритм градиентного спуска
(2) алгоритм поиска решения А
(3) алгоритм поиска решения А*
Как называется грамматика в классификации по Хомскому, если все правила имеют вид α →​ , где math?
(1) регулярная грамматика
(2) контекстно-свободная грамматика
(3) контекстно-зависимая грамматика
(4) рекурсивно-перечислимая грамматика
Генетический метод моделирования искусственного интелекта - это ...
(1) метод, основанный на создании биологической структуры человека и особенностей ее функционирования
(2) метод, основанный на имитации рассуждений и логики человека
(3) метод, основанный на создании "самообучающихся" систем
(4) метод, основанный на создании множества простых объектов со сложным взаимодействием
Какой из языков программирования является логическим?
(1) pascal
(2) lisp
(3) qlisp
Формула находится в конъюнктивной нормальной форме, если:
(1) она находится в предваренной нормальной форме и не содержит кванторов существования
(2) это конъюнкция конечного числа дизъюнктов
(3) она представлена в виде Q1x1,...,QnxnA, где Qi — это квантор существования или всеобщности, а формула A не содержит кванторов
С точки зрения быстродействия реверсирования:
(1) более эффективно использование массива
(2) более эффективно использование списка
(3) у списка и массива одинаковая эффективность
Аналогом какого оператора императивного языка является приведенный ниже код на языке программирования Prolog: Q :- A, B. Q :- not(A), C.
(1) if
(2) while
(3) for
Определите детерминизм предиката Prolog, у которого максимальное количество решений равно единице и отказ возможен:
(1) det
(2) semidet
(3) failure
(4) multi
Какой способ использует Prolog для создания списка пройденных вершин графа, которые алгоритм поиска решений должен в дальнейшем игнорировать?
(1) представление путей численными значениями
(2) локальные переменные
(3) представление путей парами
Как называется грамматика в классификации по Хомскому, если для всех правил α →​ выполняется math?
(1) регулярная грамматика
(2) контекстно-свободная грамматика
(3) контекстно-зависимая грамматика
(4) рекурсивно-перечислимая грамматика
Эмерджентный метод моделирования искусственного интелекта - это ...
(1) метод, основанный на создании биологической структуры человека и особенностей ее функционирования
(2) метод, основанный на имитации рассуждений и логики человека
(3) метод, основанный на создании "самообучающихся" систем
(4) метод, основанный на создании множества простых объектов со сложным взаимодействием
Укажите особенности логических языков программирования:
(1) заложенная в язык возможность возвратов и перебора
(2) отсутствие в языке возможности по представлению списков, деревьев
(3) отсутствие операторов присваивания
Укажите обозначение логической связки конъюнкции:
(1) ¬
(2) ,
(3) v
Укажите предикат языка Prolog, который используется для отображения списка:
(1) fold
(2) map
(3) filter
Укажите ответ на запрос ?- num_legs(dog,X). для приведенной ниже программы Prolog: num_legs(centipede,40) :- !. num_legs(human,2) :- !. num_legs(_,4).
(1) X=40
(2) X=4
(3) X=2
(4) yes
(5) no
Укажите бестиповой язык программирования:
(1) C#
(2) C++
(3) Prolog
Если алгоритм поиска A является допустимым, он называется:
(1) алгоритм A#
(2) алгоритм A*
(3) алгоритм A_
Онтологический язык для семантических утверждений, разработанный как расширение RDF и RDF-S:
(1) kif
(2) owl
(3) cycl
Искусственный интеллект – это ...
(1) парадигма программирования, в которой основными концепциями являются понятия объектов и классов
(2) раздел информатики, изучающий человеческие способы рассуждения и решения задач
(3) парадигма программирования, основанная на автоматическом доказательстве теорем
Императивные языки программирования оперируют:
(1) данными
(2) состоянием памяти
(3) пространством поиска решений
Укажите условное обозначение общезначимой формулы:
(1) A |= B
(2) |= F
(3) A |- B
Константы в Prolog подразделяются на:
(1) атомы
(2) числа
(3) переменные
SLDNF-резолюция ...
(1) обладает свойством полноты
(2) не обладает свойством полноты
(3) всегда заканчивается успехом
В бестиповых языках программирования:
(1) проверяется строгое соответствие типов
(2) тип данных нужен в основном для определения объема памяти
(3) переменные могут принимать значения различной природы
Какой предикат языка программирования Prolog позволяет добавить указанное правило в базу данных программы в процессе ее выполнения:
(1) asserta
(2) retractall
(3) append
Кортеж, включающий в себя множество R правил вида a →​ b, где math:
(1) алфавит
(2) язык
(3) грамматика
"Сильный" искусственный интеллект - это ...
(1) системы, не прошедшие тест Тьюринга
(2) системы, имитирующие человека
(3) системы, использующие способы рассуждений человека
Программа является декларативной, если она:
(1) описывает как получить результат
(2) описывает каков должен быть результат
(3) является императивной
Укажите следствие теоремы о дедукции:
(1) F = G
(2) A |= B <=> A |- B
(3) F : F = (F)
На языке программирования Prolog переменные начинаются:
(1) с символа $
(2) со строчной буквы
(3) с заглавной буквы
Декларативная семантическая модель программы на языке Prolog:
(1) рассматривает правила как последовательность шагов, которые необходимо успешно выполнить для того, чтобы соблюдалось отношение, приведенное в заголовке правила
(2) рассматривает отношения, определенные в программе, при этом порядок следования предложений в программе и условий в правиле не важен
(3) рассматривает отношения, не определенные в программе
Какой контроль типов данных в программе позволяет устранить большинство логических ошибок до запуска программы?
(1) динамический контроль типов данных
(2) статический контроль типов данных
(3) статический и динамический контроль типов данных
Какой предикат языка программирования Prolog позволяет удалить указанное правило из базы данных программы в процессе ее выполнения:
(1) asserta
(2) retractall
(3) append
Что должен включать в себя кортеж, называемый грамматикой G=<N,A,R,s>?
(1) некоторое множество цепочек math в алфавите
(2) множество R правил вида a →​ b, где math
(3) некоторое множество цепочек math в алфавите
В продукционных экспертных системах представление знаний осуществляется с помощью дерева:
(1) "и-не"
(2) "и-или"
(3) "или-не"
Функциональные языки программирования оперируют:
(1) данными
(2) состоянием памяти
(3) пространством поиска решений
Укажите условное обозначение утверждения, что формула B следует из формулы A:
(1) A |= B
(2) A ¬ B
(3) A |- B
В программе Prolog переменная может изменить свое значение:
(1) во время повторной унификации
(2) в процессе backtracking
(3) в процессе backtracking и во время повторной унификации
Процедурная семантическая модель программы на языке Prolog:
(1) рассматривает отношения, не определенные в программе
(2) рассматривает правила как последовательность шагов, которые необходимо успешно выполнить для того, чтобы соблюдалось отношение, приведенное в заголовке правила
(3) рассматривает отношения, определенные в программе, при этом порядок следования предложений в программе и условий в правиле не важен
Какой контроль типов данных в программе требует более жесткой системы типизации?
(1) динамический контроль типов данных
(2) статический контроль типов данных
(3) статический и динамический контроль типов данных
В весовой функции алгоритма A* переменная h*(X) обозначает:
(1) длина текущего пути от начальной вершины до X
(2) эвристическая функция
(3) длина кратчайшего пути из A в X
(4) длина кратчайшего пути из X в Z
Какой из перечисленных ниже языков программирования описывает формальную аксиоматическую систему со свойствами инкапсуляции, наследования и полиморфизма на основе расширения логики первого порядка?
(1) prolog
(2) description logics
(3) f-logic
Механизм прямого логического вывода в экспертных системах является:
(1) управляемым фактами
(2) управляемым целями
(3) управляемым логикой
Программа является императивной, если она:
(1) описывает как получить результат
(2) описывает каков должен быть результат
(3) является декларативной
Исчисление называется достоверным, если:
(1) не существует такой формулы A, что |- A и |-¬ A
(2) любая общезначимая формула A выводима
(3) любая выводимая формула является общезначимой
Связанная переменная в программе на языке Prolog:
(1) унифицируется без ограничений
(2) унифицируется только как значение, с которым она связана
(3) не унифицируется
Какое из утверждений соответствует дополнительному правило SLDNF-резолюции:
(1) math заканчивается неуспехом тогда и только тогда, когда A не имеет конечного успешного дерева вывода
(2) math заканчивается успехом тогда и только тогда, когда A имеет конечное успешное дерево вывода
(3) math заканчивается неуспехом тогда и только тогда, когда A имеет конечное успешное дерево вывода
Абстракция - это ...
(1) преобразование функции от пары аргументов в функцию, берущую свои аргументы по одному
(2) применение функции высшего порядка к аргументу
(3) рассмотрение выражения как функции от некоторого аргумента
В весовой функции алгоритма A* переменная g*(X) обозначает:
(1) длина текущего пути от начальной вершины до X
(2) эвристическая функция
(3) длина кратчайшего пути из A в X
(4) длина кратчайшего пути из X в Z
В левой части правила контекстно-свободной грамматики допускается:
(1) один нетерминальный символ
(2) один терминальный символ
(3) два терминальных символа
К какой категории представления знаний относятся тройки "объект-атрибут-значение"?
(1) сетевое представление знаний
(2) иерархическое представление знаний
(3) процедурное представление знаний
(4) логическое представление знаний
Логические языки программирования оперируют:
(1) данными
(2) состоянием памяти
(3) пространством поиска решений
Укажите теорему Чёрча:
(1) не существует алгоритма установления общезначимости произвольной формулы логики предикатов
(2) чистое исчисление предикатов первого порядка полно, то есть любая общезначимая формула выводима
(3) любая прикладная теория первого порядка, содержащая формальную арифметику, не является полной теорией
Укажите постфиксный оператор языка Prolog:
(1) x + y
(2) not x
(3) x!
Может ли данный запрос в Prolog генерировать ответ в виде значений искомых переменных: ?-not(not(parent(X,Y))).
(1) нет
(2) да
(3) в зависимости от исходных фактов
В языках программирования с нестрогой типизацией данных:
(1) переменные могут принимать значения различной природы
(2) совместимые по природе объекты несовместимы по присваиванию
(3) совместимые по природе объекты совместимы по присваиванию
Если для любых вершин u,v лежащих на одном пути, |h(u)-h(v)| меньше либо равен стоимости пути от u до v, то:
(1) эвристическая функция h(x) будет частично монотонной
(2) эвристическая функция h(x) будет немонотонной
(3) эвристическая функция h(x) будет монотонной
Для построения онтологий и распределенных хранилищ данных в Semantic Web используется:
(1) html
(2) f-logic
(3) description logics
В классической продукционной экспертной системе процесс логического вывода представляет собой:
(1) множество правил "если-то"
(2) множество пар "атрибут-значение", описывающих состояние решаемой задачи
(3) поиск в пространстве состояний множества комбинаций рабочей памяти, переходы в котором задаются правилами
Определите, чем является указанное ниже предложение на языке Prolog: studied(vasya,german) :- true
(1) внешняя цель
(2) факт
(3) правило
Правила вывода произвольной формальной системы - это ...
(1) конечное множество отношений между символами алфавита системы
(2) бесконечное множество отношений между формулами системы
(3) конечное множество отношений между формулами системы
Анонимная переменная на языке Prolog обозначается символом:
(1) $
(2) #
(3) _
Укажите результат запроса ?- sweet(X),white(X). для представленного ниже набора фактов на языке Prolog: sweet(sugar). white(sugar). white(paper).
(1) x=paper
(2) no
(3) x=sugar
(4) yes
При алгоритме поиска решения задачи в ширину:
(1) первым находится кратчайший путь
(2) можно найти только пути решения без петель
(3) первым находится необязательно кратчайший путь
Укажите оператор вычисления значения выражения в Prolog:
(1) is
(2) vis
(3) vector_is
Онтологический язык OWL Full соответствует логике:
(1) shif(d)
(2) shoin(d)
(3) shiq(d)
К какой категории представления знаний относится продукционное представление?
(1) сетевое представление знаний
(2) иерархическое представление знаний
(3) процедурное представление знаний
(4) логическое представление знаний
Укажите императивные языки программирования:
(1) c++
(2) qlisp
(3) f#
(4) lisp
(5) prolog
(6) pascal
Исчисление разрешимо, если:
(1) существует алгоритм определения того, является ли заданная формула общезначимой или нет
(2) не существует алгоритма определения того, является ли заданная формула общезначимой или нет
(3) это конъюнкция конечного числа дизъюнктов
Укажите предикат языка Prolog, который используется для определения принадлежности элемента списку:
(1) member
(2) members
(3) list_members
Отсечения, при отбрасывании которых программа продолжает выдавать те же решения, что и при наличии отсечения, называются:
(1) "красными"
(2) "зелеными"
(3) "синими"
Определите детерминизм предиката Prolog, у которого максимальное количество решений больше единицы, а отказ невозможен:
(1) det
(2) semidet
(3) failure
(4) multi
Если в весовой функции алгоритма А принять h(x)=0, то:
(1) получим алгоритм поиска с весовой функцией UCS
(2) получим алгоритм А*
(3) получим алгоритм IDА*
Укажите, что из перечисленного ниже является форматами записи и передачи данных RDF:
(1) rdf/xml
(2) html
(3) rdf/json
(4) n-triples
В продукционных экспертных системах каждый узел дерева представления знаний транслируется в:
(1) продукционное правило
(2) элементарные факты, которые являются исходными для решения задачи
(3) конфликтное множество
Укажите особенность логических языков программирования:
(1) программа задаёт множество возможных переходов в пространстве поиска
(2) применение функции к аргументам изменяет данные
(3) выполнение операторов изменяет состояние памяти
Укажите определение упорядоченной стратегии резолюции:
(1) стратегия, при которой значение имеет порядок литер в дизъюнктах, который сохраняется при применении правила вывода
(2) стратегия, при которой литера для применения резолюции выбирается в соответствии с некоторым правилом
(3) стратегия, при которой на каждом шаге резолюции в качестве одной из посылок используется формула, полученная на предыдущем
Укажите предикат языка Prolog, который используется для построения перестановок элементов списка:
(1) member
(2) append
(3) permute
Укажите, какой вид отсечения используется в приведенном ниже фрагменте кода на Prolog: max(X,Y,X) :- X>Y. max(X,Y,Y) :- X<=Y.
(1) "красное" отсечение
(2) "зеленое" отсечение
(3) в данном фрагменте нет отсечения
Режим доказательства предиката add(X,Y,Z) при конкретизированных Z:
(1) cложение
(2) вычитание
(3) построение всех комбинаций
(4) проверка верности суммы
Укажите предикат Prolog, который преобразовывает списки в структурные термы:
(1) :-
(2) =..
(3) ==
Для реализации на логических языках программирования наиболее хорошо подходит:
(1) регулярная грамматика
(2) контекстно-свободная грамматика
(3) контекстно-зависимая грамматика
К какой категории представления знаний относятся дескриптивные логики?
(1) сетевое представление знаний
(2) иерархическое представление знаний
(3) процедурное представление знаний
(4) логическое представление знаний
Укажите функциональные языки программирования:
(1) c++
(2) qlisp
(3) f#
(4) lisp
(5) prolog
(6) pascal
Резолюция для логики предикатов обладает свойством полноты и непротиворечивости только для:
(1) дизъюнктов Гегеля
(2) дизъюнктов Хорна
(3) кванторов Хорна
С точки зрения быстродействия вставки элемента в начало:
(1) более эффективно использование массива
(2) более эффективно использование списка
(3) у списка и массива одинаковая эффективность
Укажите родительское целевое утверждение в данном примере: C :- P, Q, !, R, S. F :- T. A :- B, C, D.
(1) C
(2) A
(3) F
Режим доказательства предиката add(X,Y,Z) при конкретизированных X,Y,Z:
(1) cложение
(2) вычитание
(3) построение всех комбинаций
(4) проверка верности суммы
Очереди путей в алгоритмах поиска решений наиболее эффективно с точки зрения экономии памяти представлять в виде:
(1) массива
(2) кортежа
(3) дерева
Отрицание в Description logics обозначается:
(1) math
(2) math
(3) math
Механизм обратного логического вывода в экспертных системах является:
(1) управляемым фактами
(2) управляемым целями
(3) управляемым логикой
Определите, чем является указанное ниже предложение на языке Prolog: speciality(X,lit_translator) :- studied_languages(X),studied(X,literature)
(1) внешняя цель
(2) факт
(3) правило
Подстановка называется унификатором для формул или термов F и G, если:
(1) F ¬
(2) F = G
(3) F : F = (F)
Какой встроенный предикат на языке Prolog проверяет в какие файлы идет ввод?
(1) see
(2) tell
(3) seeing
(4) telling
Встроенный предикат отсечения на языке Prolog обозначается символом:
(1) $
(2) _
(3) #
(4) !
Укажите синтаксис Mercury для объявления декартова произведения:
(1) :- type t == int
(2) :- type t == T1->T2
(3) :- type t == T1 * T2
(4) :- type t --> op1(T1); op2(T2)
Алгоритм градиентного спуска рассматривает:
(1) все возможные направления движения
(2) только одно оптимальное направление движения
(3) несколько наиболее оптимальных направлений движения
Грамматика называется рекурсивно-перечислимой, если:
(1) все правила грамматики имеют вид α →​ a либо α →​ , где math, math
(2) все правила имеют вид α →​ , где math
(3) для всех правил α →​ выполняется math
(4) она задается правилами общего вида
В продукционных экспертных системах листья дерева представления знаний соответствуют:
(1) продукционным правилам
(2) элементарным фактам, которые являются исходными для решения задачи
(3) конфликтным множествам
Укажите логические языки программирования:
(1) c++
(2) qlisp
(3) f#
(4) lisp
(5) prolog
(6) pascal
Формула находится в сколемовской нормальной форме, если:
(1) она представлена в виде Q1x1,...,QnxnA, где Qi — это квантор существования или всеобщности, а формула A не содержит кванторов
(2) она находится в предваренной нормальной форме и не содержит кванторов существования
(3) это конъюнкция конечного числа дизъюнктов
Областью действия одной переменной (например, X) в программе Prolog является:
(1) вся программа
(2) правило, в котором она указана
(3) несколько определенных правил
Аналогом какого оператора императивного языка является приведенный ниже код на языке программирования Prolog: W:- A,P,W. W:-!.
(1) if
(2) while
(3) for
Определите детерминизм предиката Prolog, у которого решений нет и отказ возможен:
(1) det
(2) semidet
(3) failure
(4) multi
Укажите, используемое в лекциях, название расширения для векторов оператора вычисления выражений в Prolog:
(1) is
(2) vis
(3) vector_is
Как называется грамматика в классификации по Хомскому, если она задается правилами общего вида?
(1) регулярная грамматика
(2) контекстно-свободная грамматика
(3) контекстно-зависимая грамматика
(4) рекурсивно-перечислимая грамматика
"Слабый" искусственный интеллект - это ...
(1) системы, прошедшие тест Тьюринга
(2) системы, имитирующие человека
(3) системы, использующие способы рассуждений человека
Базы данных, снабженные средствами логического программирования для вывода дополнительных фактов:
(1) индуктивные базы данных
(2) дедуктивные базы данных
(3) реляционные базы данных
Укажите обозначение логической связки дизъюнкции:
(1) ¬
(2)
(3) v
Укажите предикат языка Prolog, который используется для фильтрации списка:
(1) fold
(2) map
(3) filter
Укажите ответ на запрос ?- num_legs(centipede,4). для приведенной ниже программы Prolog: num_legs(centipede,40) :- !. num_legs(human,2) :- !. num_legs(_,4).
(1) X=40
(2) X=4
(3) X=2
(4) yes
(5) no