часть правила П1 считается истинной. Следовательно, высказывание
«урожай
= плохой» является истинным.
3. Происходит переход к правилу П2 и анализируется его условная
часть. Условная часть является истинной, так как высказывание
«урожай
= плохой» истинно.
4. Условная часть правила П2 является истинной, поэтому и за-
ключительная часть этого правила является истинной. Значит, вы-
сказывание «цены_на_продукты
= растут» является истинным.
В результате прямой цепочки рассуждений при условии истин-
ности высказываний:
лето
= жаркое;
осадков
= мало,
были выведены следующие факты:
урожай
= плохой;
цены_на_продукты
= растут.
74 При обратной цепочке рассуждений анализируются заключитель-
ные части правил. Задачей обратной цепочки является доказательство
истинности высказывания. В качестве исходных данных задаются уже
известные истинные высказывания.
