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