Языки программирования, функциональные
Языки программирования, функциональные — это языки, в которых, как уже говорилось, единственным действием является вызов функции, единственным способом расчленения программы на части является введение имени
Языки программирования, функциональные — это языки, в которых, как уже говорилось, единственным действием является вызов функции, единственным способом расчленения программы на части является введение имени
Три уровня общности фреймов – 1) скелетный, пустой фрейм (шаблон), превращаемый после его заполнения в общее или конкретное понятие; 2) фрейм общего понятия (прототип) —
Терм составной — это элемент математического отношения, формально записанного в виде математической функции. Составной терм состоит из двух частей: функтора (functor), представляющего собой функциональный символ,
Системы экспертные, статические — разрабатываются в предметных областях, в которых база знаний и интерпретируемые данные не меняются во времени, стабильны. Пример — диагностика неисправностей в
Системы экспертные, динамические — работают в сопряжении с датчиками объектов в режиме реального времени с непрерывной интерпретацией поступаемых данных. Примеры — управление гибкими производственными комплексами,
Режим приобретения знаний — общение с ЭС осуществляет (через посредничество инженера по знаниям) эксперт. Он, используя компонент приобретения знаний, наполняет систему знаниями, которые позже позволят
Режим консультации — общение с ЭС осуществляет конечный пользователь, которого интересует результат и (или) способ его получения. При этом данные о задаче пользователя после их
Метод настраиваемости — заключается в том, что можно легко порождать новые программные объекты по образцу как значения соответствующих выражений (применяя порождающую функцию к параметрам образца).
Метод аппликативности — заключается в том, что программа есть выражение, составленное из применений функций к их аргументам. Программа при этом состоит из совокупности определений функций,
Логика символьная (symbolic logic) — можно использовать для решения трех основных задач формальной логики: для выражения высказываний, выражения отношений между высказываниями и описания способов вывода