login
english version rss feed
Detailed view PhD thesis
Ecole Nationale des Ponts et Chaussées (16/11/1990), Jacques RILLING (Dir.)
Attached file list to this document: 
PDF
1990TH_DUONG_VN_NS14043.pdf(6.4 MB)
La résolution des réseaux de contraintes algébriques et qualitatives : une approche d'aide à la conception en ingéniérie
Vu Nguyen Duong1

La thèse est que la représentation par contraintes, en terme de langage et la déduction par la gestion automatique des réseaux de contraintes est une voie adéquate pour les systèmes d'aide à la conception en ingénierie. Deux techniques de l'Intelligence Artificielle à savoir la Propagation de Contraintes et le Raisonnement Qualitatif sont abordées. La Propagation de Contraintes est un mécanisme d'inférences déductives sur les réseaux de contraintes. Ce mécanisme présente plusieurs difficultés, particulièrement dans les calculs pas-à-pas de la résolution des relations entre valeurs des variables. Pour améliorer ce mécanisme, il est proposé dans le présente travail des algorithmes de filtrage sur la consistance locale dans des réseaux de contraintes algébriques n-aires. Ainsi, le concept de réseaux dynamiques est exploité comme un module d'aide à la conception. Le Raisonnement Qualitatif permet aux concepteurs d'analyser les modèles quand la connaissance est incomplète. L'approche de la Simulation Qualitative est proposée. L'adéquation de celle-ci est illustrée par d'une part, la représentation de connaissances incomplètes en termes de contraintes qualitatives, et d'autre part, sa capacité de saisir les comportements qualitatifs possibles des modèles. Un ensemble de logiciels est développé et leur efficacité démontrée sur des cas simples.
1:  CSTB - Centre Scientifique et Technique du Bâtiment
intelligence artificielle – ingénierie – réseau de contraintes – propagation de contraintes – algorithme de filtrage – physique qualitative – raisonnement qualitatif – simulation qualitative – conception assistée par ordinateur – CAO – algorithme – filtrage – contrainte – représentation connaissances – modélisation – moteur inférence – logiciel – modèle mathématique – identification – raisonnement mathématique

Not available

all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...