Aide à la conception : une approche basée sur la satisfaction de contraintes
par Philippe Janssen
Thèse de doctorat en Informatique
Sous la direction de Olivier Cogis.
Soutenue en 1990
à Montpellier 2 .
- Conception assistée par ordinateur
- Conception technique -- Informatique
- Résolution de problème -- Informatique
- Intelligence artificielle
- Systèmes experts (informatique)
- Peptides
- Synthèse organique
- Modèles mathématiques
mots clés
-
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
-
Titre traduit
Design problems: an approach based on constraint satisfaction
-
Pas de résumé disponible.
