Системы искусственного интеллекта
В языке Лисп проверяет тождественность символов аргументов функция
EQL
CAR
CDR
EQ
Методы ассоциативного хранения информации являются предметом исследования
теории знаний
гносеологии
кибернетики
теории представления знаний
Функция в Лиспе, вычисляющая сумму квадратов двух чисел, определяется
(lambda (х у) (+ (^ 2 x) (^ 2 у)))
(lambda (х у) ((x*х) + (у*у)))
(lambda (+ (* x х) (* у у)))
(lambda (х у) (+ (* x х) (* у у)))
Главной структурой в Лиспе является
список
модуль
процедура
команда
Формальные системы и системы формальных грамматик являются примерами систем
трансформационных
фреймовых
продукционных
семантических
Из перечисленного: 1) обеспечение выбора задачи для предметной области; 2) возможность корректировки базы знаний; 3) возможность постановки задачи для ЭВМ путем сообщения ее условия; 4) возможность формирования сред решения задачи в терминах предметной области; 5) обеспечение гибкого диалога с пользователем - интеллектуальный интерфейс должен состоять
3, 4, 5
2, 3, 5
1, 3, 4
1, 2, 4
Сначала раскрывается та вершина, которая была построена самой последней, при поиске в пространстве состояний
от данных
в глубину
в высоту
в ширину
Список в языке Лисп, в котором нет ни одного элемента, называется
пустым списком
пустым множеством
нулевым списком
нулевым множеством
Из перечисленного: 1) <---->; 2) x_123; 3) 123; 4) 'Это атом или нет?'; 5) Результат; 6) лето - являются корректными атомами в Прологе
1, 2, 4, 6
2, 4, 5, 6
2, 3, 5, 6
1, 3, 4, 5
Стратегии, используемые в ЭС, классифицируются по параметрам: 1) общность; 2) задание; 3) содержание; 4) цель; 5) метод - из перечисленного
1, 2, 3
3, 4, 5
1, 2, 5
1, 2, 4
Атомы и списки в языке Лисп называются
функциями
S-выражениями
структурами
A-выражениями
Модуль вывода решений ЭС включает: 1) механизм ввода; 2) механизм вывода; 3) блок управления механизмом ввода; 4) механизм оценки предполагаемых решений; 5) блок управления механизмом вывода - из перечисленного
1, 3, 4
2, 4, 5
1, 2, 3, 4
2, 5
Из перечисленного: 1) Плэнер; 2) Лисп; 3) Рефал; 4) Конивер; 5) Пролог; 6) ART - к языкам программирования интеллектуальных решателей относятся
2, 3
1, 4
2, 5
3, 6
Параметр "состав используемых знаний" делит знания на классы: 1) о текущем цикле работы интерпретатора; 2) об истории работы интерпретатора; 3) о будущем цикле работы интерпретатора; 4) исходные знания - из перечисленного
3, 4
1, 3
1, 2
2, 4
То, что представление должно обладать способностью распознавать все отличия, которые вы закладываете в исходную сущность, означает
логическая адекватность
эвристическая мощность
эвристическая адекватность
органичность нотации
Наполнение экспертом базы знаний осуществляется на этапе создания ЭС
идентификация
формализация
концептуализация
выполнение
В правиле "ЕСЛИ-ТО" часть "ТО" называется
посылкой
суждением
выводом
фактом
Если существует единая эффективная процедура, позволяющая узнать для любой данной формулы, существует ли ее вывод, то такая формальная теория называется
типовой
непротиворечивой
тривиальной
разрешимой
Прозрачностью системы называют
интуитивно понятный интерфейс
способность системы объяснить методику принятия решения
возможность вмешиваться в работу системы
высокую способность к адаптации
В поле памяти Рефал-машины помещаются
данные
программы и данные
программы
результаты
Для вычисления арифметических выражений в Прологе используется оператор
set
let
calc
is
Способами организации сущностей в БЗ ЭС являются: 1) совокупность атрибутов и их значений; 2) совокупность классов и их экземпляров; 3) неструктурированная БЗ; 4) структурирование сущностей БЗ по иерархиям - из перечисленного
2, 3
1, 2
1, 4
3, 4
Характеристики предметной области ЭС определяются: 1) типом предметной области; 2) способом описания сущностей; 3) способом организации сущностей в БЗ; 4) способом взаимодействия сущностей; 5) типами объектов - из перечисленного
3, 4, 5
1, 2, 4
1, 2, 5
1, 2, 3
В настоящее время язык Рефал используется для автоматизации построения
систем автоматических преобразований и хранилищ знаний
трансляторов и систем автоматических преобразований
реляционных баз данных
трансляторов и хранилищ знаний
Задача поиска в пространстве состояний состоит в
решении совокупности образующих ее подзадач
определении последовательности операторов, преобразующей начальные состояния в конечные
получении частичного решения
определении метода, который будет применен на следующем шаге
Примером среды программирования, поддерживающей несколько парадигм, является
Delphi
М4
OPS5
LOOPS
Время реакции больше 0,1-0,5 с не допустимо в системах реального времени
псевдореального
жесткого
виртуального
мягкого
Результат выражения в языке Лисп (CONS 1 (2 3 4)) равен
1
4
(1 2 3 4)
(2 3 4)
Примером комментария в Прологе является
{ комментарий }
*/ комментарий */
/* комментарий */
// комментарий //
Экспертная система от других прикладных программ отличается признаками: 1) модульность; 2) интеллектуальный интерфейс; 3) моделирует механизм мышления человека; 4) использует знания; 5) основывается на эвристических методах - из перечисленного
1, 3, 5
1, 2, 4
3, 4, 5
2, 4, 5
В Прологе встроенные предикаты не могут
являться головой правила и появляться в факте
появляться рекурсивном правиле и являться головой рекурсивного правила
появляться в рекурсивном правиле
являться головой рекурсивного правила
Язык обработки строк, в рамках которого впервые появилась и была реализована в достаточно полной мере концепция поиска по образцу, называется
Рефал
Плэнер
Конивер
Снобол
ЭС по масштабу делятся на: 1) сверхмалые; 2) малые; 3) средние; 4) обычные; 5) большие; 6) символьные - из перечисленного
2, 3, 5
1, 2, 4
4, 5, 6
2, 3, 5, 6
В предикате "впадает (Волга, Каспийское море)" "Каспийское море" является
переменной
предикатным символом
термом-константой
процедурой
В Прологе переменные, которым не было присвоено значение, называются
формальными
анонимными
пустыми
свободными
Методы поиска, использующие информацию о предметной области для рассмотрения не всего пространства поиска, а таких путей в нем, которые с наибольшей вероятностью приводят к цели, называются
факторными
эвристическими
оптимизационными
контекстными
При моделировании рассуждений человека в ИИ предметы, факты, явления, операции, процессы называются
реквизит
объекты
сущности
классы
Стратегии, основные идеи которых выражены явно, но имеется вложенность стратегии в другие конструкции системы, являются
концептуально неявными
неявными по определению
логически неявными
неявными по выполнению
Количественное свойство сущностей характеризуют реквизиты
свойства
основания
признаки
атрибуты
Правило, определяющее отношение ребенок/2 через отношение отец/2, запишется следующим образом
ребенок(X, Y) :- отец(Y, X)
отец(Y, X) :- ребенок(Y, X)
ребенок(X, Y) :- отец(X, Y)
отец(Y, X) :- ребенок(X, Y)
В Прологе элементы списка разделяют
двоеточием
пробелом
точкой с запятой
запятой
Переменная в Прологе рассматривается как
глобальное имя для некоторого объекта
отдельный объект
локальное имя для некоторого объекта
выделенный участок памяти
Система ABSTRIPS является примером использования метода поиска
нисходящего уточнения
"генерация-проверка"
редукции
факторизации пространства
В Лиспе программы и обрабатываемые ими данные представляются в виде
списочной структуры
строк
атомов
функций
Одним из наиболее известных представителей языков высокого уровня, применяемых при проектировании экспертных систем, является
LOOPS
Си
OPS5
Ява
В Прологе отношение "Х равно Y" описывается с помощью предиката
Х == Y
Х =\= Y
Х =:= Y
Х = Y
Из перечисленного: 1) числа; 2) переменные; 3) указатели; 4) операторы присваивания; 5) операторы безусловного перехода - в языке Пролог отсутствуют
1, 4, 5
2, 3, 5
1, 2, 3
3, 4, 5
Неявные стратегии подразделяются на: 1) логически неявные; 2) концептуально неявные; 3) неявные по выполнению; 4) неявные по определению - из перечисленного
2, 4
1, 3
1, 4
2, 3