Précédent : Connaissances prescriptives et résolution
coopérative Remonter : Connaissances prescriptives
et résolution coopérative Suivant : Environnement
distribué de résolution de
Participants : Sueli Ferreira Da Cunha, Danielle Ziébelin
Ajouter une stratégie de résolution, qui permette de résoudre un nouveau type de problème, se fait par la construction d'un nouveau schéma (ou plan) de décomposition de tâches en sous-tâches, à moins que l'on ne sache réutiliser un plan existant. Les principales difficultés rencontrées concernent alors la recherche et l'appariement des plans. Rechercher pour le plan à construire un ou plusieurs plans appropriés ne peut se faire sans une évaluation préalable des ressemblances et des dissemblances entre le problème à résoudre et les différents plans existants. Il faut donc rechercher une mesure de similarité appropriée au formalisme de résolution de problèmes utilisé, en identifiant une similarité de contenu, une similarité de structure, et une similarité de résultat.
Notre effort a surtout porté sur l'étude des similarités de structures dans le but de comparer différentes représentations d'une même tâche. Nous avons défini un modèle de représentation canonique des graphes de décomposition et de spécialisation de tâches 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é définies, 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 devra prochainement être associé à un module d'évaluation des ressemblances et des dissemblances entre hiérarchies de tâches [12].