Переменная, значением которой может быть логическое высказывание, является _ переменной
(*ответ*) пропозициональной
процедурной
разрешающей
продукционной
Поиск доказательства истинности высказывания, которое сводится к нахождению пути или гиперпути, ведущему из посылки к заключению, - это метод
(*ответ*) поиска пересечений
наложений
исключений
поиска отношений
Понятие истины реального мира является фундаментальным понятием
(*ответ*) семантики
прагматики
лексики
общения
Порядок изменения вариаторов в ходе грамматического анализа определяют правила
(*ответ*) продукции
дедукции
индукции
обобщения
Правило, выбранное для исполнения, используется необратимо, т.е. без возможности дальнейшего пересмотра, в случае применения _ подхода
(*ответ*) безвозвратного
пробного
конфликтного
аксиматического
Предикатная константа называется пропозициональной, если её арность равна
(*ответ*) 0
1
2
3
Прежде чем приступать к коррекции правил, необходимо их антецеденты и консеквенты привести к _ форме
(*ответ*) дизъюнктивной
конъюнктивной
импликативной
первой нормальной
Прерывание последовательности действий сценария другим сценарием является
(*ответ*) отклонением
препятствием
ошибкой
предупреждением
При переходе к знаниям в память машины вводится информация о структуре информационных единиц, представляющей собой
(*ответ*) машинное слово
машинную команду
машинную операцию
машинный язык
Причинно-следственные связи задают отношения
(*ответ*) клаузальные
функциональные
семантические
структуризации
Процедура, автоматически запускаемая при выполнении некоторого условия, - это
(*ответ*) демон
слот
терм
квантор
Процедура, служащая для передачи сообщений, является _ процедурой
(*ответ*) присоединённой
концептуальной
функциональной
визуальной
Процедурное знание характеризует отношение
(*ответ*) "аргумент - функция"
"аргумент - следствие"
"причина - следствие"
"причина - функция"