EN inference engine
LV izvedummašīna
RU машина логического вывода
Definīcija: Problēmneatkarīga ekspertsistēmas daļa (aparatūra un programmas), kas operē ar zināšanu bāzē uzkrātajiem faktiem un formē izvedumus.
Datu pārraides un apstrādes sistēmas. Angļu-krievu-latviešu skaidrojošā vārdnīca — R., SWH, 1995