BACKWARD CHAINING
обратная цепочка рассуждений, цепочка обратного [логического] вывода один из методов поиска решения в экспертных системах. Путь рассуждений идёт от того, что нужно доказать, к фактам, на которых основывается доказательство. При прямой цепочке ход рассуждений начинается от фактов ср. forward chaining, см. тж. expert system