Как называется метод дедуктивного логического вывода, при котором процесс интерпретации правил начинается с
правил, непосредственно приводящих к решению задачи?

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.