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 adaptés ou particularisés à chaque client. L'objet de cette thèse est d'étudier le problème de configuration et d'établir dans quelle mesure le formalisme des problèmes de satisfaction de contraintes constitue une aide efficace à sa résolution. Nous proposons, dans un premier temps, une analyse de la problématique de configuration en étudiant les notions de produit configurable, de configuration et de configurateur. Ceci nous permet, d'une part, d'aboutir a des définitions générales couvrant la majorité des problématiques industrielles vis-à-vis des problèmes de recherche existants. Nous étudions ensuite les formalismes mis en pratique pour l'implémentation de configurateurs et particulièrement l'approche par programmation, différentes approches logiques (propositionnelle, du premier ordre et descriptive) puis les problèmes de satisfaction de contraintes (CSP). Nous nous attardons sur le formalisme CSP qui nous sert de cadre pour proposer une approche originale de modélisation et de résolution des problèmes définis dans la première partie de nos travaux. Cette approche procède par la représentation de l'état de chaque élément du probléme par une variable dédiée et par des propriétés liant structurellement les éléments du problème. Nous montrons comment cette variable peut intervenir dans le problème par le biais de contraintes. Nous concluons sur l'application logicielle dérivée de ces travaux.TOULOUSE-ENSIACET (315552325) / SudocTARBES-ENIT (654402301) / SudocSudocFranceF