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

Количество вопросов - 288

Анонимная переменная на языке Prolog обозначается символом:

При каком механизме логического вывода в экспертных системах на основании начальных фактов строится заключение?

Какой предикат языка программирования Prolog позволяет удалить указанное правило из базы данных программы в процессе ее выполнения:

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

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

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

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

Формула F называется общезначимой, если:

Двойное отрицание с использованием предиката not в Prolog:

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

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

Укажите определение упорядоченной стратегии резолюции:

Укажите синтаксис Mercury для объявления функционального типа:

Как называется грамматика в классификации по Хомскому, если все правила грамматики имеют вид α →​ a либо α →​ , где \[\alpha ,\beta  \in N\], \[a \in A\]?

Абстракция - это ...

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

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

SLDNF-резолюция ...

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

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

Если в весовой функции алгоритма А принять h(x)=0, то:

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

Термы в Prolog бывают:

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

Онтологический язык OWL Lite соответствует логике:

Укажите формат записи и передачи данных RDF:

Аналогом какого предиката является в данном фрагменте программного кода Prolog предикат x? x(P) :- P, !, fail. x(_).

Некоторое множество цепочек \[L \subseteq {A^*}\] в алфавите А называется:

На языке программирования 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, где \[a,b \in {(N \cup A)^*}\]:

Укажите верное утверждение:

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

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

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

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

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

Искусственный интеллект – это ...

Нейрокибернетический метод моделирования искусственного интелекта - это ...

Семиотический метод моделирования искусственного интелекта - это ...

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

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

В классической продукционной экспертной системе рабочая память представляет собой:

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

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

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

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

Эмерджентный метод моделирования искусственного интелекта - это ...

Эвристическая функция h(x) может быть монотонной:

Областью действия одной переменной (например, X) в программе Prolog является:

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

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

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

Язык 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> — это кортеж, включающий в себя:

F-logic - это ...

Грамматика называется регулярной, если:

Онтологический язык OWL Full соответствует логике:

В модели представления данных RDF информация представляется на основе триплетов:

Отрицание в Description logics обозначается:

Как называется грамматика в классификации по Хомскому, если все правила имеют вид α →​ , где \[\alpha  \in N\]?

Грамматика называется контекстно-зависимой, если:

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

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

В классической продукционной экспертной системе процесс логического вывода представляет собой:

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

При каком механизме логического вывода в экспертных системах сначала выдвигается гипотеза, а затем проверяется ее истинность?

Какой встроенный предикат языка 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 символов:

Как называется грамматика в классификации по Хомскому, если для всех правил α →​ выполняется \[\left| \alpha  \right| \le \left| \beta  \right|\]?

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

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

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

Композиция унификаторов = будет в том случае, если:

Для обозначения объектов, атрибутов и значений в 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.

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

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 наиболее оптимальным является:

"Слабый" искусственный интеллект - это ...

В левой части правила контекстно-свободной грамматики допускается: