Conception et approches par propagation de contraintes : contribution à la mise en oeuvre d'un outil d'aide interactif
Auteur / Autrice : | Elise Vareilles |
Direction : | Michel Aldanondo |
Type : | Thèse de doctorat |
Discipline(s) : | Génie industriel |
Date : | Soutenance en 2005 |
Etablissement(s) : | Toulouse, INPT |
Mots clés
Résumé
Les travaux présentés dans cette thèse s'inscrivent dans une problématique d'aide à la conception interactive de procédés. L'outil d'aide à la conception repose sur un modèle à base de connaissances décrit comme un problème de satisfaction de contraintes (CSP). La recherche de solutions étant interactive, cet outil exploite les méthodes de filtrage des CSP. La diversité des connaissances à exploiter nous conduit à intégrer différents types de CSP (discrets, continus, mixtes, dynamiques) ainsi que leurs méthodes de filtrage (arc-cohérence, 2B-cohérence, discrétisation). La prise en compte d'abaques expérimentaux 2D dans les modèles à base de contraintes, nécessite l'utilisation d'une structure de données nommée arbre quaternaire. L'intégration de cette structure de données ne pose pas de problème particulier pour les abaques décrits par des contraintes numériques continues. Nous l'étendons pour prendre en compte les abaques décrits par des contraintes mumériques définies par morceaux.