A Theoretical Framework for Tradeoff Generation using Soft Constraints. Bistarelli, S. & Barry, O. 2004. abstract bibtex 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 definition of substitutability for soft constraints upon which we present a relaxed definition of tradeoffs.
@conference{
11391_143136,
author = {Bistarelli, Stefano and Barry, O'Sullivan},
title = {A Theoretical Framework for Tradeoff Generation using Soft Constraints},
year = {2004},
publisher = {SPRINGER-VERLAG LONDON LTD, SWEETAPPLE HOUSE CATTESHALL RD FARNCOMBE, GODALMING GU7 1NH, SURREY, ENGLAND},
volume = {XX},
booktitle = {Research and Development in Intelligent Systems},
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 definition of substitutability for soft constraints upon which we present a relaxed definition of tradeoffs.},
pages = {69--82}
}
Downloads: 0
{"_id":"mzAwCamsGMb3aSCY9","bibbaseid":"bistarelli-barry-atheoreticalframeworkfortradeoffgenerationusingsoftconstraints-2004","author_short":["Bistarelli, S.","Barry, O."],"bibdata":{"bibtype":"conference","type":"conference","author":[{"propositions":[],"lastnames":["Bistarelli"],"firstnames":["Stefano"],"suffixes":[]},{"propositions":[],"lastnames":["Barry"],"firstnames":["O'Sullivan"],"suffixes":[]}],"title":"A Theoretical Framework for Tradeoff Generation using Soft Constraints","year":"2004","publisher":"SPRINGER-VERLAG LONDON LTD, SWEETAPPLE HOUSE CATTESHALL RD FARNCOMBE, GODALMING GU7 1NH, SURREY, ENGLAND","volume":"XX","booktitle":"Research and Development in Intelligent Systems","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 definition of substitutability for soft constraints upon which we present a relaxed definition of tradeoffs.","pages":"69–82","bibtex":"@conference{\n\t11391_143136,\n\tauthor = {Bistarelli, Stefano and Barry, O'Sullivan},\n\ttitle = {A Theoretical Framework for Tradeoff Generation using Soft Constraints},\n\tyear = {2004},\n\tpublisher = {SPRINGER-VERLAG LONDON LTD, SWEETAPPLE HOUSE CATTESHALL RD FARNCOMBE, GODALMING GU7 1NH, SURREY, ENGLAND},\n\tvolume = {XX},\n\tbooktitle = {Research and Development in Intelligent Systems},\n\tabstract = {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 definition of substitutability for soft constraints upon which we present a relaxed definition of tradeoffs.},\n\tpages = {69--82}\n}\n","author_short":["Bistarelli, S.","Barry, O."],"key":"11391_143136","id":"11391_143136","bibbaseid":"bistarelli-barry-atheoreticalframeworkfortradeoffgenerationusingsoftconstraints-2004","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"conference","biburl":"http://www.dmi.unipg.it/~bista/papers/pubblicazioni.bib","dataSources":["GhB5rb8JzW6az3exo"],"keywords":[],"search_terms":["theoretical","framework","tradeoff","generation","using","soft","constraints","bistarelli","barry"],"title":"A Theoretical Framework for Tradeoff Generation using Soft Constraints","year":2004}