Aide à la conception : une approche basée sur la satisfaction de contraintes

Design problems: an approach based on constraint satisfaction

• Auteur / Autrice : Philippe Janssen
• Direction : Olivier Cogis
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1990
• Etablissement(s) : Montpellier 2

Mots clés

Mots clés contrôlés

Modèles mathématiques

Synthèse organique

Peptides

Systèmes experts (informatique)

Intelligence artificielle

Résolution de problème -- Informatique

Conception technique -- Informatique

Conception assistée par ordinateur

Résumé

Nous nous interessons a la conception d'objets pertinents sous contraintes. Ces objets sont definis par un ensemble de variables connues a priori et par un ensemble de contraintes de deux types: les contraintes de validite definissant les objets admissibles et les contraintes de preference exprimant les qualites des objets recherches. Nous proposons un formalisme issu des problemes de satisfaction de contraintes (csp): les csp dynamiques. Ce modele est a la base d'une approche interactive d'aide a la conception. Les mecanismes developpes pour cette approche reposent sur les resultats obtenus en satisfaction de contraintes. Une illutration du modele est fournie pour le probleme de la conception de plans de synthese peptidique