Contraintes globales et heuristiques de recherche pour les CSPs continus

par Heikel Batnini

Thèse de doctorat en Informatique

Sous la direction de Michel Rueher et de Claude Michel.

Soutenue en 2005

à Nice .


  • 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.

  • Titre traduit

    Global constraints and splitting strategies for solving continuous CSP


  • Résumé

    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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (118 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 111-118

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Bibliothèque Sciences.
  • Disponible pour le PEB
  • Cote : 05NICE4051
  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Bibliothèque Sciences.
  • Non disponible pour le PEB
  • Cote : 05NICE4051bis
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.