Abstraction de réseaux de contraintes
Abstraction of constraint networks
Dans ce papier, nous nous intéressons à l'abstraction de réseaux de contraintes. Nous présentons un cadre théorique permettant de prendre en compte des formes d'abstraction classiques et originales. Ces formes correspondent respectivement aux notions de regroupement simple et général de valeurs et/ou de variables. Contrairement à un regroupement simple, un regroupement général ne se fonde pas sur une partition mais sur la possibilité pour une valeur ou une variable d'appartenir à plusieurs groupes. Nous illustrons, à l'aide de deux problèmes représentatifs, l'avantage de la technique de regroupement général qui permet une formulation plus naturelle (et plus simple) de l'abstraction. Pour montrer l'intérêt de cette technique, nous présentons quelques résultats expérimentaux obtenus à l'aide du solveur AbsCon.
In this paper, we propose an original and unifying framework in order to deal with abstraction of constraint networks. In this framework, classical and original forms of abstraction can be taken into account. Classical forms correspond to (simple) value or/and variable clustering whereas original forms correspond to general clustering where "general" means that some clusters share some elements (values or variables). We show the declarative interest of general clustering by describing two representative problems, and its practical interest by solving these problems with a solver called AbsCon.
S.MERCHEZ, C.LECOUTRE, F.BOUSSEMART
abstraction, problème de satisfaction de contrainte, regroupement général.
abstraction, constraint satisfaction problem, general clustering.
Français
|
