Системы искусственного интеллекта. Часть 1

Приложения ЭС по возможности переноса на различные платформы подразделяются на: 1) изолированные; 2) интегрированные; 3) закрытые; 4) открытые — из перечисленного

• 2, 3
• 1, 2
• 1, 4
• 3, 4

В Прологе утверждение x = y истинно, если

• x больше y
• x не равно y
• x больше или равно y
• x равно y

Знания о том, какие знания нужны в той или иной конкретной ситуации, и умение ими распорядиться, называются

• управляющие
• первичные
• надстроечные
• метазнания

Из перечисленного: 1) циклическая; 2) параллельная; 3) простая; 4) последовательная; 5) взаимная — формами рекурсии являются

• 1, 3, 5
• 2, 4
• 2, 3, 5
• 1, 3, 4

Из перечисленного алфавит исчисления предикатов состоит из следующего набора символов 1) знаков действий 2) знаков пунктуации 3) пропорциональных связок 4) сиволов переменных 5) указателей 6) знаков-кванторов

• 1, 2, 3, 4
• 1, 2, 5, 6
• 3, 4, 5, 6
• 2, 3, 4, 6

Из перечисленного: 1) атомы; 2) числа; 3) переменные; 4) списки; 5) выражения — в Прологе существуют виды термов

• 1, 4, 5
• 1, 2, 3
• 1, 2
• 3, 4, 5

Из перечисленного: 1) ù; 2) Ù; 3) «; 4) Ú; 5) É; 6) $ — пропозициональными связками являются

• 1, 2, 3, 4
• 1, 3, 4, 6
• 1, 2, 4, 5
• 2, 3, 5, 6

Формирование на основе некоторых высказываний новых суждений называется

• предикатом
• фактом
• выводом
• рассуждением

Хвостом списка [1, 2, 3] в Прологе является

• [2, 3]
• [1, 2, 3]
• пустой список
• [3]

В Прологе простейшими термами являются

• атомы и списки
• атомы и переменные
• числа и переменные
• атомы и числа

Массивы в Лиспе создаются формой

• (MAKE-ARRAY (n1 n2 … nN))
• (DIMENSION (n1 n2 … nN))
• (MAKE-ARRAY (n1 n2 … nN) режимы)
• (ARRAY (n1 n2 … nN))

RLL является

• библиотечной системой над Лиспом
• фреймовым языком представления знаний
• языком программирования интеллектуальных решателей
• продукционным языком представления знаний

Из перечисленного: 1) ù; 2) Ù; 3) «; 4) $; 5) É; 6)Ú — знаками-кванторами являются

• 3, 4
• 2, 6
• 1, 3
• 1, 5

Бестиповость языка Лисп означает, что

• при вычислениях все типы приводятся к одному
• типы не связаны с именами объектов данных
• не осуществляется проверка типов при присваивании
• нет данных различных типов

В Лиспе l-выражение имеет вид

• (LAMBDA (xl х2 … xn) fn)
• fn LAMBDA (xl х2 … xn)
• l (х1 х2 . . . xn)
• fn l (xl х2 … xn) fn

Методы решения задач, используемые в ЭС, классифицируются как методы поиска: 1) градиентные; 2) в одном пространстве; 3) в иерархических пространствах; 4) при неточных и неполных данных; 5) приближенные — из перечисленного

• 3, 4, 5
• 2, 3, 4
• 1, 2, 5
• 1, 2, 4

Частичное решение детализируется постепенно, по мере появления информации, подтверждающей возможность решения и вынуждающей принять решение, в соответствии с принципом

• связанности
• наименьших свершений
• относительности
• последовательности

Цели разработки, эксперты и типы пользователей определяются на этапе создания ЭС

• концептуализация
• идентификация
• выполнение
• формализация

Если А, В и С — некоторые высказывания, такие, что если В выводится из А, но ùВ выводится из АÙС, то формальная система называется

• неизбыточной
• монотонной
• немонотонной
• транзитивной

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

• опытная эксплуатация
• тестирование
• выполнение
• идентификация

Наиболее простым способом представления знаний являются

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

В И/ИЛИ-графе конъюнктивная вершина интерпретируются так решение задачи сводится к решению

• всех ее подзадач
• конкретного подмножества из набора ее подзадач
• одной конкретной подзадачи
• любой из ее подзадач

В случае, когда число условий равно нулю, продукция описывает

• действие
• вывод
• факт
• суждение

Построить модель сущности по заданным условиям требуется в задаче

