Modélisation et résolution du problème de configuration industrielle : utilisation des techniques de satisfaction de contraintes

La configuration de produits et de services devient une fonction incontournable dans les processus de vente et de fabrication des produits adaptes ou particularises a chaque client. L'objet de cette these est d'etudier le probleme de configuration et d'etablir dans quelle mesure le formalisme des problemes de satisfaction de contraintes constitue une aide efficace a sa resolution. Nous proposons, dans un premier temps, une analyse de la problematique de configuration en etudiant les notions de produit configurable, de configuration et de configurateur. Ceci nous permet, d'une part, d'aboutir a�� des definitions generales couvrant la majorite des problematiques industrielles vis-a-vis des problemes de recherche existants. Nous etudions ensuite les formalismes mis en pratique pour l'implementation de configurateurs et particulierement l'approche par programmation, differentes approches logiques (propositionnelle, du premier ordre et descriptive) puis les problemes de satisfaction de contraintes (CSP). Nous nous attardons sur le formalisme CSP qui nous sert de cadre pour proposer une approche originale de modelisation et de resolution des problemes definis dans la premiere partie de nos travaux. Cette approche procede par la representation de l'etat de chaque element du probleme par une variable dediee et par des proprietes liant structurellement les elements du probleme. Nous montrons comment cette variable peut intervenir dans le probleme par le biais de contraintes. Nous concluons sur l'application logicielle derivee de ces travaux.