Integration d'outils pour l'expression et la satisfaction de contraintes dans un generateur de systemes experts
Abstract
Les langages à base de contraintes apparaissent comme des outils efficaces pour la modélisation, la simulation et la résolution de problèmes. L'intégration d'un système de gestion de contraintes à base de dépendances dans un générateur de systèmes experts renforce la puissance de chacun des deux outils. Néanmoins, les langages de contraintes classiques se révèlent mal adaptés à la gestion d'environnements tels que les bases de faits des systèmes experts. Nous présentons dans ce papier une représentation des contraintes à caractère réflexif. Les méta-contraintes qui en résultent permettent la gesiton explicite de l'ensemble des dépendances des contraintes de niveau objet. On conserve ainsi non seulement la cohérence des valeurs du réseau de contraintes mais aussi la cohérence du réseau lui-même vis-à-vis de la base de faits. Cette représentation implique des changements importants sur l'algorithme de propagation de contraintes classique.