Машина логического вывода — программа, которая моделирует механизм рассуждений и оперирует данными и знаниями с целью обнаружения новых данных из других данных и знаний, расположенных в рабочей памяти.
Как правило, машина логического вывода применяет программно реализованный механизм дедуктивного логического вывода, либо механизм поиска решения в семантической сети или сети фреймов.