Logic-Based Methods for Optimization
Logic-Based Methods for Optimization
复制标题
DOI：
10.1002/9781118033036
复制
发表时间：
2000-05
影响因子：
1.1
通讯作者：
John N. Hooker
中科院分区：
文献类型：
--
作者：
John N. Hooker
本文提出了一种基于逻辑的优化方法，该方法结合了数学规划和逻辑规划的求解方法。从数学规划中，它借鉴了利用具有基于逻辑的类比的结构的策略。它从逻辑编程中借鉴了传统数学规划框架中无法获得的提取信息的方法。基于逻辑的方法还提供了一种统一的方法来解决具有定量和逻辑约束的优化问题。
This paper proposes a logic-based approach to optimization that combines solution methods from mathematical programming and logic programming. From mathematical programming it borrows strategies for exploiting structure that have logic-based analogs. From logic programming it borrows methods for extracting information that are unavailable in a traditional mathematical programming framework. Logic-based methods also provide a unified approach to solving optimization problems with both quantitative and logical constraints.