Reasoning with modal logic for power plant condition monitoring

Research output: Contribution to journalArticle

8 Citations (Scopus)

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.
Original languageEnglish
Pages (from-to)58-59
Number of pages1
JournalIEEE Power Engineering Review
Volume21
Issue number7
DOIs
Publication statusPublished - 2001

Fingerprint

Intelligent agents
Condition monitoring
Fault detection
Failure analysis
Gas turbines
Power plants

Keywords

  • condition monitoring
  • modal logic
  • temporal reasoning
  • intelligent agents
  • poer plant

Cite this

@article{88a45cc8457a4bc8b9dac4256cf47401,
title = "Reasoning with modal logic for power plant condition monitoring",
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.",
keywords = "condition monitoring, modal logic, temporal reasoning, intelligent agents, poer plant",
author = "E. Mangina and S.D.J. McArthur and J.R. McDonald",
year = "2001",
doi = "10.1109/MPER.2001.4311464",
language = "English",
volume = "21",
pages = "58--59",
journal = "IEEE Power Engineering Review",
issn = "0272-1724",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "7",

}

Reasoning with modal logic for power plant condition monitoring. / Mangina, E.; McArthur, S.D.J.; McDonald, J.R.

In: IEEE Power Engineering Review, Vol. 21, No. 7, 2001, p. 58-59.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Reasoning with modal logic for power plant condition monitoring

AU - Mangina, E.

AU - McArthur, S.D.J.

AU - McDonald, J.R.

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

KW - condition monitoring

KW - modal logic

KW - temporal reasoning

KW - intelligent agents

KW - poer plant

UR - http://dx.doi.org/10.1109/MPER.2001.4311464

U2 - 10.1109/MPER.2001.4311464

DO - 10.1109/MPER.2001.4311464

M3 - Article

VL - 21

SP - 58

EP - 59

JO - IEEE Power Engineering Review

JF - IEEE Power Engineering Review

SN - 0272-1724

IS - 7

ER -