В статье рассмотрена формальная задача синтеза поведения интеллектуальной системы (например, робота) на основе системы логических формул с временным параметром, описывающих знания о системе. Излагается оригинальный алгоритм синтеза, основанный на использовании метода подстановок для переменных состояния системы. С формальной точки зрения суть алгоритма сводится к многократному решению систем булевских уравнений, соответствующих последовательным моментам времени 0, 1, 2 ..., . tz . Алгоритм ориентирован на конкретное значение z. Приводится сравнительная оценка с известными методами.
