с обратным логическим выводом(логический вывод в экспертной системе от целевой гипотезы (от того, что нужно доказать) к исходным посылкам (к фактам, на которых основывается доказательство) Alex_Odeychuk)
доказательство цели(требующее построения цепочки правил (в логическом программировании); из кн.: Люгер Дж.Ф. Искусственный интеллект: стратегии и методы решения сложных проблем / Пер. с англ Alex_Odeychuk)