Diagnosis of multiple faults with flow-based functional models: the functional diagnosis with efforts and flows approach

Abstract This paper presents the Functional Diagnosis with efforts and flows (FDef) approach to model-based diagnosis. First, it motivates our research by considering the field of functional flow-based diagnostic techniques, pointing out some of their relevant limitations, which are overcome by FDef. Then, it summarizes and exemplifies the main FDef concepts and techniques in a tutorial way. A real-world diagnostic problem in the marine engineering domain has been used to evaluate the basic FDef engine. The paper summarizes the results of the evaluation and discusses the extensions it has prompted, i.e., the introduction of qualitative deviations of variables and the exploitation of a hierarchical representation of the functional model. The ideas proposed in FDef can be easily adapted to other flow-based modeling formalisms, such as MFM.

[1]  Jan Eric Larsson,et al.  Diagnosis Based on Explicit Means-End Models , 1996, Artif. Intell..

[2]  Amruth N. Kumar,et al.  Function-based candidate discrimination during model-based diagnosis , 1995, Appl. Artif. Intell..

[3]  Luca Chittaro,et al.  Introducing deviations and multiple abstraction levels in the functional diagnosis of fluid transfer systems , 1998, Artif. Intell. Eng..

[4]  Jens Rasmussen,et al.  Information Processing and Human-Machine Interaction: An Approach to Cognitive Engineering , 1986 .

[5]  Jens Rasmussen,et al.  Information Processing and Human-Machine Interaction , 1986 .

[6]  Luca Chittaro,et al.  Augmenting the Diagnostic Power of Flow-Based Approaches to Functional Reasoning , 1996, AAAI/IAAI, Vol. 2.

[7]  Randall Davis,et al.  Model-based reasoning: troubleshooting , 1988 .

[8]  Peter Struss,et al.  "Physical Negation" Integrating Fault Models into the General Diagnostic Engine , 1989, IJCAI.

[9]  L. Chittaro.  Functional diagnosis and prescription of measurements using effort and flow variables , 1995 .

[10]  B. Chandrasekaran,et al.  Functional Representation and Causal Processes , 1994, Adv. Comput..

[11]  D.W.C. Shew,et al.  XXVII. Generalized star and mesh transformations , 1947 .

[12]  Giovanni Guida,et al.  Functional and teleological knowledge in the multimodeling approach for reasoning about physical systems: a case study in diagnosis , 1993, IEEE Trans. Syst. Man Cybern..

[13]  Bernd Neumann,et al.  Qualitative Reasoning about Electrical Circuits using Series-Parallel-Star Trees , 1996 .

[14]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[15]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[16]  Morten Lind,et al.  Modeling goals and functions of complex industrial plants , 1994, Appl. Artif. Intell..