Interactive Configuration using Constraint Satisfaction Techniques1

AAAI Fall Symposium - Technical Report

Volumn FS-96-03, Issue , 1996, Pages 37-44

  Gelle, Esther ^a   Weigel, Rainer ^a  

^a EPFL   (Switzerland)

Author keywords

in cremental constraint satisfaction; interactive configuration and design; Rule based vs. constraint based configuration

Indexed keywords

COMPUTER AIDED DESIGN; CONSTRAINT SATISFACTION PROBLEMS; LIFE CYCLE; MAINTENANCE;

CAD SYSTEM; CONFIGURATION SYSTEM; CONSTRAINT SATISFACTION; CONSTRAINT-BASED; CONSTRAINT-BASED CONFIGURATION; IN- CREMENTAL CONSTRAINT SATISFACTION; INTELLIGENT CAD; INTERACTIVE CONFIGURATION AND DESIGN; RULE BASED; RULE-BASED VS.;

KNOWLEDGE REPRESENTATION;

EID: 85169589728     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. Mittal, S. and Falkenhainer, B. (1990) Dynamic Constraint Satisfaction Problems. Proc. of AAAI-90, 25-32
2. Faltings, B. and Weigel, R. (1994) Constraint-based knowledge representation for configuration systems. Technical Report TR-94/95, L1A-DI, EPFL, Lausanne, CH
3. Haroud, D. (1995) Global Consistency for Continuous Constraints. Phd thesis, LIA-DI, EPFL, Lausanne, CH
4. Haroud, D., Boulanger, S., Gelle, E. and Smith, I. (1995) Strategies for Conflict Management in Pre- liminary Engineering Design. AIEDAM Special Issue on Conflict Management in Design, 313-323
5. Stumptner, M., Haselbock, A. and Friedrich, G. (1994) COCOS, A Tool for Constraint-Based, Dynamic Configuration. Proc. of the 10th IEEE Conference on AI Applications, 373-380
6. Mackworth, A.K. and Freuder, E.C. (1985) The Complexity of some Polynomial Network-Consistency Algorithms for Constraint-Satisfaction Problems. Artificial Intelligence, 25, 65-73
7. Mohr, R. and Henderson, T (1986) Arc and Path Consistency Revisited. Artificial Intelligence, 28, 225-233