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

Основными функциями, изменяющими физическую структуру списков, являются

• LET и SETF
• RPLACA и RPLACD
• RPLACA и SETQ
• SETF и SETQ

Формальные системы и системы формальных грамматик являются примерами систем

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

Переменная в Прологе рассматривается как

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

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

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

Результат выражения в языке Лисп (CRD (1 2 3 4)) равен

• 1
• (2 3)
• 4
• (2 3 4)

Программирование, ориентированное на правила, означает, что

• данные и программы записываются в виде правил
• роль процедур играют правила «условие-действие»
• программы и данные подчиняются определенным правилам
• доступ к данным и обновление данных запускает определенные правила

Если pkn — предикатная буква, а t1,…, tn — термы, то pkn(t1,…, tn) является

• термом
• составной формулой
• квантором
• элементарной формулой

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

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

Параметр «полезность» имеет разновидности: 1) абсолютная; 2) индивидуальная; 3) групповая; 4) сравнительная — из перечисленного

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

Стратегия поиска от цели является примером стратегий

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

В Прологе список заключают в

• [ ]
• » «
• ( )
• { }

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

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

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

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

Типами решаемых задач ЭС являются: 1) анализа и (или) синтеза; 2) статические или динамические; 3) индукции или дедукции; 4) детерминированные или вероятностные — из перечисленного

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

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

• :-
• =
• :
• ->

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

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

Определение и вычисление функций в Лиспе основано на

• альфа-исчислении Колмогорова
• теории предикатов
• лямбда-исчислении Черча
• теории списков

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

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

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

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

Если при поиске методом «генерация-проверка» генератор генерирует каждое решение только один раз, то он называется

• полным
• однопроходным
• полностью определенным
• неизбыточным

Способность объектов выбирать метод на основе типов данных, принимаемых в сообщении, называется

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

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

• выполнимыми
• фактами
• общезначимыми
• непротиворечивыми

Смысл структурирования БЗ ЭС состоит в: 1) ограничении множества объектов; 2) ограничении круга сущностей; 3) обеспечении наследования свойств сущностей; 4) обеспечении инкапсуляции — из перечисленного

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

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

• PUT
• GET
• LET
• CONT

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

• EQL
• CDR
• CAR
• CONS

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

• SETQ
• SET
• SETТ
• SETF

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

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

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

• (lambda (х у) ((x*х) + (у*у)))
• (lambda (х у) (+ (^ 2 x) (^ 2 у)))
• (lambda (х у) (+ (* x х) (* у у)))
• (lambda (+ (* x х) (* у у)))

Вызов функции лямбда-выражение в языке Лисп происходит по форме

• (DEFUN а1 а2 . . . an)
• (DEFUN: лямбда-выражение а1 а2 . . . an)
• (лямбда-выражение а1 а2 . . . an)
• ((а1 а2 . . . an) : (лямбда-выражение))

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

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

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

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

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

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

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

• имя_предиката:-аргументы
• имя_предиката=аргументы
• имя_предиката аргументы
• имя_предиката(аргументы)

Для перевода строки используется функция

• PRINC
• PRIN1
• CONT
• TERPRI

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

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

В Прологе переменные, которым не было присвоено значение, называются

• формальными
• пустыми
• анонимными
• свободными

Из перечисленного: 1) _4711; 2) x_123; 3) 123; 4) _; 5) Результат; 6) лето — являются переменными в Прологе

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

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

• программы
• данные
• программы и данные
• результаты

Количество аргументов у предиката называется

• размерность
• степень
• ранг
• арность

В продукционных системах антецедент означает

• предусловие
• факт
• действие
• постусловие

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

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

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

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

Из перечисленного: 1) ; 2) x_123; 3) 123; 4) ‘Это атом или нет?’; 5) Результат; 6) лето — являются корректными атомами в Прологе

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

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

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

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

• PAIRLIS
• ACONS
• LIST
• ASSOC

Для создания связи переменных внутри формы в языке Лисп используется предложение

• PROG
• CONT
• LET
• RETURN

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

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

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

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

Полноту и правильность введенных в ЭС знаний обеспечивает

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

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

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