Other formats:
BibTeX
LaTeX
RIS
@inproceedings{486787, author = {Rudová, Hana}, address = {Menlo Park, California (USA)}, booktitle = {FLAIRS'03, Recent Advances in Artificial Intelligence: Proceedings of the Sixteenth International FLAIRS Conference}, keywords = {soft constraints; solver; constraint satisfaction; constraint logic programming}, language = {eng}, location = {Menlo Park, California (USA)}, isbn = {1-57735-177-0}, pages = {202-206}, publisher = {AAAI Press}, title = {Soft CLP(FD)}, url = {http://www.fi.muni.cz/~hanka/publications.html}, year = {2003} }
TY - JOUR ID - 486787 AU - Rudová, Hana PY - 2003 TI - Soft CLP(FD) PB - AAAI Press CY - Menlo Park, California (USA) SN - 1577351770 KW - soft constraints KW - solver KW - constraint satisfaction KW - constraint logic programming UR - http://www.fi.muni.cz/~hanka/publications.html N2 - 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. ER -
RUDOVÁ, Hana. Soft CLP(FD). In \textit{FLAIRS'03, Recent Advances in Artificial Intelligence: Proceedings of the Sixteenth International FLAIRS Conference}. Menlo Park, California (USA): AAAI Press, 2003, p.~202-206. ISBN~1-57735-177-0.
|