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