Abstract FR:

Le travail propose dans cette these part du constat que les contraintes constituent un type de connaissance important qui intervient dans de nombreux domaines. Il est donc crucial qu'un systeme de raisonnement a base de connaissances puisse les representer aisement et les interpreter efficacement. Cependant, on constate aussi que la plupart de ces systemes developpent leurs propres formalismes et interpretes ad-hoc car l'environnement de representation et d'interpretation des connaissances (eric) qu'ils utilisent n'offrent pas d'outils adequats. Notre but est d'essayer de combler cette lacune en etablissant un schema general d'integration d'outils de manipulation de contraintes aux eric a base d'objets structures. Dans une premiere partie, nous presentons un modele de contraintes abstrait et independant du domaine. A partir de ce modele, nous developpons un ensemble d'outils pour la satisfaction de problemes et le maintien de leur coherence. Le probleme de satisfaction est etudie pour les domaines finis et le maintien de coherence utilise un mecanisme de propagation de valeurs dont l'applicabilite est generale. Dans une seconde partie, nous montrons comment un eric peut s'approprier ces outils par l'instanciation d'une representation par objets du modele des contraintes et d'une interface fonctionnelle reduite. Le resultat est un systeme souple, qui n'est pas alourdi par l'adjonction d'un formalisme supplementaire. Un exemple d'integration dans le noyau de systeme expert smeci montre quels roles peuvent servir les differents types d'interpretation des contraintes. Enfin, nous proposons deux nouvelles formes de contraintes: les contraintes de transition et les metacontraintes. Les premieres permettent d'exercer un controle constant sur l'evolution des objets de l'eric. Les secondes decoulent de la representation homogene des contraintes et des objets contraints. Elles permettent de representer des problemes dont la structure s'ajuste automatiquement en fonction de l'evolution des objets contraints