ПОИСК Статьи Чертежи Таблицы Вывод «от фактов к цели»: Процедура решения в системах, основанных на знаниях. Процедура исходит из данных, задаваемых пользователем, и направлена на поиск решения, адекватно удовлетворяющего начальным данным. (См. также «Прямой логический вывод».) [Выходные данные]