Машина логического вывода

Машина логического вывода

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

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

Данный текст является ознакомительным фрагментом.