D 2003

Soft CLP(FD)

RUDOVÁ, Hana

Základní údaje

Originální název

Soft CLP(FD)

Autoři

RUDOVÁ, Hana (203 Česká republika, garant)

Vydání

Menlo Park, California (USA), FLAIRS'03, Recent Advances in Artificial Intelligence: Proceedings of the Sixteenth International FLAIRS Conference, s. 202-206, 2003

Nakladatel

AAAI Press

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

20200 2.2 Electrical engineering, Electronic engineering, Information engineering

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Kód RIV

RIV/00216224:14330/03:00008038

Organizační jednotka

Fakulta informatiky

ISBN

1-57735-177-0

Klíčová slova anglicky

soft constraints; solver; constraint satisfaction; constraint logic programming
Změněno: 25. 5. 2004 16:03, doc. Mgr. Hana Rudová, Ph.D.

Anotace

V originále

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.

Návaznosti

GA201/01/0942, projekt VaV
Název: Pokročilé plánování a rozvrhování
Investor: Grantová agentura ČR, Pokročilé plánování a rozvrhování