Процедуры вывода позволяют на основании общих правил вывести решение для заданной конкретной ситуации, описываемой некоторыми исходными данными. Цепочка логического вывода строится по мере приближения к решению, в зависимости от выведенных на каждом шаге данных и выведенных к этому шагу новых знаний. Конкретные формы организации дедуктивного вывода зависят от того, в какой форме представлены знания в базе знаний (на каком языке представления знаний).
Продукционная модель представления знаний наиболее распространена в приложениях. Модель реализуется правилами-продукциями:
если <условие> то <заключение>.В качестве условия может выступать любая совокупность суждений, соединенных логическими связками и (
Пример. Продукцией будет следующее правило:
если (курс доллара-растет)Такого рода правила и знания о ценах, предложении и спросе на рынке жилья могут стать базой для базы знаний о рынке жилья и экспертной системы для риэлторской группы (фирмы).
Существуют две основные стратегии вывода на множестве правил-продукций:
Обе приведенные стратегии вывода имеют недостатки, достоинства и модификации.
Пример. Если все множество правил-продукций разбито на группы по некоторому признаку (структурировано), то вместо полного или случайного перебора всех правил при прямом и обратном выводе осуществляется целенаправленный переход от одной группы правил к другой.