backward chaining inference engine(механизм логического вывода от целевой гипотезы (цели, т.е. того, что нужно доказать) к исходным посылкам (к фактам, на которых будет основываться доказательство) Alex_Odeychuk)
goal driven(логический вывод в экспертной системе от целевой гипотезы (от того, что нужно доказать) к исходным посылкам (к фактам, на которых основывается доказательство) Alex_Odeychuk)
backward chaining(логический вывод в экспертной системе от целевой гипотезы (от того, что нужно доказать) к исходным посылкам (к фактам, на которых основывается доказательство) Alex_Odeychuk)