Инструментальные средства создания ЭС. Часть 1

Правило, определяющее отношение ребенок/2 через отношение отец/2, запишется следующим образом

• отец(Y, X) :- ребенок(Y, X)
• ребенок(X, Y) :- отец(X, Y)
• ребенок(X, Y) :- отец(Y, X)
• отец(Y, X) :- ребенок(X, Y)

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

• правило
• задание
• цель
• утверждение

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

• EQL
• CDR
• CAR
• CONS

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

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

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

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

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

• функциональные и логические
• функциональные, структурные и объектные
• логические и объектные
• структурные и объектные

В Прологе отношение «Х равно Y» описывается с помощью предиката

• Х == Y
• Х =:= Y
• Х = Y
• Х == Y

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

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

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

• º
• :=
• =
• ::

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

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

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

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

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

• CAR
• EQ
• EQL
• CDR

Пустой список в Прологе обозначается

• ( )
• NIL
• [ ]
• Æ

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

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

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

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

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

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

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

• NTH
• EQUAL
• QUOTE
• EQL

Составные термы состоят из

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

Из перечисленного: 1) CAR; 2) CDR; 3) RESET; 4) GO; 5) CONS — базовыми функциями языка Лисп являются

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

Функция QUOTE в языке Лисп может быть заменена символом

• «
• #
• !
• ‘

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

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

Из перечисленного: 1) EMYCIN; 2) OPS5; 3) LOOPS; 4) S1; 5) М4 — оболочками экспертных систем являются

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

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

• PRINC
• PRIN1
• TERPRI
• CONT

В Прологе простейшими термами являются

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

В Лиспе специальное назначение имеют символы

• NULL и NIL
• NULL и T
• T и F
• T и NIL

Язык Плэнер в качестве своего подмножества содержит язык

• Лисп
• Пролог
• Си
• Снобол

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

• пустым множеством
• пустым списком
• нулевым множеством
• нулевым списком

Все языки программирования можно разделить на

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

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

• CONT
• PUT
• LET
• GET

Рефал-машина имеет поля

• памяти, результатов и переменных
• результатов и переменных
• памяти и зрения
• памяти, результатов и зрения

Синтаксис определения макроса в Лиспе

• (DEFMACRO имя лямбда-список тело)
• DEFMACRO (имя лямбда-список)
• (DEFMACRO имя лямбда-список)
• DEFMACRO (имя лямбда-список тело)

Бестиповость языка Лисп означает, что

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

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

• KRL
• ART
• RLL
• FRL

В Прологе для предиката not/1 можно использовать также форму записи

• +
• /+
• +
• +/

В Лиспе циклические вычисления осуществляются с помощью

• WHILE
• DO
• REPEAT
• CASE

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

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

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

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

Список в языке Лисп, в котором нет ни одного элемента, обозначается

• {}
• ( _ )
• []
• ()

Функция GET в Лиспе имеет вид

• (GET свойство символ)
• (GET символ свойство значение)
• (GET символ свойство)
• (GET символ значение свойство)

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

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

RLL является

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

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

• SETТ
• SETF
• SETQ
• SET

Атомы и списки в языке Лисп называются

• структурами
• S-выражениями
• функциями
• A-выражениями

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

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

Программирование, ориентированное на данные, означает, что

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

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

• CONT
• PROG
• RETURN
• LET

Главной структурой в Лиспе является

• модуль
• команда
• список
• процедура

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

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

Теоретической основой Пролога является

• фреймовое представление
• исчисление предикатов
• исчисление высказываний
• лямбда-исчисление Черча

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

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