7.5. продукционные модели Эта модель называется продукционной, так как все знания пред-
ставляются в виде продукций — правил вида
ЕСЛИ A, ТО B,
где A — условная часть; B — заключительная часть.
Условная часть состоит из одного или нескольких высказываний,
соединенных операциями конъюнкции. Заключение состоит из одно-
го высказывания.
Если высказывания условной части истинны, то высказывание
заключительной части тоже считается истинным.
Правила, условная часть которых истинна на некотором этапе
логического вывода, образуют фронт готовых продукций.
Математические или программные средства, обрабатывающие
знания, представленные правилами, называются
продукционными системами или системами продукций.
Популярность продукционных моделей определяется следующими
факторами:
простой и точный механизм использования знаний — подавляющая
•
