Integrating logic, object-oriented and procedural paradigms in a fault diagnosis and monitoring system

ABSTRACT

This paper describes ARTEX, a knowledge based system developed for quality assurance and fault localization in audio routing systems. Our system covers a large class of routing systems which may be flexibly configured. ARTEX uses an object-oriented model to represent the generic concepts and individual configurations. Fault localization strategies are realized by methods associated with objects and by heuristic rules focusing the diagnostic search.

REFERENCES

• 1: 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]
• 2: 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]
• 3: Gerhard Fleischanderl , Gerhard Friedrich , Johannes Retti, ARTEX: Configuration-Driven Diagnosis for Routing Systems, 5. Österreichische Artificial Intelligence-Tagung, p.58-64, September 28-30, 1989
• 4: Gerhard Friedrich, Georg Gottlob, and Wolfgang Nejdl. Generating efficient diagnostic procedures from model based knowledge using logic programming techniques. Technical report, Technical University of Vienna, November 1988.
• 5: Gerhard Friedrich, Wolfgang Nejdl, and Johannes Retti. Wissensbasierte Fehlererkennung und Fehlerbehebung mit Hilfe eines objektorientierten .. Modells in ARTEX. In Proc. 3. Osterreichische Artificial Intelligence Tagung, Wien, pages 104- 113. Springer Verlag, September 1987.
• 6: 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]
• 7: E. T. Keravnou , L. Johnson, Competent expert systems: a case study in fault diagnosis, McGraw-Hill, Inc., New York, NY, 1986
• 8: Thomas J. Laffey, Walton A. Perkins, and Tin A. N guyen. Reasoning about Fault Diagnosis with LES. IEEE Expert, pages 13-20, Spring 1986.
• 9: Jeff Pepper and Gary S. Kahn. Repair Strategies in a Diagnostic Expert System. In Proc. l Oth International Joint Conf. on AI, Milan, pages 531-534, August 1987.
• 10: Nancy E. Reed, Elizabeth R. Stuck, and James B. Moen. Specialized Strategies: An Alternative to First Principles in Diagnostic Problem Solving. In Proc. 7th National Conf. on AI (AAAI), St. Paul, Minn., pages 364-368, August 1988.
• 11: R Reiter, A theory of diagnosis from first principles, Artificial Intelligence, v.32 n.1, p.57-95, April 1987 [doi>10.1016/0004-3702(87)90062-2]
• 12: Johannes Retti , Wolfgang Nejdl , Gerhard Friedrich, ARTEX - Wissensbasierte Fehlererkennung und Fehlerbehebung in einem Vermittlungssystem, Wissensbasierte Systeme, 2. Internationaler GI-Kongress,, p.217-223, October 20-21, 1987
• 13: Giinther E. Urbanek. A State-of-the-art Microprocessor Controlled, Analog Audio Routing Switcher with Advanced Features. In Proc. NAB Engr. Conf., Las Vegas, 1988.

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:
  F. Theory of Computation
  F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY
      F.2.2 Nonnumerical Algorithms and Problems
          Subjects: Routing and layout

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.1 Applications and Expert Systems
          Subjects: Industrial automation

  J. Computer Applications
  J.2 PHYSICAL SCIENCES AND ENGINEERING
      Subjects: Electronics

General Terms:
Algorithms, Reliability