La representation des procedures chez l'operateur : description et mise en oeuvre des savoir-faire
Institution:
Paris 8Disciplines:
Directors:
Abstract EN:
This work presents procope, a language for describing procedures that allows representing knowhow as object-centered. This formalism allows (i) automatically generating the acceptable series of actions for carrying out a procedure, (ii) representing a subject's knowledge about the procedures in a certain domain, as well as the mechanisms of procedure selection for carrying out a given task. In the procope model, procedures and goals are organized into a lattice whose nodes represent the properties of objects and whose links represent relations of semantic inclusion. The underlying psychological hypothesis is that goals and procedures are object properties and, as such, they generate object categories. From a formal point of view, the procope network is based on the algebraic structure known as galois' lattice of a binary relation. We engineered a computer program for (i) automatically building galois' simulating task execution. The network of classes of objects that our method allows identifying corresponds to the minimal conceptual structure required for efficiently using a system. We show how our method for task analysis and simulation allows critiquing the complexity of appliances, systems and user interfaces in order to make suggestions for simplifying them. Considering properties as branching pathways led us to distinguish two kinds of property implication: semantic implication and empirical implication. Category development is dependant on a process of property differentiation through both abstraction and specification. We developed stone (semantic tree based object navigator and editor), a computer program whose data structure is based on generalising the notion of attribute. We replaced the traditional table/attribute/value triad by the notion of a property of variable depth, a fact which led us to eliminate the distinction between data structure and the data itself.
Abstract FR:
Ce travail presente procope, un langage de description des procedures qui permet une representation des savoir-faire centree sur les objets. Ce formalisme permet (i) d'engendrer automatiquement les suites d'actions acceptables pour realiser une procedure, (ii) de representer les connaissances d'un sujet concernant les procedures d'un domaine, ainsi que les mecanismes de selection des procedures en vue de realiser une tache donnee. Dans le modele procope, les procedures et les buts sont organises en un treillis dont les nuds figurent des categories d'objets et les arcs la relation d'inclusion semantique. L'hypothese psychologique sous-jacente est que les buts et les procedures sont des proprietes d'objets et, qu'en tant que tels, ils sont generateurs de categories d'objets. Formellement, le reseau procope repose sur la structure algebrique nommee treillis de galois d'une relation binaire. Nous avons realise un logiciel qui permet (i) la construction automatique du treillis de galois a partir de l'algorithme de bordat, (ii) l'edition graphique des reseaux et des contenus proceduraux et, 3/ la simulation de l'execution des taches decrites. Le reseau de classes d'objets que notre methode permet d'identifier constitue la structure conceptuelle minimale requise pour une utilisation efficace d'un systeme. Nous montrons comment l'utilisation de notre methode d'analyse des taches et de simulation de leur execution permet de critiquer les dispositifs du point de vue de leur complexite et de faire des suggestions de simplification. La prise en compte d'une organisation des proprietes en lignees arborescentes nous conduit a distinguer deux sortes d'implications entre proprietes : les implications semantiques et les implications empiriques. Le developpement des categories est presente comme subordonne a un processus de differenciation des proprietes par un double mouvement d'abstraction et de specification. Nous avons developpe le logiciel stone (semantic tree based object navigator and editor) dont le format de donnees repose sur la generalisation de la notion d'attribut. Le triplet traditionnel table/attribut/valeur est remplace par la notion de propriete a profondeur variable, ce qui conduit a abolir la distinction entre les structures de donnees et les donnees elles-memes.