Информационные технологии в управлении

Для решения задач в экспертных системах используется метод ____________________, основанный на технике доказательств, называемой резолюцией и использующей опровержение отрицания (доказательство «от противного»).

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