[вычислительная техника] машина или механизм логического вывода, дедуктивная машина
механизм (метод) [логического] вывода, машина логического вывода в ИИ - часть экспертной системы, которая соотносит информацию от пользователя с известными фактами и правилами вывода, хранящимися в базе знаний, и вырабатывает результат, на котором затем основывается решение, предлагаемое экспертной системой. Обычно активизируется оболочкой ЭС Смотри также: expert system, knowledge base
A program that infers new facts from known facts using inference rules. Commonly found as part of a Prolog interpreter, expert system or knowledge based system.