Вопрос, который вызвал трудности

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

Ответ экспертов Учись.Ru

Чтобы дать полноценный ответ, был привлечён специалист, который хорошо разбирается в теме.

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

  • Ответ: логического вывода