The application of automated deductive reasoning to power plant diagnostics

A module which incorporates the application of deductive reasoning to diagnostics has been developed. This module is a part of a generic diagnostic expert system prototype developed for power plant operations at Combustion Engineering. This paper is one of a series of papers which will describe the activities of the project. Specifically, this paper describes the deductive reasoning module which determines and classifies root cause malfunctions. The concept of 'perfect instruments' is introduced. These instruments are imaginary instruments which bridge the gap between real world inputs and the generic diagnostic shell. The prototype, its application, and future developments are discussed