Abstract
Tradeoffs have been proposed in the literature as an approach to resolving over-constrainedness in interactive constraint-based tools, such as product configurators, that reason about user preferences . It has been reported how tradeoffs can be modeled as additional constraints. This paper presents a formal framework for tradeoff generation based on the semiring approach to soft constraints. In particular, user preferences and tradeoffs are represented as soft constraints and as an entailment operator, respectively. The entailment operator is used to interactively generate new constraints representing tradeoffs. We also introduce a novel definit ion of substitutability for soft constraints upon which we present a relaxed definition of tradeoffs.
| Original language | English (Ireland) |
|---|---|
| Title of host publication | Research and Development in Intelligent Systems XX. SGAI 2003 |
| Editors | F. Coenen, A. Preece, A. Macintosh |
| Place of Publication | London |
| Publisher | Springer |
| Pages | 69-82 |
| ISBN (Electronic) | 978-0-85729-412-8 |
| ISBN (Print) | 978-1-85233-780-3 |
| DOIs | |
| Publication status | Published - 2003 |
Keywords
- user preference
- constraint satisfaction problem
- soft constraint
- configuration process
- product configuration