|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 16 gevonden artikelen
| Titel: |
A constraint solver for model-based engineering |
| Auteur: |
Jakob Mauss Frank Seelisch Mugur Tătar |
| Verschenen in: |
AI communications |
| Paginering: | Jaargang 17 (2004) nr. 2 pagina's 75-92 |
| Jaar: |
2004-07-08 |
| Inhoud: |
Model-based applications in engineering, such as configuration, diagnosis or interactive decision-support systems, require embedded constraint solvers with challenging capabilities. They do not only demand classical services as consistency checking and solving, but also the computation of minimal conflicts and explanations. Moreover, modelling engineered systems makes often use of expressive constraint languages, which mix continuous and discrete variable domains, linear and non-linear equations, inequalities, and even procedural constraints. A positive feature of typical engineered systems is, however, that their corresponding constraint models have a bounded and even relatively small density (induced width). We present here a relational framework for constraint solving $\mathbb{RCS} $ that has been specifically designed to address these requirements. $\mathbb{RCS} $ is based on problem decomposition and variable elimination, exploiting the low-density property. To analyse a set of constraints $\mathbb{RCS} $ builds a so-called aggregation tree by joining the input constraints and eliminating certain variables after every single join. The aggregation tree is used by a set of conceptually simple algorithms to incrementally check consistency, compute solutions, minimal conflicts and explanations. We also report experimental results obtained with a prototype implementation of this framework. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 16 gevonden artikelen
| volgende >> |