обратная цепочка рассуждений, цепочка обратного [логического] вывода один из методов поиска решения в экспертных системах. Путь рассуждений идёт от того, что нужно доказать, к фактам, на которых основывается доказательство. При прямой цепочке ход рассуждений начинается от фактов Смотри также: expert system Антоним(ы): forward chaining
An algorithm for proving a goal by recursively breaking it down into sub-goals and trying to prove these until facts are reached. Facts are goals with no sub-goals which are therefore always true. Backward training is the program execution mechanism used by most logic programming language like Prolog. Opposite: forward chaining.