backward chaining

Обратное построение цепочки (напр., рассуждений от целевой гипотезы к исходным посылкам); обратный (логический) вывод (в экспертных системах)