inferencing
Формирование [получение] (логического) вывода; процесс (логического) вывода, (логический) вывод
Источник:
Полный англо-русский словарь
на Gufo.me
Формирование [получение] (логического) вывода; процесс (логического) вывода, (логический) вывод