Продукционные модели. База фактов. База правил. Работа машины вывода, стратегии управления выводом в экспертной системе на основе продукционной модели

Модели представл. знаний: 1. Продукционн; 2. семантич. сети; 3 фреймовая структ; 4. форм. логич модели. Продукционн. – продукц. инфо явно выделена и описыв. иными ср-вами, чем декларат. инфо. В таких моделях осуществ. вывод на знаниях. Модель позволяет представлять знания в виде предложений типа: Если (условие), то (действие). Записываются в виде: ЕСЛИ А1,А2,…,Аn ТО В.

В кач-ве условий: любая сов-сть суждений, объедин логич связями типа и/или.Условие=посылка.Дейст=вывод, закл. Условия А1, А2,…, Аn обычно называют фактами.

Описание предм. обл. строится на предпол. об устр-ве предм. обл.: 1. ПО может быть описана в виде мн-ва фактов и правил; 2. правила описывают прич-следтв связи м\у фактами; 3. могут отражать след типы отнош-й: сит-действ, посылка-заключ., причина-следств. В продукционных системах используются 2 основн. способа реализации механизма вывода: прям. вывод, (от данных); обрат вывод (от цели). В 1-м случае идут от извест. данных и на каждом шаге вывода к этим фактам прим-ют все возм. правила, кот.порождают нов. факты, и так пока не будет порожден факт-цель. Во2ом случае вывод идет в обр. направлении – от поставленной цели. Если цель согласуется с заключением правила, то посылку правила приним-т за подцель или гипотезу, и этот процесс повт-ся пока не будет получено совпадение подцели с известными фактами. «+»: 1. возм-сть построения на их основе информ систем модульной структуры 2 простота модификации 3 простота восприятия чел-ком 4 спос-сть к самообъясн-ю.«-»: 1. трудность сосставл продукц правил 2.труд-ть записи из-за констр типа ЕСЛИ, ТО.