Inferencing

inferencing engine — машина [механизм] логического вывода
forward inferencing — прямая цепочка умозаключений; прямая цепочка умозаключении
backward inferencing — обратная цепочка умозаключений
inferencing algorithm — алгоритм логического вывода
analogical inferencing — вывод по аналогии
data-driven inferencing — умозаключение, направляемое данными
goal-driven inferencing — умозаключение, направляемое целями
inferencing from examples — вывод на основе примеров
type-inferencing algorithm — алгоритм определения типов (данных)