Thèse soutenue

FR  |  
EN
Accès à la thèse
Auteur / Autrice : Mathias Kleiner
Direction : Laurent Henocque
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2007
Etablissement(s) : Aix-Marseille 2
Ecole(s) doctorale(s) : Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille)

Résumé

FR  |  
EN

Cette thèse a pour but d’utiliser la programmation par contraintes, et plus précisément la recherche de modèles finis pour les modèles objets contraints, dans le raisonnement symbolique et la résolution de problèmes d’intelligence artificielle. Au niveau dénotationnel, nous illustrons la puissance expressive du formalisme choisi à travers la description d’un cadre théorique et expérimental pour un challenge moderne: la composition automatique de services web sémantiques. Ce cadre, développé durant le projet Européen DIP et prototypé à l’aide de l’outil JConfigurator d’ILOG, a été intégré au sein de l’architecture du projet et testé sur des scénarios industriels. Au niveau opérationnel, nous décrivons des algorithmes traitant l’explosion combinatoire inhérente aux méthodes énumératives. Nous proposons un algorithme pseudo-linéaire en temps pour la détection de canonicité de graphes orientés acycliques colorés, permettant, au cours de la recherche, de “backtracker” sur des configurations isomorphes. Les résultats théoriques sont appuyés par une série d’expérimentations. Nous proposons également une méthode stochastique, basée sur le comportement simulé d’une colonie de fourmi, qui traite des problèmes originaux posés par la logique du premier-ordre. De nouveau nous présentons des résultats expérimentaux.