An application of ASP in nuclear engineering; Explaining the three mile island nuclear accident scenario

Botros N. Hanna; Ly Y.L.Y.T. Trieu; Tran C. Son; Nam Dinh

doi:10.1017/S1471068420000241

An application of ASP in nuclear engineering; Explaining the three mile island nuclear accident scenario

Botros N. Hanna
, Ly Y.L.Y.T. Trieu
, Tran C. Son
, Nam Dinh

Research output: Contribution to journal › Article › peer-review

7 Scopus citations

Abstract

The paper describes an ongoing effort in developing a declarative system for supporting operators in the Nuclear Power Plant (NPP) control room. The focus is on two modules: diagnosis and explanation of events that happened in NPPs. We describe an Answer Set Programming (ASP) representation of an NPP, which consists of declarations of state variables, components, their connections, and rules encoding the plant behavior. We then show how the ASP program can be used to explain the series of events that occurred in the Three Mile Island, Unit 2 (TMI-2) NPP accident, the most severe accident in the USA nuclear power plant operating history. We also describe an explanation module aimed at addressing answers to questions such as why an event occurs? or what should be done? given the collected data.

Original language	English
Pages (from-to)	926-941
Number of pages	16
Journal	Theory and Practice of Logic Programming
Volume	20
Issue number	6
DOIs	https://doi.org/10.1017/S1471068420000241
State	Published - Nov 1 2020
Externally published	Yes

Keywords

Answer Set Programming (ASP)
Explainable AI
Three Mile Island Accident

Access to Document

10.1017/S1471068420000241

Cite this

@article{7aed807f30cc485a9dee7ce63bd75ca4,

title = "An application of ASP in nuclear engineering; Explaining the three mile island nuclear accident scenario",

abstract = "The paper describes an ongoing effort in developing a declarative system for supporting operators in the Nuclear Power Plant (NPP) control room. The focus is on two modules: diagnosis and explanation of events that happened in NPPs. We describe an Answer Set Programming (ASP) representation of an NPP, which consists of declarations of state variables, components, their connections, and rules encoding the plant behavior. We then show how the ASP program can be used to explain the series of events that occurred in the Three Mile Island, Unit 2 (TMI-2) NPP accident, the most severe accident in the USA nuclear power plant operating history. We also describe an explanation module aimed at addressing answers to questions such as why an event occurs? or what should be done? given the collected data.",

keywords = "Answer Set Programming (ASP), Explainable AI, Three Mile Island Accident",

author = "Hanna, \{Botros N.\} and Trieu, \{Ly Y.L.Y.T.\} and Son, \{Tran C.\} and Nam Dinh",

note = "Funding Information: This research is supported by the US DoE{\textquoteright}s Advanced Research Project Agency-Energy (ARPA-E) MEITNER Program through award DE-AR0000976. The authors would like to thank Dr. Robert W. Youngblood III (Idaho National Laboratory) for his constructive comments on earlier versions of this paper and his continuous support throughout the development of an ASP-based system for NPP operators. The third author is also partially supported by the NSF-grant \#1812628, \#1914635, and \#1757207. Publisher Copyright: {\textcopyright} ",

year = "2020",

month = nov,

day = "1",

doi = "10.1017/S1471068420000241",

language = "English",

volume = "20",

pages = "926--941",

journal = "Theory and Practice of Logic Programming",

issn = "1471-0684",

publisher = "Cambridge University Press",

number = "6",

}

TY - JOUR

T1 - An application of ASP in nuclear engineering; Explaining the three mile island nuclear accident scenario

AU - Hanna, Botros N.

AU - Trieu, Ly Y.L.Y.T.

AU - Son, Tran C.

AU - Dinh, Nam

N1 - Funding Information: This research is supported by the US DoE’s Advanced Research Project Agency-Energy (ARPA-E) MEITNER Program through award DE-AR0000976. The authors would like to thank Dr. Robert W. Youngblood III (Idaho National Laboratory) for his constructive comments on earlier versions of this paper and his continuous support throughout the development of an ASP-based system for NPP operators. The third author is also partially supported by the NSF-grant #1812628, #1914635, and #1757207. Publisher Copyright: ©

PY - 2020/11/1

Y1 - 2020/11/1

N2 - The paper describes an ongoing effort in developing a declarative system for supporting operators in the Nuclear Power Plant (NPP) control room. The focus is on two modules: diagnosis and explanation of events that happened in NPPs. We describe an Answer Set Programming (ASP) representation of an NPP, which consists of declarations of state variables, components, their connections, and rules encoding the plant behavior. We then show how the ASP program can be used to explain the series of events that occurred in the Three Mile Island, Unit 2 (TMI-2) NPP accident, the most severe accident in the USA nuclear power plant operating history. We also describe an explanation module aimed at addressing answers to questions such as why an event occurs? or what should be done? given the collected data.

AB - The paper describes an ongoing effort in developing a declarative system for supporting operators in the Nuclear Power Plant (NPP) control room. The focus is on two modules: diagnosis and explanation of events that happened in NPPs. We describe an Answer Set Programming (ASP) representation of an NPP, which consists of declarations of state variables, components, their connections, and rules encoding the plant behavior. We then show how the ASP program can be used to explain the series of events that occurred in the Three Mile Island, Unit 2 (TMI-2) NPP accident, the most severe accident in the USA nuclear power plant operating history. We also describe an explanation module aimed at addressing answers to questions such as why an event occurs? or what should be done? given the collected data.

KW - Answer Set Programming (ASP)

KW - Explainable AI

KW - Three Mile Island Accident

UR - https://www.scopus.com/pages/publications/85091989952

U2 - 10.1017/S1471068420000241

DO - 10.1017/S1471068420000241

M3 - Article

AN - SCOPUS:85091989952

SN - 1471-0684

VL - 20

SP - 926

EP - 941

JO - Theory and Practice of Logic Programming

JF - Theory and Practice of Logic Programming

IS - 6

ER -

An application of ASP in nuclear engineering; Explaining the three mile island nuclear accident scenario

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

AI-Guided Reasoning-Based Operator Support System for the Nuclear Power Plant Management

Cite this

An application of ASP in nuclear engineering; Explaining the three mile island nuclear accident scenario

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Activities

AI-Guided Reasoning-Based Operator Support System for the Nuclear Power Plant Management

Cite this