Вопрос-Ответ для АСПЗ 5+

RLL является

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

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

Рефал

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

S-выражениями

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

типы не связаны с именами объектов данных

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

(LAMBDA (xl х2 ... xn) fn)

В Лиспе программы и обрабатываемые ими данные представляются в виде

списочной структуры

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

T и NIL

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

PAIRLIS

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

DO

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

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

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

данные

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

программы

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

принимает значение данного атома

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

являться головой правила и появляться в факте

В Прологе выражение X is ([1,2,3]+5) имеет значение

6

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

:-

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

\+

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

Х =:= Y

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

свободными

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

находится ближе к началу базы данных

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

атомы и числа

В Прологе рекурсия встречается, когда

предикат содержит цель, которая ссылается на саму себя

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

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

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

[ ]

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

x не равно y

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

запятой

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

CAR

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

CDR

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

GET

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

SETF

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

QUOTE

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

SETQ

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

EQUAL

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

EQ

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

EQL

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

=

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

SET

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

CONS

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

процедурные и декларативные

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

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

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

список

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

функциональные и логические

Для вычисления арифметических выражений в Прологе используется оператор

is

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

TERPRI

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

LET

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

базой знаний

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

1, 3, 6

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

1, 4, 5

Из перечисленного: 1) <---->; 2) x_123;; 4) 'Это атом или нет?'; 5) Результат; 6) лето – являются корректными атомами в Прологе

1, 2, 4, 6

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

1, 2, 5

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

1, 4, 5

Из перечисленного: 1) MAPCAN; 2) MAPCON; 3) APPLY; 4) FUNCALL – применяющими функционалами в Лиспе являются

3, 4

Из перечисленного: 1) QUOTE; 2) PROG; 3) COND; 4) вызов функции; 5) CASE – разветвление исполнения в языке Лисп осуществляется с помощью

3, 5

Из перечисленного: 1) QUOTE; 2) PROG; 3) GO; 4) DO; 5) CASE; 6) CONT – передача управления в языке Лисп осуществляется с помощью

2, 3

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

1, 2, 5

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

1, 2, 3

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

1, 3, 5

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

2, 4, 6

Из перечисленного: 1) наличие гибких средств управления выводом; 2) возможность отображения описаний объектов на разные виды памяти ЭВМ; 3) наличие мощных структур управления; 4) наличие развитых средств обработки данных – язык представления знаний должен отвечать требованиям

1, 2

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

1, 2, 4, 6

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

1, 2, 5, 6

Из перечисленного: 1) Плэнер; 2) KRL; 3) Рефал; 4) Конивер; 5) Пролог; 6) ART – к языкам представления знаний относятся

2, 6

Из перечисленного: 1) Плэнер; 2) Лисп; 3) Рефал; 4) Конивер; 5) Пролог; 6) ART – к языкам программирования интеллектуальных решателей относятся

1, 4

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

1, 2, 5

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

1, 3

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

1, 2, 3

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

2, 3, 5, 6

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

2, 3, 5

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

3, 4, 5

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

1, 2

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

оболочки экспертных систем

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

бинарным деревом

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

(MAKE-ARRAY (n1 n2 ... nN) режимы)

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

интерпретатором

Областью действия переменной является

утверждение

Одним из наиболее известных представите­лей языков высокого уровня, применяемых при проектировании экспертных систем, является

OPS5

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

лямбда-исчислении Черча

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

DEFUN

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

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

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

RPLACA и RPLACD

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

локальное имя для некоторого объекта

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

многофункциональные программные среды

Правило в Прологе состоит из

предиката и тела

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

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

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

цель

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

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

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

/* комментарий */

Примером среды программирования, поддерживающей несколько парадигм, является

LOOPS

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

доступ к данным и обновле­ние данных запускает определенные процедуры

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

роль процедур играют правила "условие-действие"

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

[ ]

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

25

Результат выражения в языке Лисп (CARравен

1

Результат выражения в языке Лисп (CONS 1равен

(

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

(2 3 4)

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

нерекурсивную фразу и рекурсивное правило

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

памяти и зрения

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

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

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

имени функции и списка аргументов

Списки в Лиспе заключаются в скобки

круглые

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

пустым списком

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

()

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

NIL

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

исчисление предикатов

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

(GET символ свойство)

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

'

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

(lambda (х у) (+ (* x х) (* у у)))

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

[2, 3]

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

пробелами

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

FRL

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

Снобол

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

Лисп