Contraintes globales et heuristiques de recherche pour les CSPs continus

Global constraints and splitting strategies for solving continuous CSP

• Auteur / Autrice : Heikel Batnini
• Direction : Michel Rueher, Claude Michel
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2005
• Etablissement(s) : Nice
• Ecole(s) doctorale(s) : École doctorale Sciences et technologies de l'information et de la communication (Nice ; 1992-....)

Mots clés

Mots clés contrôlés

Heuristique

Programmation par contraintes

Résumé

Les systèmes de contraintes de distance euclidienne apparaissent dans de nombreux domaines d’applications, comme en robotique, en biochimie moléculaire ou en CAO. Les techniques issues de la programmation par contraintes permettent de résoudre ces problèmes en combinant une technique de bissection avec des méthodes de réduction des domaines (consistances locales ou partielles). Or, ces consistances sont des méthodes systématiques qui ne prennent pas en compte les propriétés spécifiques des contraintes. Nous présentons dans cette thèse deux approches pour la conception d’une contrainte globale pour la résolution de systèmes de contraintes redondantes directement issues de propriétés géométriques du système. La deuxième approche est basée sur l’introduction d’un algorithme de filtrage global dédié aux systèmes d’équations de distance ? Ces travaux ont débouché sur la conception d’une technique de décomposition de domaines qui exploite la structure particulière des contraintes de distance. Enfin nous présentons une généralisation de cette heuristique de recherche à des contraintes numériques quelconques.

Distance constraints are widely used in many applications ranging from robotics to chemistry and CAD. Classical techniques for solving such continuous constraints are based on a branch and prune algorithm which combines domain filtering techniques (local consistencies) and domain splitting. The main drawback of these methods comes from the fact that constraints are handled independently and in a blind way i. E. , local consistencies do not take advantage of the specific semantic properties of the constraints. We introduce in this thesis two approaches for the design of a global constraint for distance relations? The first technique is based on the introduction of redundant constraints directly inferred from geometrical properties of the system. The second approach is a dedicated global filtering algorithm. This work led to the design of a domain decomposition technique which exploits the particular structure of the distance relations. Lastly, we generalize this splitting strategy to a larger class of numerical constraints.