Математическая формализация оптимизационных задач на основе технологии искусственного интеллектатезисы доклада