Без заголовка

Я боюсь, вы что-то недопоняли. Классификации и продукции у меня не противопоставляются, это из одного лагеря. Я противопоставляю, например, байесовский (статистический) вывод и продукционный (логический) вывод. Вот они из разных лагерей. Backtracking и backpropagation совсем, совсем разные звери ;)