Diagnosing multiple faults using knowledge about malfunctioning behavior

ABSTRACT

A technical fault diagnosis system based on knowledge about the structure of a device and the behavior of its components is presented. This approach allows knowledge about components to be reused for new devices and simplifies maintenance of the fault diagnosis system. A new method for diagnosing multiple faults using this representation is presented and discussed. The method assumes that both normal functioning and malfunctioning behavior are described for components in the form of user-defined constraints. A prototype implementation for parts of the method exists and has been compared with a traditional fault-tree implementation of a trouble-shooting system for an separator application.

REFERENCES

• Doyle79: Jon Doyle, A Truth Maintenance System, Artificial Intelligence 12 (1979), page 231-272.
• Davis84: Randall Davis, Diagnostic reasoning based on structure and behavior, Artificial Intelligence, v.24 n.1-3, p.347-410, Dec. 1984 [doi>10.1016/0004-3702(84)90042-0]
• Forbus84: Kenneth D. Forbus, Qualitative process theory, Artificial Intelligence, v.24 n.1-3, p.85-168, Dec. 1984 [doi>10.1016/0004-3702(84)90038-9]
• Genesereth84: Michael R. Genesereth, The use of design descriptions in automated diagnosis, Artificial Intelligence, v.24 n.1-3, p.411-436, Dec. 1984 [doi>10.1016/0004-3702(84)90043-2]
• Goodwin87: James W. Goodwin, A Theory and System for Non-Monotonic Reasoning, LinkSpings Studies in Science and Technology, Dissertations No. 165, LinkSpings Universitetet.
• Hollan84: J.D. Hollan, E. L. Hutchins and L. Weitzman, STEAMER: An Interactive Inspect able Simulation-Based Training System, AI Magazine, vol 5, no 3, page 15-27, summer 1984.
• Keravanou86: E. T. Keravnou , L. Johnson, Competent expert systems: a case study in fault diagnosis, McGraw-Hill, Inc., New York, NY, 1986
• Kleer84a: Johan De Kleer , John Seely Brown, A qualitative physics based on confluences, Artificial Intelligence, v.24 n.1-3, p.7-83, Dec. 1984 [doi>10.1016/0004-3702(84)90037-7]
• Kleer84b: Johan De Kleer, How circuits work, Artificial Intelligence, v.24 n.1-3, p.205-280, Dec. 1984 [doi>10.1016/0004-3702(84)90040-7]
• Kleer86: Johan de Kleer, Problem solving with the ATMS, Artificial Intelligence, v.28 n.2, p.197-224, March 1986 [doi>10.1016/0004-3702(86)90082-2]
• Kleer87: J de Kleer , B C Williams, Diagnosing multiple faults, Artificial Intelligence, v.32 n.1, p.97-130, April 1987 [doi>10.1016/0004-3702(87)90063-4]
• Kuipers86: B J Kuipers, Qualitative simulation, Artificial Intelligence, v.29 n.3, p.289-338, Sept. 1986 [doi>10.1016/0004-3702(86)90073-1]
• Maleki87: Jalal Maleki, ICONStraint, A Dependency Directed Constraint Maintenance System, LinkSpings Studies in Science and Technology, Thesis 71, LiU-Tek-Lic 1986:11, LinkSping University.
• Milne87: Robert Milne, Strategies for Diagnosis, IEEE Transactions on systems, man, and cybernetics, vol. smc-17, No. 3, May/June 1987, page 333-339.
• Nordin87: Henrik Nordin, Reuse and 'Maintenance Techniques in Knowledge-Based Systems, LiTH-iDA-R-87-18, Link5ping University, September 1987.
• Stallman77: Richard M. Stallman and Gerald J. Sussman, Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis, Artificial Intelligence 9 (1977), page 135-196.
• Steels87: Luc Steels, The deepening of Expert Systems, Artificial Intelligence Communications, vol. 0 No 1, august 87, page 9-16.
• Struss87: Peter Struss, Problem of Interval-Based Reasoning In Fruechtenicht et al. (eds), Wissensrepr-sentation und Schlussfolgerungsverfahren fuer teechnische Expertensysteme, Muenchen (1987) Also: Technical Report, SIEMENS INF 2 AMRol-87.
• Swartout83: William R. Swartout, XPLAIN: A System for Creating and Explaining Expert Consulting Programs, Artificial Intelligence vol. 21, no. 3 (1983), page 285-325.
• Williams84: Brian C. Williams, Qualitative analysis of MOS circuits, Artificial Intelligence, v.24 n.1-3, p.281-346, Dec. 1984 [doi>10.1016/0004-3702(84)90041-9]

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.8 Problem Solving, Control Methods, and Search
          Subjects: Heuristic methods

Additional Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.1 Applications and Expert Systems
          Subjects: Industrial automation
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Representations (procedural and rule-based)
      I.2.5 Programming Languages and Software
          Subjects: Expert system tools and techniques
  I.6 SIMULATION AND MODELING

  K. Computing Milieux
  K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS
      K.6.1 Project and People Management
          Subjects: Systems development

General Terms:
Design, Management, Performance