Если не удается все решаемые задачи свести к фиксированному набору подзадач, то используется метод поиска
Вопрос посетителя
Главной структурой в Лиспе является
(*ответ*) список
команда
модуль
процедура
Данные, вводимые в первый слой нейронной сети, отображают
(*ответ*) факты о проблеме принятия решения
обратную связь со вторым слоем
начальные установки сети
веса связей между нейронами
Декларативные языки программирования подразделяются на
(*ответ*) функциональные и логические
логические и объектные
функциональные, структурные и объектные
структурные и объектные
Для вычисления арифметических выражений в Прологе используется оператор
(*ответ*) is
calc
set
let
Для перевода строки используется функция
(*ответ*) TERPRI
CONT
PRINC
PRIN1
Для создания связи переменных внутри формы в языке Лисп используется предложение
(*ответ*) LET
RETURN
PROG
CONT
Достоинством продукционных правил является
(*ответ*) наглядность
адаптивность
гибкость
универсальность
Если pkn — предикатная буква, а t1,…, tn — термы, то pkn(t1,…, tn) является
(*ответ*) элементарной формулой
квантором
составной формулой
термом
Если А, В и С — некоторые высказывания, такие, что если В выводится из А, то В будет выводиться и из АС, то формальная система называется
(*ответ*) монотонной
неизбыточной
транзитивной
немонотонной
Если А, В и С — некоторые высказывания, такие, что если В выводится из А, но В выводится из АС, то формальная система называется
(*ответ*) немонотонной
неизбыточной
транзитивной
монотонной
Если не существует формулы А, такой, что А и A выводимы в S, то такая формальная система S называется
(*ответ*) непротиворечивой
типовой
разрешимой
тривиальной
Если не удается все решаемые задачи свести к фиксированному набору подзадач, то используется метод поиска
(*ответ*) нисходящего уточнения
«генерация-проверка»
редукции
факторизации пространства
Ответ эксперта
Главной структурой в Лиспе является
(*ответ*) список
команда
модуль
процедура
Данные, вводимые в первый слой нейронной сети, отображают
(*ответ*) факты о проблеме принятия решения
обратную связь со вторым слоем
начальные установки сети
веса связей между нейронами
Декларативные языки программирования подразделяются на
(*ответ*) функциональные и логические
логические и объектные
функциональные, структурные и объектные
структурные и объектные
Для вычисления арифметических выражений в Прологе используется оператор
(*ответ*) is
calc
set
let
Для перевода строки используется функция
(*ответ*) TERPRI
CONT
PRINC
PRIN1
Для создания связи переменных внутри формы в языке Лисп используется предложение
(*ответ*) LET
RETURN
PROG
CONT
Достоинством продукционных правил является
(*ответ*) наглядность
адаптивность
гибкость
универсальность
Если pkn — предикатная буква, а t1,…, tn — термы, то pkn(t1,…, tn) является
(*ответ*) элементарной формулой
квантором
составной формулой
термом
Если А, В и С — некоторые высказывания, такие, что если В выводится из А, то В будет выводиться и из АС, то формальная система называется
(*ответ*) монотонной
неизбыточной
транзитивной
немонотонной
Если А, В и С — некоторые высказывания, такие, что если В выводится из А, но В выводится из АС, то формальная система называется
(*ответ*) немонотонной
неизбыточной
транзитивной
монотонной
Если не существует формулы А, такой, что А и A выводимы в S, то такая формальная система S называется
(*ответ*) непротиворечивой
типовой
разрешимой
тривиальной
Если не удается все решаемые задачи свести к фиксированному набору подзадач, то используется метод поиска
(*ответ*) нисходящего уточнения
«генерация-проверка»
редукции
факторизации пространства
