Optimization Problem Formulation In Artificial Intelligence