Authors:
Marc Le Goc
1
;
Emilie Masse
2
and
Corinne Curt
3
Affiliations:
1
LSIS, Laboratory for Systems and Information Sciences, UMR CNRS 6168, Aix-Marseille University, France
;
2
LSIS, Laboratory for Systems and Information Sciences, UMR CNRS 6168, Aix-Marseille University; Cemagref, Unité Ouvrages Hydrauliques et Hydrologie, France
;
3
Cemagref, Unité Ouvrages Hydrauliques et Hydrologie, France
Keyword(s):
Multi modeling, diagnosis reasoning, dynamic system.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Knowledge Acquisition
;
Knowledge Engineering and Ontology Development
;
Knowledge Representation
;
Knowledge-Based Systems
;
Symbolic Systems
Abstract:
This paper presents a modelling approach of dynamic process for diagnosis that is compatible with the Stochastic Approach framework for discovering temporal knowledge from the timed observations contained in a database. The motivation is to define a multi-model formalism that is able to represent both the knowledge of these two sources. The aim is to model the process at the same level of abstraction that an expert uses to diagnose the process. The underlying idea is that at this level of abstraction, the model is simple enough to allow an efficient diagnosis. The proposed formalism represents the knowledge in four models: a structural model defining the components and the connection relations of the process, a behavioural model defining the states and the transitions states of the process, a functional model containing the logical relations between the values of the process’s variables, which are defined in the perception model. The models are linked with the process’s variables. Th
is point facilitates the analysis of the consistency of the four models and is the basis of the corresponding knowledge modelling methodology. The formalism and the methodology is illustrated with the model of a hydraulic dam of Cublize (France).
(More)