Abstract FR:

Cette these presente une methode d'automatisation de problemes de positionnement sous contraintes. Le principe de cette methode consiste a employer un modele de structuration des donnees (le modele hbds), comme couche de base et a ajouter une couche systeme expert ainsi qu'un reseau de petri. Le systeme expert utilise une technique de compilation des regles permettant a la fois d'utiliser un langage d'expression des regles tres puissant et d'optimiser le fonctionnement du moteur d'inferences par la determination d'un pre-chainage. Une application de cette methode est presentee pour le positionnement des noms en cartographie et a permis de tester la validite et de demontrer la puissance de cette approche