La résolution des réseaux de contraintes algébriques et qualitatives : une approche d'aide à la conception en ingéniérie
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...
Main Author: | |
---|---|
Language: | FRE |
Published: |
Ecole Nationale des Ponts et Chaussées
1990
|
Subjects: | |
Online Access: | http://tel.archives-ouvertes.fr/tel-00520680 http://tel.archives-ouvertes.fr/docs/00/52/06/80/PDF/1990TH_DUONG_VN_NS14043.pdf |
id |
ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-00520680 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-CCSD-oai-tel.archives-ouvertes.fr-tel-005206802013-01-07T17:51:11Z http://tel.archives-ouvertes.fr/tel-00520680 http://tel.archives-ouvertes.fr/docs/00/52/06/80/PDF/1990TH_DUONG_VN_NS14043.pdf La résolution des réseaux de contraintes algébriques et qualitatives : une approche d'aide à la conception en ingéniérie Duong, Vu Nguyen [INFO:INFO_HC] Computer Science/Human-Computer Interaction 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 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. 1990-11-16 FRE PhD thesis Ecole Nationale des Ponts et Chaussées |
collection |
NDLTD |
language |
FRE |
sources |
NDLTD |
topic |
[INFO:INFO_HC] Computer Science/Human-Computer Interaction 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 |
spellingShingle |
[INFO:INFO_HC] Computer Science/Human-Computer Interaction 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 Duong, Vu Nguyen La résolution des réseaux de contraintes algébriques et qualitatives : une approche d'aide à la conception en ingéniérie |
description |
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. |
author |
Duong, Vu Nguyen |
author_facet |
Duong, Vu Nguyen |
author_sort |
Duong, Vu Nguyen |
title |
La résolution des réseaux de contraintes algébriques et qualitatives : une approche d'aide à la conception en ingéniérie |
title_short |
La résolution des réseaux de contraintes algébriques et qualitatives : une approche d'aide à la conception en ingéniérie |
title_full |
La résolution des réseaux de contraintes algébriques et qualitatives : une approche d'aide à la conception en ingéniérie |
title_fullStr |
La résolution des réseaux de contraintes algébriques et qualitatives : une approche d'aide à la conception en ingéniérie |
title_full_unstemmed |
La résolution des réseaux de contraintes algébriques et qualitatives : une approche d'aide à la conception en ingéniérie |
title_sort |
la résolution des réseaux de contraintes algébriques et qualitatives : une approche d'aide à la conception en ingéniérie |
publisher |
Ecole Nationale des Ponts et Chaussées |
publishDate |
1990 |
url |
http://tel.archives-ouvertes.fr/tel-00520680 http://tel.archives-ouvertes.fr/docs/00/52/06/80/PDF/1990TH_DUONG_VN_NS14043.pdf |
work_keys_str_mv |
AT duongvunguyen laresolutiondesreseauxdecontraintesalgebriquesetqualitativesuneapprochedaidealaconceptioneningenierie |
_version_ |
1716397295713386496 |