backward chaining

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

Источник: Полный англо-русский словарь на Gufo.me