Продукционная система практически полностью управляется самими данными, включает основные компоненты: 1)базу правил; 2) рабочую память; 3) механизм вывода.
База правил.
Пример: авто – система электропитания и система передачи топлива.
Процесс поиска неисправности выглядит так, как будто специалист неявно обращается к заданному множеству правил, выбирает правило, соответствующее какому-либо условию и получает промежуточные заключения. Эти заключения становятся условиями для вывода следующих заключений. Т.о. продукционная система содержит набор срабатывающих в определенной ситуации правил, имеющих форму: «если…,то…». Это конструкция получила название продукционных правил. Состоит из 2-х частей:
1)посылки - из элементарных высказываний, соединенных логическими связками и/или;
2)заключение из предложения, которые образуют выдаваемое правилами решения, либо указывают на действие, подлежащее исполнению.
Пример: если двигатель не заводится и стартер не раб-т, (посылка), то неисправность в системе Эл-питания (заключение). Правило срабатывает, если факты из БД при сопоставлении совпали с посылкой текста. После этого, правило считается отработавшим.
БД: в ней хранят множество фактов, описывающих текущую ситуацию в форме параметров: атрибут, значение.
Механизм вывода – определяет порядок применения правлиа.. Функции:
1)просмотр существующих фактов из БД рабочей памяти и добавление в рабочую память новых правил; 2)определение порядка просмотра и применения правил.
Существует 2 способа вывода:
1)прямой: от фактов к заключению;
2)обратный: на основе заключения выдвигаются гипотезы, которые просматриваются до тех пор, пока в рабочей памяти не будут обнаружены или получены от пользователя факты, подтверждение одно из заключений.
Существует 2 правила: Р1 и Р2:
Р1: если двигатель не заводится и фары не горят, то сел аккумулятор.
Р2: если указатель бензина на 0, то двигатель не заведется.
От пользователя факты: «фары не горят», «указатель бензина на 0»
1 цикл сопоставления правил и фактов: Р1 не срабатывает; Р2 срабатывает. Действие сработавшего правила: двигатель не заводится.
2 цикл: Р1: сел аккумулятор. Это конечный результат вывода, т.к. нет больше правил.
Это прямой вывод.
Обратный вывод: факты и правило те же.
1)гипотеза «сел аккумулятор»;
2)ищется правило, заключение которого соответствует гипотезе Р1;
3)проверяем, может ли это правило сработать;
4)Р1 сработать не м., т.к. в рабочей памяти нет образа – двигатель не заводится.
Ищем другое правило: Р2.
5)исследуем возможность применения правила;
6)в результате срабатывания Р2-заключается в БД- в заключение двигатель на заводится;
7)условная часть - Р1 подтверждается правилами, значит Р1 срабатывает и выдвинется гипотеза «сел аккумулятор», подтверждается фактами.
