Sciweavers

Share
MOZ
2004
Springer

Implementing Semiring-Based Constraints Using Mozart

10 years 3 days ago
Implementing Semiring-Based Constraints Using Mozart
Abstract. Although Constraint Programming (CP) is considered a useful tool for tackling combinatorial problems, its lack of flexibility when dealing with uncertainties and preferences is still a matter for research. Several formal frameworks for soft constraints have been proposed within the CP community: all of them seem to be theoretically solid, but few practical implementations exist. In this paper we present an implementation for Mozart of one of these frameworks, which is based on a semiring structure. We explain how the soft constraints constructs were adapted to the propagation process that Mozart performs, and show how they can be transparently integrated with current Mozart hard propagators. Additionally, we show how over-constrained problems can be successfully relaxed and solved, and how preferences can be added to a problem, while keeping the formal model as a direct reference.
Alberto Delgado, Carlos Alberto Olarte, Jorge Andr
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where MOZ
Authors Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda
Comments (0)
books