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 Access content directly
Reports (Research Report) Year : 1988

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.
Fichier principal
Vignette du fichier
RR-0924.pdf (4.5 Mo) Télécharger le fichier

Dates and versions

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

Identifiers

  • HAL Id : inria-00075631 , version 1

Cite

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⟩
130 View
53 Download

Share

Gmail Facebook Twitter LinkedIn More