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
关键词
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 条
  • [1] Preference-Based Problem Solving for Constraint Programming
    Junker, Ulrich
    [J]. RECENT ADVANCES IN CONSTRAINTS, 12TH ANNUAL ERCIM INTERNATIONAL WORKSHOP, 2008, 5129 : 109 - 126
  • [2] QOCA: A Constraint Solving Toolkit for Interactive Graphical Applications
    Kim Marriott
    Sitt Sen Chok
    [J]. Constraints, 2002, 7 (3-4) : 229 - 254
  • [3] A tableau based constraint solving toolkit for interactive graphical applications
    Marriott, K
    Sen Chok, S
    Finlay, A
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP98, 1998, 1520 : 340 - 354
  • [4] Interactive constraint-aided conceptual design
    O'Sullivan, B
    [J]. AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 2002, 16 (04): : 303 - 328
  • [5] Interactive Activation and Mutual Constraint Satisfaction in Perception and Cognition
    McClelland, James L.
    Mirman, Daniel
    Bolger, Donald J.
    Khaitan, Pranav
    [J]. COGNITIVE SCIENCE, 2014, 38 (06) : 1139 - 1189
  • [6] Constraint solving for inkjet print mask design
    Yen, J
    Carlsson, M
    Chang, M
    Garcia, JM
    Nguyen, H
    [J]. JOURNAL OF IMAGING SCIENCE AND TECHNOLOGY, 2000, 44 (05): : 391 - 397
  • [7] Constraint solving for inkjet print mask design
    Yen, J
    Carlsson, M
    Chang, M
    Garcia, JM
    Nguyen, H
    [J]. IS&T'S NIP15: INTERNATIONAL CONFERENCE ON DIGITAL PRINTING TECHNOLOGIES, 1999, : 11 - 14
  • [8] Embedding SMT-LIB into B for Interactive Proof and Constraint Solving
    Krings, Sebastian
    Leuschel, Michael
    [J]. INTEGRATED FORMAL METHODS, IFM 2019, 2019, 11918 : 265 - 283
  • [9] Preference level interactive method for solving multiobjective fuzzy programming problems
    Mohan, C
    Nguyen, HT
    [J]. ASIA-PACIFIC JOURNAL OF OPERATIONAL RESEARCH, 1999, 16 (01) : 63 - 86
  • [10] Geometric constraint solver for interactive design of line drawings
    Sakai, Kensaku
    Ohmasa, Takashi
    Nishihara, Seiichi
    [J]. Transactions of the Japanese Society for Artificial Intelligence, 2001, 16 (02) : 167 - 174