Системы искусственного интеллекта
Всякий символ переменной или константной буквы является
квантором
атомом
термом
булевой константой
В Прологе для предиката not/1 можно использовать также форму записи
+\
\+
/+
+/
Смысл структурирования БЗ ЭС состоит в: 1) ограничении множества объектов; 2) ограничении круга сущностей; 3) обеспечении наследования свойств сущностей; 4) обеспечении инкапсуляции - из перечисленного
2, 3
1, 4
3, 4
1, 2
Все языки программирования можно разделить на
структурные и процедурные
процедурные и декларативные
алгоритмические и декларативные
структура
В предикате "впадает (Волга, Каспийское море)" слово "Волга" является
термом-константой
процедурой
переменной
предикатным символом
На изображении понятий с помощью точек и отношений между ними основан подход к представлению знаний
алгоритм
продукционные правила
семантическая сеть
фрейм
Результат выражения в языке Лисп (CRD (1 2 3 4)) равен
4
(2 3 4)
(2 3)
1
Основными функциями, изменяющими физическую структуру списков, являются
RPLACA и RPLACD
SETF и SETQ
RPLACA и SETQ
LET и SETF
Параметр "масштаб" делит все стратегии ЭС на: 1) оперативные; 2) локальные; 3) глобальные; 4) тактические - из перечисленного
2, 4
2, 3
1, 4
1, 3
Системы, образованные из правил, в которых сопоставление и планирование являются явными функциями системы, зафиксированными в интерпретаторе, называются
семантическими
фреймовыми
продукционными
трансформационными
В Прологе при выполнении запроса первым выводится то из решений, которое
находится ближе к концу базы данных
является наиболее правдоподобным
находится ближе к началу базы данных
стоит первым после сортировки полученных решений
Теоретической основой Пролога является
лямбда-исчисление Черча
исчисление высказываний
фреймовое представление
исчисление предикатов
Достоинством продукционных правил является
наглядность
универсальность
адаптивность
гибкость
Из перечисленного: 1) Плэнер; 2) KRL; 3) Рефал; 4) Конивер; 5) Пролог; 6) ART - к языкам представления знаний относятся
1, 3
1, 4
2, 6
4, 5
Конечное множество элементов, каждый из которых (кроме самых нижних) имеет две нисходящие ветви, называется
бинарным деревом
списковым деревом
сетью
списком
Элементы списков в языке Лисп разделяются
точками
пробелами
запятыми
точками с запятой
Модели, использующие исчисление предикатов первого порядка, дополненное эвристиками, являются системами
индуктивного типа
аналитическими
синтетическими
дедуктивного типа
Способы представления и интерпретации знаний определяются на этапе создания ЭС
формализация
выполнение
концептуализация
идентификация
Синтаксис определения макроса в Лиспе
(DEFMACRO имя лямбда-список)
DEFMACRO (имя лямбда-список тело)
DEFMACRO (имя лямбда-список)
(DEFMACRO имя лямбда-список тело)
В продукционных системах антецедент означает
факт
действие
предусловие
постусловие
Если при поиске методом "генерация-проверка" генератор генерирует каждое решение только один раз, то он называется
полным
однопроходным
полностью определенным
неизбыточным
Продукционные системы могут быть разделены на управляемые: 1) данными; 2) знаниями; 3) целями; 4) фактами - из перечисленного
1, 2
2, 4
3, 4
1, 3
Типами решаемых задач ЭС являются: 1) анализа и (или) синтеза; 2) статические или динамические; 3) индукции или дедукции; 4) детерминированные или вероятностные - из перечисленного
1, 2
3, 4
2, 3
1, 4
В языке Лисп не вычисляет значение первого аргумента функция
SET
SETQ
SETF
SETТ
Из перечисленного: 1) EMYCIN; 2) OPS5; 3) LOOPS; 4) S1; 5) М4 - оболочками экспертных систем являются
1, 3, 5
1, 4, 5
4, 5
1, 2, 3
Определение и вычисление функций в Лиспе основано на
лямбда-исчислении Черча
альфа-исчислении Колмогорова
теории предикатов
теории списков