Russian ⇄ English

использование обратной цепочки умозаключений stresses
el.	backward chaining
progr.	backward chaining (один из методов поиска решения в экспертных системах. Путь рассуждений идёт от того, что нужно доказать, к фактам, на которых основывается доказательство. При прямой цепочке ход рассуждений начинается от фактов ssn)