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

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

• CAR
• CDR
• EQL
• EQ

Языком обработки строк, в рамках которого впервые появилась и была реализована концепция поиска по образцу, является

• Конивер
• Плэнэр
• Рефал
• Снобол

Базовыми функциями языка Лисп являются

• CDR
• CONS
• CAR
• RESET
• GO

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

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

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

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

Если база данных на Прологе содержит не только факты, но ещё и ________, то она является базой знаний

В Прологе при выполнении запроса первым выводится то из решений, которое

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

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

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

Программа на Прологе состоит из множества фраз, задающих связи между ______

К категориям инструментальных программ, применяемых при проектировании экспертных систем, можно отнести

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

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

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

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

• 12
• 144
• 25
• 9

Если программа на Прологе содержит только ________, то она является базой данных

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

• /
• =
• *
• º

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

• SET
• SETQ
• SETТ
• SETF

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

• ASSOC
• LIST
• PAIRLIS
• ACONS

Логика предикатов первого порядка – это универсальный абстрактный язык, предназначенный для представления _______ и для решения задач

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

• Пролог
• Лого
• АПЛ
• ЛИСП
• Паскаль
• Си

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

• анонимные
• глобальные
• именованные
• локальные
• свободные

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

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

Исчисление _______ является обобщением исчисления высказываний, позволяющим использовать параметры в высказываниях

При реализации списков в ЛИСПе

• из одной ячейки может исходить один указатель
• на одну ячейку может указывать один указатель
• на одну ячейку может указывать несколько указателей
• из одной ячейки может исходить несколько указателей

Укажите соответствие между наименованием функции ЛИСПа и её назначением

• CONS
• возвращает последний элемент списка
• CAR
• возвращает результат выражения
• EVAL
• возвращает первый элемент списка
• CDR
• строит новый список из «головы» и «хвоста»

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

• PUT
• CONT
• GET
• LET

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

• EQUAL
• QUOTE
• NO
• EQL

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

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

В Прологе элементы списка разделяют

• пробелом
• точкой с запятой
• запятой
• двоеточием

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

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

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

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

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

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

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

• только прикладного
• только системного
• интерфейсов
• системного и прикладного

Конечное множество элементов, каждый из которых (кроме самых нижних) имеет две нисходящие ветви, называется

• списковым деревом
• сетью
• списком
• бинарным деревом

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

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

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

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

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

• SETТ
• SETF
• SET
• SETQ

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

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

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

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

Язык представления знаний должен обеспечивать

• наличие гибких средств управления выводом
• наличие мощных структур управления
• наличие развитых средств обработки данных
• возможность отображения описаний объектов на разные виды памяти ЭВМ

В Прологе существуют виды термов

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

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

• CAR
• DEFUN
• CONS
• CDR

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

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

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

• Снобол
• Конивер
• Рефал
• Плэнэр

Рекурсия называется простой, если

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

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

• ЛИСП
• ART
• Конивер
• АПЛ
• Плэнэр
• Пролог

Механизм решения задачи при помощи языка Пролог является

• обработчиком знаний
• Компилятором
• генератором запросов
• Интерпретатором

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

• CONT
• PRIN
• TERPRI
• LINE

Элементы списков в языке Лисп разделяются

• точками
• пробелами
• запятыми
• точками с запятой

Для разделения аргументов предиката в списке аргументов используют

• запятую
• / (слэш)
• точку с запятой
• пробел

К фреймовым языкам представления знаний относятся

• ART
• Пролог
• RLL
• ЛИСП

Позволяют программисту экспериментировать при решении новых классов проблем, выбирая подходящие сочетания различных методов

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