Terms for subject Artificial intelligence containing backward-chaining inference

English	Russian
backward chaining inference	обратный логический вывод (Alex_Odeychuk)
backward chaining inference engine	механизм обратного логического вывода (механизм логического вывода от целевой гипотезы (цели, т.е. того, что нужно доказать) к исходным посылкам (к фактам, на которых будет основываться доказательство) Alex_Odeychuk)
backward-chaining inference	обратный логический вывод (Alex_Odeychuk)
backward-chaining inference engine	компонент дедуктивного вывода (Alex_Odeychuk)
backward-chaining inference engine	машина обратного логического вывода (Alex_Odeychuk)
forward and backward chaining inference based rules engine	машина обработки правил с прямым и обратным логическим выводом (Alex_Odeychuk)
support forward and backward chaining inference in a real-time environment	обеспечивать поддержку прямого и обратного логического вывода в реальном времени (Alex_Odeychuk)
with a forward and backward chaining inference	с прямым и обратным логическим выводом (Alex_Odeychuk)