В ы с ш е е п р о ф е с с и о н а л ь н о е о б р а з о в а н и е информатика и программироВание осноВы информатики

73
усложняется проверка непротиворечивости продукций;
•
усложняется проверка правильности работы логического вывода.
•
Системы продукций состоят из двух частей:
1) БЗ, состоящая из правил;
2) блок логического вывода новых знаний из правил БЗ.
Пример 7.3. Рассмотрим функционирование системы продукций,
БЗ которой включает два правила:
правило П1
ЕСЛИ  лето
= жаркое  И
осадков
= мало
ТО
урожай
= плохой;
правило П2
ЕСЛИ  урожай
= плохой
ТО
цены_на_продукты
= растут.
В  правилах  использовались  высказывания,  представляющие  на-
звания переменных и их значения.
Рассмотрим  два  способа  логического  вывода  в  продукционных
моделях: прямую и обратную цепочки рассуждений. В прямой цепоч-
ке  дано  исходное  истинное  высказывание,  которое  служит  для  до-
казательства истинности новых высказываний. Далее производится
перебор правил. Если условная часть правила является истинной, то
и заключительная часть становится истинной.
Пусть известны два факта, т. е. эти высказывания истинны:
лето
= жаркое;
осадков
= мало.
Прямая цепочка рассуждений будет состоять из следующих шагов.
1. Анализируется правило П1. Его условная часть истинна, так как
оба высказывания из условной части истинны.
2. Так как условная часть правила П1 истинна, то заключительная

жүктеу/скачать 4,7 Mb.

Достарыңызбен бөлісу: