Стратегия множества поддержки, используемая при доказательстве теорем в исчислении предикатов является примером стратегий
(*ответ*) не зависящих от предметной области
учитывающих специфику цели
учитывающих специфику предметной области
не зависящих от способа представления знаний
Стратегия поиска от цели является примером стратегий
(*ответ*) не зависящих от способа представления знаний
учитывающих специфику цели
учитывающих специфику предметной области
не зависящих от предметной области
Типами решаемых задач ЭС являются: 1) анализа и (или) синтеза; 2) статические или динамические; 3) индукции или дедукции; 4) детерминированные или вероятностные - из перечисленного
(*ответ*) 1, 2
2, 3
1, 4
3, 4
То, что выражения, которыми формально описываются знания, должны быть по возможности простыми для написания, означает
(*ответ*) естественность нотации
логическая адекватность
эвристическая мощность
органичность нотации
То, что наряду с наличием выразительного языка представления должно существовать некоторое средство использования представлений, означает
(*ответ*) эвристическая мощность
органичность нотации
логическая адекватность
эвристическая адекватность
То, что представление должно обладать способностью распознавать все отличия, которые вы закладываете в исходную сущность, означает
(*ответ*) логическая адекватность
эвристическая адекватность
органичность нотации
эвристическая мощность
Формальные системы и системы формальных грамматик являются примерами систем
(*ответ*) трансформационных
семантических
фреймовых
продукционных
Формирование на основе некоторых высказываний новых суждений называется
(*ответ*) рассуждением
фактом
предикатом
выводом
Функция GET в Лиспе имеет вид
(*ответ*) (GET символ свойство)
(GET символ значение свойство)
(GET символ свойство значение)
(GET свойство символ)
Функция QUOTE в языке Лисп может быть заменена символом
(*ответ*) '
!
#
"
Функция в Лиспе, вычисляющая сумму квадратов двух чисел, определяется
(*ответ*) (lambda (х у) (+ (* x х) (* у у)))
(lambda (х у) ((x*х) + (у*у)))
(lambda (х у) (+ (^ 2 x) (^ 2 у)))
(lambda (+ (* x х) (* у у)))