Problem formulation in AI