Английский ⇄ Немецкий Русский +

backward inferencing ударения
автомат.	обратная цепочка умозаключений; обратное логическое умозаключение (в экспертной системе)
Макаров.	обратное логическое умозаключение (в экспертной системе)