Ответы на ИНТУИТ

ИНТУИТ ответы на тесты

Решение тестов / курсов
База ответов ИНТУИТ.RU
Заказать решение курсов или тестов:
https://vk.com/id358194635
https://vk.com/public118569203

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

Заказать решение
Количество вопросов 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> — это кортеж, включающий в себя:

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>

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

перейти к ответу ->>