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.

中文翻译：

---

ASP在核工程中的应用：解释三哩岛核事故情景

该文件描述了为支持核电厂 (NPP) 控制室的操作员开发声明系统的持续努力。重点是两个模块：核电厂发生事件的诊断和解释。我们描述了 NPP 的答案集编程 (ASP) 表示，它由状态变量、组件、它们的连接和编码工厂行为的规则的声明组成。然后，我们展示了如何使用 ASP 程序来解释发生在三哩岛 2 号机组 (TMI-2) NPP 事故中的一系列事件，这是美国核电站运行历史上最严重的事故。我们还描述了一个解释模块，旨在解决诸如“为什么会发生事件？”之类的问题的答案。或“应该怎么做？” 给定收集的数据。