TIMED OBSERVATIONS MODELLING FOR DIAGNOSIS METHODOLOGY A Case Study

The TOM4D methodology is based on constructing models at the same level of abstraction that experts use to diagnose a process; thus, the resultant models are more simple and abstract allowing a more efficient diagnosis. For this purpose, the framework CommonKADS to interpret and organize the available knowledge of experts is combined with a multi-modelling approach in order to describe the knowledge. This paper complements works accomplished previously about TOM4D, introducing the combined use of Formal Logic and the Tetrahedron of States in order to build models more suitable for the diagnosis task. Formal Logic provides a logical interpretation of expert's reasoning. The Tetrahedron of States provides a physical interpretation of the process variables and allows to exclude of the logical model those states physically impossible.