Exploitation de la relation de substituabilité pour la résolution des CSP

: In [FRE 91], Freuder has defined the notion of interchangeability on values in a CSP, whose purpose is to reduce the size of the problem without losing any solution. He also defined related and weaker notions, as subsitutability. This paper explores this latter notion in several ways: first the partial orders on domain values induced by the substitutability relation are emphasized and used to reduce the size of the problem without losing its satisfiability (but some solutions may be lost); finally weaker forms of this notion are presented and used to improve classical resolution methods like backtracking and forward-checking. MOTS-CLE S: Problemes de satisfaction de contraintes, pre-ordres partiels. KEY WORDS: Constraint satisfaction problems, partial pre-orders. 1. Introduction Les problemes de satisfaction de contraintes constituent un outil interessant de mode lisation pour beaucoup de problemes d'intelligence artificielle et de problemes d'optimisation. Malheureusement, de te..

Représentation et traitement pratique de la flexibilité dans les problèmes sous contraintes

* INRA - Unité de Biométrie, Centre de Toulouse (FRA) Diffusion du document : INRA - Unité de Biométrie, Centre de Toulouse (FRA)National audienceEn premier lieu, après un rapide rappel des principales définitions relatives aux CSP, nous donnons une description des applications nécessitant ou ayant nécessité une extension du formalisme classique. Différentes origines de la flexibilité sont ensuite recensées en s'appuyant sur ces applications ; on distingue principalement les causes suivantes : existence de préférences, nature imprécise et incertaine des connaissances, complexité d'un problème nécessitant une hiérarchisation et évolution dans le temps. Afin d'illustrer ces formes de flexibilité, nous présentons un problème typique d'emploi du temps. Nous abordons ensuite le problème du traitement de la flexibilité. Pour chacune des origines, nous discutons des énoncés de problèmes sous-jacents et des différentes approches envisageables. La conclusion donne une synthèse des besoins soulevés. Une série d'annexes est consacrée à la résolution de CSP flexibles. Après un rapide état de l'art, nous présentons les travaux réalisés par les membres du projet constituant des éléments de réponse pour le traitement de certains cas de flexibilité