28
выполняемые при успешном исходе поиск
а (они могут быть промежуточны-
ми, выступающими далее тоже как условия, либо терминальными, или це-
левыми, завершающими работу системы). Наряду с указанными продукци-
ями применяются следующие продукции:
«
Если (предшествующий) то (последующий)
»;
«
Если (основание) то (гипотеза)
».
При использовании продукционной модели база знаний состоит
из набора правил
. Программа же, управляющая перебором этих правил,
называется
машиной вывода
. Чаще всего вывод бывает прямым (от данных
- к поиску цели) или обратным (от цели, для ее подтверждения, - к данным).
Машина вывода выполняет две функции:
1)
просмотр существующих фактов (из рабочей памяти) и правил (из базы
знаний) и добавление в рабочую память новых фактов;
2)
определение порядка просмотра и применения правил.
Действие машины вывода основано на применении следующего
правила:
если известно, что истинно утверждение А, и существует правило
вида «если А, то В», тогда утверждение В также истинно.
Правила сраба-
тывают, если найдены факты, удовлетворяющие их левой части: если истинна
посылка, то должно быть истинно и заключение. Управляющий компонент
машины вывода определяет порядок применения правил и выполняет четыре
следующих функции:
1)
Достарыңызбен бөлісу: 
