Integration d'outils pour l'expression et la satisfaction de contraintes dans un generateur de systemes experts

Pierre Berlandier 1
1 SECOIA - Expert Systems and Design of Tools for Artificial Intelligence
CERMICS - Centre d'Enseignement et de Recherche en Mathématiques, Informatique et Calcul Scientifique, CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : 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.
Type de document :
Rapport
[Rapport de recherche] RR-0924, INRIA. 1988
Liste complète des métadonnées

https://hal.inria.fr/inria-00075631
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 18:41:06
Dernière modification le : samedi 27 janvier 2018 - 01:31:05
Document(s) archivé(s) le : vendredi 13 mai 2011 - 13:45:27

Fichiers

Identifiants

  • HAL Id : inria-00075631, version 1

Collections

Citation

Pierre Berlandier. Integration d'outils pour l'expression et la satisfaction de contraintes dans un generateur de systemes experts. [Rapport de recherche] RR-0924, INRIA. 1988. 〈inria-00075631〉

Partager

Métriques

Consultations de la notice

245

Téléchargements de fichiers

94