Catégorisation et types d'expertise. Une étude empirique dans le domaine de la conception industrielle

National audienceA study in the domain of design examined several aspects of categorization. It raises the problem of goal-oriented categorization. Through a comparison between two expert designers in a same domain, but with different previous experiences, the study shows how these two designers have gained different types of expertise. These differences explain how a goal-oriented activity may have influenced the elaboration of categorial representations. The concept of "operative categorization" is proposed and defined, amongst other aspects, by differentiating it from "task-dependent categorization".Dans une étude dans le domaine de la conception, différents aspects de la catégorisation ont été examinés. L'étude pose le problème de la catégorisation finalisée. A travers une comparaison entre deux concepteurs experts dans un même domaine, mais ayant des expériences différentes, on montre comment les deux concepteurs ont acquis différents types d'expertise. Ces différences sont utilisées pour expliquer comment la finalisation des sujets a influencé l'élaboration de leurs représentations catégorielles. On propose le concept de "catégorisation opérative" que l'on définit, entre autres, en le différenciant de celui de "catégorisation dépendante-de-la-tâche"

Aspects actuels des représentations de connaissances par objets et de la classification

napoli1997aNational audienceCet article présente certains thèmes de recherches étudiés par les membres du groupe "Objets et classification" du PRC-IA. Ces thèmes concernent essentiellement la théorie des systèmes de représentation de connaissances par objets (RCPO), la révision d'une base de connaissances dans les systèmes de RCPO, la classification de classes et d'instances, et la mise en oeuvre d'applications, illustrée ici par le système RESYN. Les travaux présentés montrent une certaine continuité avec les préoccupations des membres du groupe depuis qu'il existe. L'article se termine par la présentation d'éléments de définition d'un système de RCPO, et de perspectives de recherches découlant des thèmes explicités dans l'article

METIS : un système et une méthode d'explicitation de taxinomies destinés à l'identification de structures conceptuelles

Dans les sciences d'observation telles que l'archéologie, la minéralogie ou la zoologie, de grandes quantités d'objets sont répertoriés sous forme de taxinomies et exprimées dans des catalogues au moyen d'un langage de description varié et nuancé. La lourde gestion de ces catalogues et les problèmes liés à la description et à la caractérisation des classes d'objets, on fait naître le besoin de construire d'une part une base de connaissances permettant d'intégrer des informations cohérentes, homogènes et non redondantes, d'autre part une structure de discrimination fiable, permettant de caractériser les classes de manière pertinente. Le principe d'explicitation des connaissances retenu dans le cadre de notre travail repose sur une approche incrémentale. Notre système METIS explicite progressivement les connaissances de l'expert et raffine le langage de description (appelé modèle structurel) à partir d'une suite de descriptions de classes qui lui sont présentées. Chaque nouvelle classe fournie au système, constitue un enrichissement et une nouvelle vision du modèle structurel, soit par spécialisation d'une description déjà acquise, soit par l'ajout d'une nouvelle description. METIS modifie ainsi dynamiquement le modèle structurel des descriptions de classes explicitées. La taxinomie du domaine sert de fil conducteur pour guider le processus d'explicitation des connaissances. Elle est progressivement enrichie, permettant ainsi au système de présenter les traits discriminants et d'évaluer leur pertinence par apprentissage, ou avec le concours de l'expert. (Résumé d'auteur

Cadre conceptuel pour la composition des objets et la spécification du comportement

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal

Analyse des connaissances mises en œuvre dans l’aide à la décision en maintenance d'hélicoptères

Ce rapport traite d'une étude réalisée dans le cadre du projet de recherche HELIMaintenance. L'objectif du projet HELIMaintenance est d'optimiser la maintenance des hélicoptères en réduisant les coûts de maintenance. Le but de ce projet de concevoir un Système Logistique Intégré capable d'analyser les données critiques de pièces en vol et de piloter l'activité de l'atelier de maintenance afin de réduire l'inactivité de l'hélicoptère. Dans le cadre de ce projet, l'un des workpackages vise à proposer des approches et des outils d'aide à décision pour la maintenance d'hélicoptères en vue d'améliorer la qualité et les performances de ce processus. L'axe principal de recherche s'appuie sur la gestion des connaissances, le retour d'expérience, les problèmes de satisfaction de contraintes et les différentes façons d'associer ces méthodes. En raison de l'avancement du projet, notre travail vise à identifier certains cas de maintenance typiques que nous pourrions assister par des outils d'aide à la décision en vue d'atteindre les objectifs du workpackage. Afin de réaliser ce projet, nous avons commencé par faire un état de l'art autour des axes de recherche. Ensuite, nous avons informés les partenaires industriels aux approches d'aide à la décision utilisables et nous avons modélisé le processus de maintenance d'hélicoptères avec le formalisme de modélisation de processus BPMN (Business Process Modeling Notation). Enfin, nous avons proposé quelques outils d'aide à la décision qui pourraient être développés pour continuer ce projet

