Системы искусственного интеллекта
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Приложения ЭС по возможности переноса на различные платформы подразделяются на: 1) изолированные; 2) интегрированные; 3) закрытые; 4) открытые - из перечисленного
2, 3
1, 2
1, 4
3, 4
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1В Прологе утверждение x \= y истинно, если
x больше y
x не равно y
x больше или равно y
x равно y
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Знания о том, какие знания нужны в той или иной конкретной ситуации, и умение ими распорядиться, называются
управляющие
первичные
надстроечные
метазнания
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Из перечисленного: 1) циклическая; 2) параллельная; 3) простая; 4) последовательная; 5) взаимная - формами рекурсии являются
1, 3, 5
2, 4
2, 3, 5
1, 3, 4
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Из перечисленного алфавит исчисления предикатов состоит из следующего набора символов 1) знаков действий 2) знаков пунктуации 3) пропорциональных связок 4) сиволов переменных 5) указателей 6) знаков-кванторов
1, 2, 3, 4
1, 2, 5, 6
3, 4, 5, 6
2, 3, 4, 6
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Из перечисленного: 1) атомы; 2) числа; 3) переменные; 4) списки; 5) выражения - в Прологе существуют виды термов
1, 4, 5
1, 2, 3
1, 2
3, 4, 5
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Из перечисленного: 1) ù; 2) Ù; 3) "; 4) Ú; 5) É; 6) $ - пропозициональными связками являются
1, 2, 3, 4
1, 3, 4, 6
1, 2, 4, 5
2, 3, 5, 6
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Формирование на основе некоторых высказываний новых суждений называется
предикатом
фактом
выводом
рассуждением
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Хвостом списка [1, 2, 3] в Прологе является
[2, 3]
[1, 2, 3]
пустой список
[3]
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1В Прологе простейшими термами являются
атомы и списки
атомы и переменные
числа и переменные
атомы и числа
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Массивы в Лиспе создаются формой
(MAKE-ARRAY (n1 n2 ... nN))
(DIMENSION (n1 n2 ... nN))
(MAKE-ARRAY (n1 n2 ... nN) режимы)
(ARRAY (n1 n2 ... nN))
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1RLL является
библиотечной системой над Лиспом
фреймовым языком представления знаний
языком программирования интеллектуальных решателей
продукционным языком представления знаний
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Из перечисленного: 1) ù; 2) Ù; 3) "; 4) $; 5) É; 6)Ú - знаками-кванторами являются
3, 4
2, 6
1, 3
1, 5
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Бестиповость языка Лисп означает, что
при вычислениях все типы приводятся к одному
типы не связаны с именами объектов данных
не осуществляется проверка типов при присваивании
нет данных различных типов
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1В Лиспе l-выражение имеет вид
(LAMBDA (xl х2 ... xn) fn)
fn LAMBDA (xl х2 ... xn)
l (х1 х2 . . . xn)
fn l (xl х2 ... xn) fn
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Методы решения задач, используемые в ЭС, классифицируются как методы поиска: 1) градиентные; 2) в одном пространстве; 3) в иерархических пространствах; 4) при неточных и неполных данных; 5) приближенные - из перечисленного
3, 4, 5
2, 3, 4
1, 2, 5
1, 2, 4
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Частичное решение детализируется постепенно, по мере появления информации, подтверждающей возможность решения и вынуждающей принять решение, в соответствии с принципом
связанности
наименьших свершений
относительности
последовательности
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Цели разработки, эксперты и типы пользователей определяются на этапе создания ЭС
концептуализация
идентификация
выполнение
формализация
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Если А, В и С - некоторые высказывания, такие, что если В выводится из А, но ùВ выводится из АÙС, то формальная система называется
неизбыточной
монотонной
немонотонной
транзитивной
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Пригодность системы для конечных пользователей проверяется на этапе создания ЭС
опытная эксплуатация
тестирование
выполнение
идентификация
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Наиболее простым способом представления знаний являются
фреймы
алгоритмы
продукционные правила
семантическая сеть
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1В И/ИЛИ-графе конъюнктивная вершина интерпретируются так решение задачи сводится к решению
всех ее подзадач
конкретного подмножества из набора ее подзадач
одной конкретной подзадачи
любой из ее подзадач
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1В случае, когда число условий равно нулю, продукция описывает
действие
вывод
факт
суждение
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Построить модель сущности по заданным условиям требуется в задаче
анализа
индукции
дедукции
синтеза
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1В методе "иерархическая генерация-проверка" на верхнем уровне генератор вырабатывает
частично определенное решение
полное решение
случайное решение
оптимальное решение
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1В языке Лисп для избежания нежелательного вычисления выражения используется функция
NTH
QUOTE
EQL
EQUAL
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Компетентность системы эксперт проверяет на этапе создания ЭС
идентификация
опытная эксплуатация
тестирование
выполнение
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Предикат запроса в Прологе называется
цель
утверждение
задание
правило
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1В языке Лисп проверяет идентичность списков функция
EQ
QUOTE
EQL
EQUAL
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Из перечисленного: 1) одинаковая форма данных и программ; 2) пошаговое программирование; 3) модульная структура программ; 4) использование механизма возврата; 5) бестиповость; 6) интерпретирующий и компилирующий режимы работы - от других языков программирования Лисп отличается свойствами
1, 3, 4, 5
1, 2, 4, 6
1, 2, 5, 6
2, 3, 4, 5
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Если не существует формулы А, такой, что А и ùA выводимы в S, то такая формальная система S называется
непротиворечивой
типовой
разрешимой
тривиальной
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1В поле зрения Рефал-машины помещаются
программы
данные
программы и данные
локальные переменные
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1В Лиспе специальное назначение имеют символы
T и NIL
T и F
NULL и T
NULL и NIL
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Если А, В и С - некоторые высказывания, такие, что если В выводится из А, то В будет выводиться и из АÙС, то формальная система называется
транзитивной
монотонной
неизбыточной
немонотонной
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Основное внимание в языках программирования интеллектуальных решателей уделено
введению мощных средств, позволяющих извлекать информацию из баз данных
способам представления знаний
оснащению лучшими средствами интерфейса
введению мощных структур управления
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Если пространство разбивается на непересекающиеся подпространства частичными решениями, то оно называется
матапространством
эвристическим
усеченным
факторизованным
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Из перечисленного: 1) базовых символов; 2) формул; 3) отношений между формулами; 4) процедур; 5) переменных - формальная теория логических моделей задается множествами
1, 3, 4
1, 2, 3
1, 2, 5
2, 4, 5
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Из перечисленного: 1) продукционная модель; 2) логическая модель; 3) реляционная модель; 4) древовидные графы; 5) семантические сети; 6) фреймы - общепринятыми подходами к представлению знаний являются
1, 2, 3, 6
1, 2, 3, 4
3, 4, 5, 6
1, 2, 5, 6
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Из перечисленного типами термов являются 1) константа 2) процедура 3) переменная 4) массив 5) составной терм
1, 3, 4
1, 2, 3
1, 3, 5
2, 4, 5
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Рекурсивная процедура в Прологе должна включать компоненты
рекурсивное правило и счетчик уровней рекурсии
нерекурсивную фразу и рекурсивное правило
оператор цикла и счетчик уровней рекурсии
нерекурсивную фразу и оператор цикла
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1В Лиспе строит ассоциативный список из списка ключей и списка, сформированного из соответствующих им данных, функция
ASSOC
PAIRLIS
ACONS
LIST
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Из перечисленного 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
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Компоненты ЭС разрабатывает
программист
эксперт
инженер по знаниям
пользователь
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Продукционные правила структурированы в соответствии с образцом
"ЕСЛИ-И"
"ЕСЛИ-ТО"
"ЕСЛИ-ИЛИ"
"ЕСЛИ-ТО-ЕСЛИ"
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1В языке Лисп для занесения значений в ячейку памяти, связанную с символом, можно пользоваться обобщенной функцией присваивания
SETQ
SETТ
SET
SETF
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1В Прологе в результате унификации переменной с атомом переменная
уничтожается
принимает значение данного атома
сохраняет свое значение
становится анонимной
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Вершины раскрываются в том же порядке, в котором они порождаются, при поиске в пространстве состояний
в высоту
в ширину
от цели
в глубину
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Определить новую функцию и дать ей имя для последующих вызовов в языке Лисп можно с помощью функции
DEFUN
CAR
CDR
CONS
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Результат выражения в языке Лисп ((lambda (х у) (+ (* х x) (* у у))) 3 4) равен
7
9
25
49
Системы искусственного интеллекта
1235.Зач.01;ТБПД.01;1Если программа на Прологе содержит набор фактов и правил, то ее называют
базой данных
процедурой
запросом
базой знаний