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