backward chaining — обратная цепочка рассуждений, цепочка обратного [логического] вывода # один из методов поиска решения в экспертных системах. Путь рассуждений идёт от того, что нужно доказать, к фактам, на которых основывается доказательство. При прямой цепочке ход рассуждений начинается от фактов.
[Пройдаков Э.М., Англо-русский толковый словарь по робототехнике и искусственному интеллекту / Э. М. Пройдаков, Л. А. Теплицкий. — Москва; Берлин. Директ-Медиа, 2019. — 261 с.]