• анализа
• индукции
• дедукции
• синтеза

В методе «иерархическая генерация-проверка» на верхнем уровне генератор вырабатывает

• частично определенное решение
• полное решение
• случайное решение
• оптимальное решение

В языке Лисп для избежания нежелательного вычисления выражения используется функция

• NTH
• QUOTE
• EQL
• EQUAL

Компетентность системы эксперт проверяет на этапе создания ЭС

• идентификация
• опытная эксплуатация
• тестирование
• выполнение

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

• цель
• утверждение
• задание
• правило

В языке Лисп проверяет идентичность списков функция

• EQ
• QUOTE
• EQL
• EQUAL

Из перечисленного: 1) одинаковая форма данных и программ; 2) пошаговое программирование; 3) модульная структура программ; 4) использование механизма возврата; 5) бестиповость; 6) интерпретирующий и компилирующий режимы работы — от других языков программирования Лисп отличается свойствами

• 1, 3, 4, 5
• 1, 2, 4, 6
• 1, 2, 5, 6
• 2, 3, 4, 5

Если не существует формулы А, такой, что А и ùA выводимы в S, то такая формальная система S называется

• непротиворечивой
• типовой
• разрешимой
• тривиальной

В поле зрения Рефал-машины помещаются

• программы
• данные
• программы и данные
• локальные переменные

В Лиспе специальное назначение имеют символы

• T и NIL
• T и F
• NULL и T
• NULL и NIL

Если А, В и С — некоторые высказывания, такие, что если В выводится из А, то В будет выводиться и из АÙС, то формальная система называется

• транзитивной
• монотонной
• неизбыточной
• немонотонной

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

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

Если пространство разбивается на непересекающиеся подпространства частичными решениями, то оно называется

• матапространством
• эвристическим
• усеченным
• факторизованным

Из перечисленного: 1) базовых символов; 2) формул; 3) отношений между формулами; 4) процедур; 5) переменных — формальная теория логических моделей задается множествами

• 1, 3, 4
• 1, 2, 3
• 1, 2, 5
• 2, 4, 5

Из перечисленного: 1) продукционная модель; 2) логическая модель; 3) реляционная модель; 4) древовидные графы; 5) семантические сети; 6) фреймы — общепринятыми подходами к представлению знаний являются

• 1, 2, 3, 6
• 1, 2, 3, 4
• 3, 4, 5, 6
• 1, 2, 5, 6

Из перечисленного типами термов являются 1) константа 2) процедура 3) переменная 4) массив 5) составной терм

• 1, 3, 4
• 1, 2, 3
• 1, 3, 5
• 2, 4, 5

Рекурсивная процедура в Прологе должна включать компоненты

• рекурсивное правило и счетчик уровней рекурсии
• нерекурсивную фразу и рекурсивное правило
• оператор цикла и счетчик уровней рекурсии
• нерекурсивную фразу и оператор цикла

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

• ASSOC
• PAIRLIS
• ACONS
• LIST

Из перечисленного 1) (а b (с d) e); 2) [В группе 18 студентов]; 3) (В группе 18 студентов); 4) (a, b, c); 5) [а b (с d) e]; 6) () — списками в Лиспе являются

• 1, 4, 6
• 1, 3, 5
• 1, 3, 6
• 2, 5

Компоненты ЭС разрабатывает

• программист
• эксперт
• инженер по знаниям
• пользователь

Продукционные правила структурированы в соответствии с образцом

• «ЕСЛИ-И»
• «ЕСЛИ-ТО»
• «ЕСЛИ-ИЛИ»
• «ЕСЛИ-ТО-ЕСЛИ»

В языке Лисп для занесения значений в ячейку памяти, связанную с символом, можно пользоваться обобщенной функцией присваивания

• SETQ
• SETТ
• SET
• SETF

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

• уничтожается
• принимает значение данного атома
• сохраняет свое значение
• становится анонимной

Вершины раскрываются в том же порядке, в котором они порождаются, при поиске в пространстве состояний

• в высоту
• в ширину
• от цели
• в глубину

Определить новую функцию и дать ей имя для последующих вызовов в языке Лисп можно с помощью функции

• DEFUN
• CAR
• CDR
• CONS

Результат выражения в языке Лисп ((lambda (х у) (+ (* х x) (* у у))) 3 4) равен

• 7
• 9
• 25
• 49

Если программа на Прологе содержит набор фактов и правил, то ее называют

• базой данных
• процедурой
• запросом
• базой знаний