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