Системы информационные /system of information

Метод настраиваемости — заключается в том, что можно легко порождать новые программные объекты по образцу как значения соответствующих выражений (применяя порождающую функцию к параметрам образца).

Метод аппликативности — заключается в том, что программа есть выражение, составленное из применений функций к их аргументам. Программа при этом состоит из совокупности определений функций,

Логика символьная (symbolic logic) — можно использовать для решения трех основных задач формальной логики: для выражения высказываний, выражения отношений между высказываниями и описания способов вывода

Компонент приобретения знаний —  автоматизирует процесс наполнения ЭС знаниями, осуществляемый пользователем экспертом. [Боровская Е. В. Основы искусственного интеллекта: учебное пособие / Е. В. Боровская, Н.

Компонент объяснительный —  расшифровывает, как система получила решение задачи (или почему она не получила решения) и какие знания она при этом использовала, что облегчает эксперту

Компонент диалоговый — ориентирован на организацию дружественного общения с пользователем как в ходе решения задач, так и в процессе приобретения знаний и объяснения результатов работы.

Задачи анализа и синтеза — основное отличие задач анализа от задач синтеза заключается в следующем: если в первых из них множество решений может быть перечислено