Модель представления знаний правилами вида “ЕСЛИ-ТО”(явление-реакция) называется продукционной. Продукционная модель является наиболее распространенной в системах, основанных на знаниях.
–Простота добавления, модификации и аннулирования знаний.
–Простота и точность механизма использования знаний ввиду однородности последних и использования единого синтаксиса описания знаний.
Структура продукционной системы. БП – База Правилесть набор правил, используемый как база знаний. РП –Рабочая Память (или память для кратковременного хранения),в ней хранятся предпосылки, касающиеся конкретных задач предметной области,и результаты выводов, полученных на их основании. Механизм вывода (логического вывода) –использует правила в соответствии с содержанием РП:
Прямой и обратный вывод.
Определение. Способ получения логического вывода в продукционной системе, при
котором предварительно записанные в РП данные дополняются путем применения
правил из БП, называется прямым выводом.
Пример работы для прямого вывода.
Предположим, что записываемые в РП данные представляют собой образцы в виде
наборов символов. В представленном в таблице простейшем случае условные части
правил из БП содержат либо одиночные образцы, либо несколько условий, соединенных союзом “И”. В заключительной части содержатся образцы, которые в
процессе вывода регистрируются в РП.
Последовательность действий по получению вывода. 1). Образец “намерение
-экспедиция”существует в РП, а “дорога -плохая”отсутствует, поэтому условная часть первого правила -ложна. 2). Условие второго правила истинно, поэтому механизм вывода выполняет его заключительную часть и образец “дорога -плохая”заносится в РП. 3). Делается попытка вторичного применения правил. Поскольку второе правило уже было применено, то оно выпадает из числа кандидатов на применение. Но условная часть первого правила становится истинной, поскольку РП уже дополнена образцом “дорога -плохая”. Поэтому содержимое РП пополняется образцом заключительной части первого правила –“средство передвижения -джип”. В итоге применимых правил не остается и система останавливается.
Определение. Способ получения логического вывода в продукционной системе, при котором на основании фактов, требующих подтверждения на предмет использования в качестве заключения, исследуется возможность применения правила, пригодного для подтверждения, называется обратным выводом.
Пример работы для обратного вывода.
Предположим, что наша цель состоит в доказательстве того, что “средство передвижения -джип”. Исследуем сначала возможность применения первого правила для подтверждения этого факта. Поскольку образец “намерение -экспедиция” из условной части первого правила уже занесен в РП, то для достижения цели достаточно подтвердить факт “дорога -плохая”. Однако если принять образец “дорога -плохая”за новую цель, то потребуется правило, подтверждающее этот факт. Поэтому исследуем возможность применения второго правила. Условная часть этого правила истинна, поэтому РП пополняется образцом “дорога -плохая”. Здесь появляется возможность применения первого правила и исходная цель подтверждается.
В случае обратного вывода система останавливается либо при достижении первоначальной цели, либо по исчерпанию применимых для достижения цели правил.