Русский ⇄ Английский

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