Reasoning with modal logic for power plant condition monitoring

Mangina, E. and McArthur, S.D.J. and McDonald, J.R. (2001) Reasoning with modal logic for power plant condition monitoring. IEEE Power Engineering Review, 21 (7). pp. 58-59. ISSN 0272-1724 (http://dx.doi.org/10.1109/MPER.2001.4311464)

Full text not available in this repository.Request a copy

Abstract

This letter demonstrates the use of modal logic for knowledge representation for condition monitoring of gas turbine start-up sequences. The potentially large amounts of data and the complex real-time processes behind on-line fault detection indicate the need for software entities that can reason and react to changing environmental conditions. These are known as intelligent software agents. As a consequence, data interpretation is achieved by converting the data into appropriate information and combining individual agents' knowledge, resulting in an automatic fault diagnosis.