Logic, optimization, and constraint programming

被引：84
|
作者：
Hooker, JN [1 ]
机构：
[1] Carnegie Mellon Univ, Grad Sch Ind Adm, Pittsburgh, PA 15213 USA
来源：
INFORMS JOURNAL ON COMPUTING | 2002年 / 14卷 / 04期
关键词：
optimization; constraint programming; logic-based methods; artificial intelligence;
D O I：
10.1287/ijoc.14.4.295.2828
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Because of their complementary strengths, optimization and constraint programming can be profitably merged. Their integration has been the subject of increasing commercial and research activity. This paper summarizes and contrasts the characteristics of the two fields; in particular, how they use logical inference in different ways, and how these ways can be combined. It sketches the intellectual background for recent efforts at integration. It traces the history of logic-based methods in optimization and the development of constraint programming in artificial intelligence. It concludes with a review of recent research, with emphasis on schemes for integration, relaxation methods, and practical applications.
引用
收藏
页码：295 / 321
页数：27
相关论文
共 50 条
  • [21] Temporal logic and annotated constraint logic programming
    Fruhwirth, T
    EXECUTABLE MODAL AND TEMPORAL LOGICS, 1995, 897 : 58 - 68
  • [22] On integrating Constraint Logic Programming and Integer Programming
    Appa, G
    Mourtos, I
    Magos, D
    6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCI I, 2002, : 140 - 145
  • [23] Polynomial-time learning in logic programming and constraint logic programming
    Sebag, M
    Rouveirol, C
    INDUCTIVE LOGIC PROGRAMMING, 1997, 1314 : 105 - 126
  • [24] ASP-DPOP: Solving Distributed Constraint Optimization Problems with Logic Programming
    Le, Tiep
    Son, Tran Cao
    Pontelli, Enrico
    Yeoh, William
    AAMAS'14: PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS, 2014, : 1337 - 1338
  • [25] Cooperative constraint functional logic programming
    Marin, M
    Ida, T
    Suzuki, T
    INTERNATIONAL SYMPOSIUM ON PRINCIPLES OF SOFTWARE EVOLUTION, PROCEEDINGS, 2000, : 214 - 220
  • [26] Constraint Logic Programming and scheduling problems
    Varnier, C
    Baptiste, P
    INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2942 - 2946
  • [27] CONSTRAINT LOGIC PROGRAMMING-LANGUAGES
    COHEN, J
    COMMUNICATIONS OF THE ACM, 1990, 33 (07) : 52 - 68
  • [28] CONSTRAINT LOGIC PROGRAMMING AND OPTION TRADING
    LASSEZ, C
    MCALOON, K
    YAP, R
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1987, 2 (03): : 42 - 50
  • [29] Integrating answer set programming and constraint logic programming
    Veena S. Mellarkod
    Michael Gelfond
    Yuanlin Zhang
    Annals of Mathematics and Artificial Intelligence, 2008, 53 : 251 - 287
  • [30] Quantifier elimination for constraint logic programming
    Sturm, T
    COMPUTER ALGEBRA IN SCIENFIFIC COMPUTING, PROCEEDINGS, 2005, 3718 : 416 - 430
12345