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