Выводы заканчиваются , когда достигается целевая вершина, либо не осталось применимых правил, а цель не достигнута.

Обратные выводы – выполняются сверху вниз (выводами ориентирующих на цель)

П6 П7

С2 С3

П 1 П2 П3 П4 П5

С 4 С5 С6 С7 С8

F1 F2 F3 F4 F5

Цель – «продолжительность» –цель задаётся именем объекта.

Она сопоставляется с заключением правил и выбирается правило с заключением ,

в которых есть имя объекта. Выбираем правило, которое содержит целевой объект,

мы формируем гипотезу

П7

В процессе гипотеза либо подтверждается либо опровергается. Выводы продолжаются до тех пор, пока какая либо не будет подтверждена, либо не будут исчерпаны все возможные гипотезы.

Используется меньшее количество проверок, т.к. в правиле бывает несколько условий и одно заключение.