论文标题
ASP在核工程中的应用：解释三英里岛的核事故情况
An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario
论文作者
论文摘要
该论文描述了为开发核电站（NPP）控制室中运营商的声明性系统的持续努力。重点是两个模块：诊断和解释NPP中发生的事件。我们描述了一个NPP的答案集编程（ASP）表示，该表示由状态变量，组件，其连接和编码植物行为的规则组成。然后，我们展示如何使用ASP计划来解释在三英里岛（TMI-2）NPP事故中发生的一系列事件，这是美国核电站运营历史上最严重的事故。我们还描述了一个解释模块，旨在解决诸如``为什么发生事件？''或``应该做什么？''之类的问题的答案了。 本文被 *正在考虑 *中，以在TPLP期刊中接受。
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. This paper is *under consideration* for acceptance in TPLP Journal.
