Knowledge formalization in experience feedback processes : an ontology-based approach

Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understand and to solve the problems that happen in their organizations. Continuous improvement methodologies are powerful tools in order to understand and to solve problems, to control the effects of changes and finally to capitalize knowledge about changes and improvements. These tools involve suitably represent knowledge relating to the concerned system. Consequently, knowledge management (KM) is an increasingly important source of competitive advantage for organizations. Particularly, the capitalization and sharing of knowledge resulting from experience feedback are elements which play an essential role in the continuous improvement of industrial activities. In this paper, the contribution deals with semantic interoperability and relates to the structuring and the formalization of an experience feedback (EF) process aiming at transforming information or understanding gained by experience into explicit knowledge. The reuse of such knowledge has proved to have significant impact on achieving themissions of companies. However, the means of describing the knowledge objects of an experience generally remain informal. Based on an experience feedback process model and conceptual graphs, this paper takes domain ontology as a framework for the clarification of explicit knowledge and know-how, the aim of which is to get lessons learned descriptions that are significant, correct and applicable

Formal Specification of Goals: Reuse of modular specifications by refinement and specialization

Meta-reasoning for flexible problem-solving and reuse of methods in Knowledge Engineering both needs a clear separation between the statement of problems or expected goal, and the description of methods to solve problems. Various formal languages have been proposed to formalize the methods (DESIRE, ML 2 , K BS SF, TFL etc), however the formal specification of goals has not been considered until now. This paper precisely focuses on the specification of goals by Abstract Data Types. The incremental development of a goal specification in reusing modular specifications by successive refinement and specialization is stressed. The specification is based on PLUSS, a language offering several mechanisms for reuse: genericity, enrichment of completed modules or of draft modules. The assignment problem type, and examples from Sisyphus I and Sisyphus II are used for illustration

Vers un systeme a base de connaissances centrees-objets pour la modelisation de systemes dynamiques en biologie

CNRS T 65331 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc