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

Следующий блок экспертной системы - блок отображения вывода.

Оказавшись в жаркий летний день в заторе и заметив, что температура двигателя растет, вы обращаетесь к экспертной системе, установленной на бортовом компьютере вашего авто с вопросом: «Двигатель перегревается! Что будет?» Высокомудрый электронный советчик, поразмыслив, отвечает: «Придется тратить деньги и поздно вернуться домой». Ответ есть результат прямой цепочки рассуждений. Содержащееся в запросе условие находится в первом правиле, результат - условие второго правила и т. д.

Конечно, в реальной системе правил