inference engine

Машина логічного висновку

машина для виконування логічних доведень

Джерело: Англо-український словник технічних термінів на Slovnyk.me