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