Informace o publikaci
Soft CLP(FD)
| Autoři | |
|---|---|
| Rok publikování | 2003 |
| Druh | Článek ve sborníku |
| Konference | FLAIRS'03, Recent Advances in Artificial Intelligence: Proceedings of the Sixteenth International FLAIRS Conference |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://www.fi.muni.cz/~hanka/publications.html |
| Obor | Využití počítačů, robotika a její aplikace |
| Klíčová slova | soft constraints; solver; constraint satisfaction; constraint logic programming |
| Popis | Over-constrained problems can be solved with the help of soft constraints. Weighted constraints are a typical representation of soft constraints used to minimize weights of unsatisfied constraints. A natural extension of the CLP(FD) approach is presented which allows handling of weighted soft constraints. To achieve this goal, the costs associated with unsatisfied constraints is accumulated for each problem variable and its value. For the approach proposed, implementation of the soft constraint solver on top of the existing CLP(FD) library of SICStus Prolog is described. A large scale timetabling implementation demonstrates practical application of the approach presented. |
| Související projekty: |