Как уже было сказано, формирование фактов в системе будет происходить с помощью продукционной системы с прямым выводом.
В состав системы продукционного типа входят база знаний, рабочая память и интерпретатор правил, реализующий механизм прямого логического вывода.
Любое продукционное правило, содержащееся в базе знаний, состоит из двух частей: антецендента и консеквента. Антецедент представляет собой посылку правила (условную часть) и состоит из элементарных предложений, соединенных логическими связками «и», «или». По условию осуществляется поиск в базе знаний. Консеквент (заключение) включает одно или несколько предложений, которые выражают либо некоторый факт, либо указание на определенное действие, подлежащее исполнению, таким образом, консеквент может быть промежуточным, выступающими далее как условие, или целевым, завершающими работу системы.
Перебор правил в базе знаний осуществляется с помощью прямого вывода. Машина вывода запускается на основании исходных данных, полученных из базы данных существующей системы.
Ниже приведен пример формирования фактов.
Пример:
Файл, полученный из БД системы:
Датчик1 30.
База данных:
30 низкое База знаний:
если датчик1 низкое то низкое давление в трубе1.
если низкое давление в трубе1 и насос 1 работает в полную мощность то пробой в трубе1.
если низкое давление в трубе1 то включить насос1 на полную мощность Рабочая память:
датчик1 низкое низкое давление в трубе1.
включить насос1 на полную мощность.
- 1 если датчик1 низкое то низкое давление в трубе1
- 2 если низкое давление в трубе 1 то включить насос 1 на полную мощность
