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