Продукционная модель

предложений типа «если (условие), то (действие)». Под «условием» (антецедентом) понимается

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

хранятся в рабочей памяти продукционной системы.
 
В общем случае пример

правила можно представить, как:
i: S; L; A -> B;Q
 
где I – индивидуальный номер продукции.
S – описание класса ситуации, в котором данная структура может использоваться.
L – условие, при котором продукция активизируется (высказывание, истинность которого проверяется).
А->B – ядро продукции,
Q – постусловия, описывает операции и действия (процедуры), которые необходимо выполнить после выполнения B (например, внести изменения в данные либо в саму продукцию).

работает», то «неполадки в системе электропитания стартера»
В этом правиле

пары атрибут- значение будут:
двигатель – не заводится;
стартер двигателя – не работает.

некоторому текущему моменту времени.
В процессе решения задачи содержимое рабочей

памяти изменяется. Это происходит по мере срабатывания правил. Правило срабатывает, если при сопоставлении фактов, содержащихся в рабочей памяти, с антецедентом анализируемого правила имеет место совпадение, при этом заключение сработанного правила заносится в рабочую память. В процессе логического вывода объем фактов в рабочей памяти, как правило, увеличивается. Объем фактов в рабочей памяти может уменьшиться в том случае, если действие какого-нибудь правила состоит в удалении фактов из рабочей памяти. В процессе логического вывода каждое правило из базы правил может сработать только один раз. При описании реальных знаний конкретной предметной области может оказаться недостаточным представление фактов с помощью пар атрибут-значение. Более широкие возможности имеет способ описания с помощью триплетов объект-атрибут-значение. В этом случае отдельная сущность предметной области рассматривается как объект, а данные, хранящиеся в рабочей памяти, показывают значения, которые принимают атрибуты этого объекта.

управляющая перебором правил, называется машиной вывода. Механизм выводов связывает знания

воедино, а затем выводит из последовательности знаний заключение.
Положим, например, что в БЗ вместе с описанными выше знаниями содержатся еще и такие:
ЕСЛИ z является отцом х,
z является отцом y,
x и y не являются одним и тем же лицом,
ТО
x и y являются братьями, (здесь x, y, z - переменные)