Integration d'outils pour l'expression et la satisfaction de contraintes dans un generateur de systemes experts - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1988

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

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-0924.pdf (4.5 Mo) Télécharger le fichier

Dates et versions

inria-00075631 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00075631 , version 1

Citer

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⟩
132 Consultations
54 Téléchargements

Partager

Gmail Facebook X LinkedIn More