Constraint solving and preference activation for interactive design

被引：11
|
作者：
Lottaz, C
Stalker, R
Smith, I
机构：
[1] Swiss Fed Inst Technol, EPFL, Inst Struct Engn & Mech, IMAC,ISS,Dept Civil Engn, CH-1015 Lausanne, Switzerland
[2] Swiss Fed Inst Technol, EPFL, LIA, DI,Comp Sci Dept,IN Ecublens, CH-1015 Lausanne, Switzerland
来源：
AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING | 1998年 / 12卷 / 01期
关键词：
constraint solving; preferences; interactive design;
D O I：
10.1017/S0890060498121133
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This article contains a description of a constraint solver that determines complete solution spaces. These spaces are defined by sets of constraints in continuous variables. Interactive design is supported through improvements to existing algorithms that have increased system performance. In addition, heuristics for activating the best set of preferred constraints for a design task are presented, and two ways are proposed for interactively exploring design alternatives. IDIOM is an application framework that has successfully tested these algorithms for interactive apartment layout design.
引用
收藏
页码：13 / 27
页数：15
相关论文
共 50 条
  • [41] Solving Sudoku with Constraint Programming
    Crawford, Broderick
    Castro, Carlos
    Monfroy, Eric
    [J]. CUTTING-EDGE RESEARCH TOPICS ON MULTIPLE CRITERIA DECISION MAKING, PROCEEDINGS, 2009, 35 : 345 - +
  • [42] Symbolic Automata Constraint Solving
    Veanes, Margus
    Bjorner, Nikolaj
    de Moura, Leonardo
    [J]. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 640 - 654
  • [43] Predictive Constraint Solving and Analysis
    Almaawi, Alyas
    Dini, Nima
    Yelen, Cagdas
    Gligoric, Milos
    Misailovic, Sasa
    Khurshid, Sarfraz
    [J]. 2020 IEEE/ACM 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2020), 2020, : 109 - 112
  • [44] Program Analysis as Constraint Solving
    Gulwani, Sumit
    Srivastava, Saurabh
    Venkatesan, Ramarathnam
    [J]. PLDI'08: PROCEEDINGS OF THE 2008 SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN & IMPLEMENTATION, 2008, : 281 - +
  • [45] Program analysis as constraint solving
    Gulwani, Sumit
    Srivastava, Saurabh
    Venkatesan, Ramarathnam
    [J]. ACM SIGPLAN NOTICES, 2008, 43 (06) : 281 - 292
  • [46] Herbrand constraint solving in HAL
    Demoen, P
    de la Banda, MG
    Harvey, W
    Marriott, K
    Stuckey, PJ
    [J]. LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 260 - 274
  • [47] WaveFunctionCollapse is Constraint Solving in the Wild
    Karth, Isaac
    Smith, Adam M.
    [J]. PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF DIGITAL GAMES (FDG'17), 2017,
  • [48] Constraint Solving for Proof Planning
    Jürgen Zimmer
    Erica Melis
    [J]. Journal of Automated Reasoning, 2004, 33 : 51 - 88
  • [49] A Multicore Tool for Constraint Solving
    Amadini, Roberto
    Gabbrielli, Maurizio
    Mauro, Jacopo
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 232 - 238
  • [50] Internal constraint problem solving
    不详
    [J]. AUTONOMOUS DYNAMIC RECONFIGUATION IN MULT-AGENT SYSTEMS, 2002, 2427 : 167 - 189
12345