Terms for subject Makarov containing inferencing

English	Russian
backward inferencing	обратное логическое умозаключение (в экспертной системе)
forward inferencing	прямая цепочка умозаключении
forward inferencing	прямое логическое умозаключение (в экспертной системе)