Итерационный метод решения логических задач  делает невозможным возврат решения к исходной точке, как это делает любая математическая логика сегодня. И не дает возможности проведения сквозных преобразований решений.

Если решение задачи началось, то у него есть только один путь – к результату. От итерации к итерации. По этой причине появилось моделирование решения задачи. И прогнозирование его результата.

Модели решения с прогнозируемым результатом составляют набор возможных решений для выбора исполняемого варианта решения. Модели составляют набор резервных решений на случай неудачи исполняемого решения.

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

Это стандартный подход к решению.