Экспертная система сначала выбирает некоторую
гипотезу из базы знаний, а потом пытается найти свидетельства, которые ей нужны
чтобы либо оставить эту гипотезу, либо отбросить ее совсем. Как называется такая стратегия логического вывода?