Инструментальные средства создания ЭС
Правило, определяющее отношение ребенок/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
Вызов функции лямбда-выражение в языке Лисп происходит по форме
(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
Из перечисленного: 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
В Прологе простейшими термами являются
атомы и списки
атомы и переменные
атомы и числа
числа и переменные
В Лиспе специальное назначение имеют символы
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
Теоретической основой Пролога является
фреймовое представление
исчисление предикатов
исчисление высказываний
лямбда-исчисление Черча
Основное внимание в языках программирования интеллектуальных решателей уделено
введению мощных средств, позволяющих извлекать информацию из баз данных
оснащению лучшими средствами интерфейса
способам представления знаний
введению мощных структур управления