Étude et modélisation des connaissances et raisonnement de l'apprenant dans un STI

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal

Détection, Explications et Restructuration de défauts de conception : les patrons abîmés.

Models driven engineering considers models first class entities for the software development. The models driven processes must be able to take into account the know-how of experts, generally expressed in terms of analysis, architectural of design patterns. To choose the right pattern and to ensure its correct integration within a model constitute curbs with the systematic use of the good design practices. In order to reduce these tasks, we propose an approach based on the automatic inspection of models. In the same manner that there are code review activities aiming at checking the absence of bad coding practices in a program, we have tooled a design review activity identifying, explaining and correcting the bad design practices in a model. A spoiled pattern is comparable with a design pattern, its instantiations solving the same types of problems, but with a different and certainly improvable architecture. Experiments were carried out in order to collect spoiled patterns, allowing us to propose a catalog of bad practices, complementary to the GoF catalog. The detection of the instantiations of spoiled patterns in a UML model is related with a wide graph homomorphism. Graphs UML having typed vertexes, detection is based on local and global structural properties allowing the solving of this NP-Complete problem by successive filtering. Thus, this algorithm is able to detect all the possible instantiations of a spoiled pattern, by managing moreover prohibited and optional edges. The model fragment semantics is given by its intent which is validated by the designer. The intent of the detected fragments and the benefit of a replacement by the adequate pattern are deduced by requests on an ontology conceived for this purpose. The transformation of the fragments into instantiations of design pattern is carried out thanks to model refactoring automatically deduced from the structural differences between a spoiled pattern and an design pattern.L'ingénierie des modèles considère les modèles comme des entités de première classe pour le développement logiciel. Les processus dirigés par les modèles se doivent d'être capables de prendre en compte le savoir-faire d'experts, généralement exprimé en termes de patrons, qu'ils soient d'analyse, de conception ou d'architecture. Choisir le bon patron et assurer sa bonne intégration au sein d'une modélisation constitue des freins à l'utilisation systématique des bonnes pratiques de conception. Afin d'alléger ces tâches, nous proposons une approche basée sur l'inspection automatique des modèles. De la même manière qu'il existe des revues de code visant à vérifier l'absence de mauvaises pratiques de codage dans un programme, nous avons outillé une activité de revue de conception identifiant, expliquant et corrigeant les mauvaises pratiques de conception dans un modèle. Un patron abîmé est comparable à un patron de conception, ses contextualisations résolvant les mêmes types de problèmes, mais avec une architecture différente et certainement améliorable. Des expérimentations ont été menées afin de collecter des patrons abîmés, nous amenant à proposer un catalogue de mauvaises pratiques, complémentaire au catalogue du GoF. La détection des contextualisations de patrons abîmés dans un modèle UML est apparentée à un morphisme de graphe étendu. Les graphes UML ayant des sommets typés, la détection s'appuie sur des particularités structurelles locales et globales permettant de résoudre ce problème NP-Complet par des filtrages successifs. Cet algorithme est ainsi capable de détecter toutes les contextualisations possibles d'un patron abîmé, en gérant de plus les arcs interdits et facultatifs. La sémantique d'un fragment de modèle est donnée par son intention et celle-ci est validée par le concepteur. L'intention des fragments détectés et les bénéfices d'un remplacement par le patron adéquat sont déduits par des requêtes sur une ontologie conçue à cet effet. La transformation des fragments en contextualisations de patrons de conception est réalisée grâce à des restructurations de modèles déduites automatiquement des différences structurelles entre un patron abîmé et un patron de conception

001_correct : un environnement de restructuration des programmes objets piloté par la qualité

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal