The techniques are classified as either local typically gradientbased or global typically nongradient based or evolutionary. This paper proposes a logicbased approach to optimization that combines solution methods from mathematical programming and logic programming. Inventory optimization in supply chain management using. A comprehensive survey of the literature on the cooperation of logic based, con. A pioneering look at the fundamental role of logic in optimization and constraint satisfaction. From mathematical programming it borrows strategies for exploiting structure that have logicbased analogs. Pdf logicbased methods for optimization researchgate. The purpose of the following sections is to exhibit optimization algorithms that can be used for multiplequery optimization either as plan mergers or as global optimizers. After the connection has been made such that the optimization software can talk to the engineering model, we specify the set of design variables and objectives and constraints.
Optimization, constraint programming, logicbased methods, artificial intelligence. Yet no generally accepted principle or scheme for their merger has evolved. It is conceivable that portions of both will merge into a. There is nothing new about logicbased techniques for optimization. The standard form of the general nonlinear, constrained optimization problem is presented, and various techniques for solving the resulting optimization problem are discussed. Global optimization methods can generally be classified as stochastic and deterministic. Inventory optimization application aids in the enhancement of inventory control and its management across an extended supply network, which organizes the latest techniques and technologies. We propose a scheme based on two fundamental dualities. Comparing time streams of economic benefits and costs.
Pdf this paper proposes a logicbased approach to optimization that combines. Future perspective on optimization ignacio grossmann. Interpretation of lagrange multipliers as shadow prices. We also indicate how semantic query optimization techniques can be extended to databases. Optimization of inventory strategies to enhance customer service, reduce lead times and costs and meet market demand 3, 15. Logicbased methods also provide a unified approach to solving optimization.
Logic, optimization and constraint programming carnegie mellon. Optimization as well as constraint satisfaction methods can be seen as exploiting these dualities in their respective ways. Lagrangian methods general formulation of constrained problems. Alternative plans, p, may involve different benefits and costs over time. This approach can combine some of the problemsolving wisdom accumulated by mathematical programmers with techniques and insights from constraint pro. Optimization methods in 1122012 dsp 26 class algorithm function q q comp.
1115 197 899 1544 852 245 518 294 681 584 671 320 152 1259 797 359 140 491 1231 876 574 151 204 448 652 881 375 672 1556 708 472 35 1060 1460 815 110 1018 1319 541 1114 317 1342 967 768