Harald Meyer auf'm Hofe: Global Constraints with Fuzzy Extensions
Technical Report SIEDA GmbH, W2002-01.
Abstract:
Undoubtedly, constraint-based reasoning owes a large portion of its
success to the effort that has been spent on the development of global
constraints. This paper enhances a state of the art formalization of
soft constraints by a notion of global constraints. As a result,
formalizations common to the constraint satisfaction community are able
to concern specifications of algorithms which are specialized on the
propagation of certain global constraints. It turns out, that - on
constraint-based optimization - parts of the constraint satisfaction
community and people that develop and apply constraint programming
tools to real world applications use quite different notions of
constraint propagation. This paper introduces a formalization (and
examples) for propagating fuzzy global constraints in a reduced but
practicable fashion. This shallow kind of propagation is compared to
constraint propagation which is common in formalizations like valued
CSP or semi-ring-based constraint optimization referring to
backtracking search and the fixed point of propagation.
|
Impressum
