A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration

Interactive configurators are decision support systems assisting users in selecting values for parameters that respect given constraints. The underlying knowledge can be conveniently formulated as a Constraint Satisfaction Problem where the constraints are propositional formulas. The problem of interactive configuration was originally inspired by the product configuration problem with the emergence of the masscustomization paradigm in product manufacturing, but has also been applied to other tasks requiring user interaction, such as specifying services or setting up complex equipment. The user-friendly requirements of complete, backtrack-free and real-time interaction makes the problem computationally challenging. Therefore, it is beneficial to compile the configuration constraints into a tractable representation such as Binary Decision Diagrams (BDD) (Bryant 1986) to support efficient user interaction. The compilation deals with the NPhardness such that the online interaction is in p...

• Type: Conference
• Year: 2006
• Where: AAAI
• Authors: Tarik Hadzic, Henrik Reif Andersen
• Keywords: AAAI 2006, Constraint Satisfaction Problem, Intelligent Agents, Product Configuration Problem, User Interaction