Правила вывода логики высказываний – это правила
(*ответ*) введения и удаления для пропозициональных связок
(*ответ*) противоречия и сведения к противоречию
(*ответ*) введения и удаления для кванторов
введения и удаления для термов
Правила, определяющие, как меняются вариаторы в ходе грамматического анализа, - это правила
(*ответ*) продукции
Правило, выбранное для исполнения, используется без возможности дальнейшего пересмотра при _ подходе
(*ответ*) безвозвратном
интерактивном
тестовом
пробном
Предикатная вершина свободна от мультидуг, если число дуг, выходящих из одной и той же вершины и входящих в данную вершину, не больше _ (ответ дать цифрой)
(*ответ*) 2
Преимущества продукционных систем - это
(*ответ*) модульность
(*ответ*) модифицируемость
(*ответ*) способность к самообъяснению
установлены примитивы
При постановке задачи на выбор отдельных критериев отражается неопределенность
(*ответ*) целей
действий активного партнера
знаний об окружающей обстановке
действий пассивного партнера
Продукционные системы, использующие модульный принцип организации знаний, отличаются от традиционных систем, использующих модульный принцип организации
(*ответ*) алгоритмов
Пропозициональные вершины позволяют строить предложения с оборотами
(*ответ*) причастными
(*ответ*) деепричастными
виртуальными
Пропозициональными связками называются знаки отрицания, конъюнкции, дизъюнкции и
(*ответ*) импликации
Проход по записям одного типа и проход по записям, являющимися членами набора, владельцем которого является данная запись, обеспечивают _ операции
(*ответ*) навигационные
идентификационные
спецификационные
аутентификационные
Процедура, автоматически запускаемая при выполнении некоторого условия, - это
(*ответ*) демон
Процесс обратный агрегации – это пошаговая
(*ответ*) детализация
Распространение исходных положений какой-либо формальной системы на реальный мир представляет собой
(*ответ*) интерпретацию
Результатом применения косвенных методов является интервальная
(*ответ*) шкала
Решение, обоснованное при помощи объективного аналитического процесса, является
(*ответ*) рациональным
Решение, принятое только потому, что руководитель имеет ощущение того, что оно правильно, является
(*ответ*) интуитивным
С точки зрения выразительности, логику высказываний можно охарактеризовать как классическую логику нулевого
(*ответ*) порядка
Связь элементов класса с самим классом, включающим группу объектов, обладающих общими свойствами, осуществляет отношение (набор английскими буквами)
(*ответ*) ISA
Связям между информационными единицами иерархической сети соответствуют
(*ответ*) дуги
Секвенция в детерминированных ядрах реализуется с необходимостью, а в недетерминированных - с
(*ответ*) возможностью
Семантическая сеть, в вершинах которой находятся информационные единицы, является
(*ответ*) иерархической
Системы управления базами данных обеспечивают реализацию внутренней интерпретируемости всех информационных единиц, хранимых в базе
(*ответ*) данных
Сколемовская форма, матрица которой - конъюнктивная нормальная форма, - является
(*ответ*) клаузальной
Слот, показывающий фрейм-родитель данного фрейма, - это слот
(*ответ*) IS-A
указателей дочерних фреймов
для ввода имени пользователя
для ввода имени фрейма