Системы искусственного интеллекта

Приложения ЭС по возможности переноса на различные платформы подразделяются на: 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
Если программа на Прологе содержит набор фактов и правил, то ее называют
базой данных
процедурой
запросом
базой знаний