Précédent : Résolution de problèmes répartie Remonter : Résultats nouveaux Suivant : Pilotage de bibliothèques de composants
Précédent : Résolution de problèmes répartie
Remonter : Résultats nouveaux Suivant :
Pilotage de
bibliothèques de composants
Participants : Sueli Ferreira da Cunha, Danielle
Ziébelin.
Ce travail s'intègre aussi dans l'exploitation des connaissances multi-sites. Il vise le développement d'outils de comparaison de stratégies de résolution, décrites par différents concepteurs, mais portant sur un même type de problèmes et pilotant une même bibliothèque de méthodes. Afin de comparer ces différentes résolutions d'une même tâche, un modèle de représentation canonique des graphes de décomposition et de spécialisation de tâches a été défini en utilisant les structures de E-graphes (graphes orientés, sans circuit ni sommet isolé, possédant un seul sommet d'entrée et un seul de sortie). Des opérations de concaténation et d'alternance ont été introduites; les propriétés d'associativité et de distributivité de la concaténation par rapport à l'alternance ont été vérifiées. Ce travail s'est concrétisé par l'implémentation d'un module de recherche de formes canoniques pour les différents modèles de tâches développés au sein du projet. Ce module est associé à une évaluation des dissemblances : ainsi, les différences des deux stratégies comparées sont identifiées et des modifications sont proposées à l'utilisateur afin de lui permettre une unification éventuelle des deux stratégies.