И/ИЛИ граф.

Условие правила «если-то» может быть сложным высказыванием.
В конкретной задаче заключение одного правила может быть условием (или частью условия) другого правила.
Все правила задачи можно объединить в И/ИЛИ граф – ориентированный, у которого вершины – это высказывания, а ребра – правила. Ребра направлены от условий к заключениям.

Ребра, соответствующие сложным условиям правил, соединяются дугами И или ИЛИ.
В конкретной задаче заключение одного правила может быть условием (или частью условия) другого правила.
Например:
Д – идет дождь; ВО – вчера оттепель;
С – тает снег; СМ – сегодня мороз;
М – улицы мокрые; Г – на улице гололедица;
Б – нельзя ехать быстро.
Д
С
ВО
СМ
Г
Б
М
и
или
или

Логический вывод
с помощью И/ИЛИ графа.
Если у компьютера есть И/Или граф, то он может сам делать выводы на основе имеющихся фактов.
Сообщить компьютеру факты – это значит сказать, про какие высказывания-условия точно известно, что они истинны.
Чтобы сказать вывод по И/ИЛИ графу, нужно найти путь от истинных высказываний – условий к высказыванию-заключению.
Например:
Если высказывание «Тает снег» истинно, то путь к заключению «Нельзя ехать быстро»: С М Б.

Иногда фактов бывает недостаточно, чтобы прийти к заключению.
В конкретной задаче заключение одного правила может быть условием (или частью условия) другого правила.
Например:
если ВО истинно, то нельзя прийти к заключению Б.
Для этого надо знать значение высказывания «Сегодня мороз». Если СМ истинно, то можно прийти к заключению Б:
ВО
СМ
Г
Б
и
Итак, для конкретной задачи человек составляет И/ИЛИ граф из правил и сообщает факты, известные в ситуации. Компьютер находит путь в И/ИЛИ графе от фактов к заключениям и сообщает человеку свои выводы.