В предельном случае ему будет достаточно задать формальный критерий успешности решения и предложить задачу ИИ.
