Title :
Encoding global constraints in semiring-based constraint solving
Author :
Georget, Yan ; Codognet, Philippe
Author_Institution :
Inst. Nat. de Recherche en Inf. et Autom., Le Chesnay, France
Abstract :
In recent work, a general framework for constraint satisfaction over finite domains has been proposed, based on the concept of semiring-valued constraints. Classical CSPs, fuzzy CSPs, and hierachical CSPs can be easily cast in this general framework. In this paper, we claim that translating any constraint problem into a semiring-based constraint problem makes it possible to express global information about the problem more easily, especially in the case of non-crisp or preference constraints. Applying this concept to the case of set-based semirings, we give a theoretical result and two practical applications developed using clp(FD, S), a full and efficient implementation of semiring-based constraint satisfaction in the CLP paradigm
Keywords :
constraint handling; constraint theory; classical constraint satisfaction problems; constraint satisfaction; finite domains; fuzzy constraint satisfaction problems; global constraint encoding; global information; hierachical constraint satisfaction problems; noncrisp constraints; preference constraints; semiring-based constraint solving; semiring-valued constraints; set-based semirings; Artificial intelligence; Constraint theory; Encoding; Fuzzy logic; Intelligent control; Logic programming; Power system planning; Problem-solving; Scheduling algorithm; Uncertainty;
Conference_Titel :
Tools with Artificial Intelligence, 1998. Proceedings. Tenth IEEE International Conference on
Conference_Location :
Taipei
Print_ISBN :
0-7803-5214-9
DOI :
10.1109/TAI.1998.744878