машина логического вывода
Inference engine, inferencing engine, inference machine
Источник:
Полный русско-английский словарь
на Gufo.me
Inference engine, inferencing engine, inference machine