ASP 在核工程中的应用：解释三哩岛核事故场景
人工智能
2020-08-05 v1
摘要
本文描述了开发一种声明式系统以支持核电厂（NPP）控制室操作员的持续工作。重点在于两个模块：NPP 中发生事件的诊断与解释。我们描述了 NPP 的回答集编程（ASP）表示，其由状态变量、组件、它们之间连接的声明以及编码电厂行为的规则组成。随后我们展示如何使用该 ASP 程序来解释三哩岛 2 号机组（TMI-2）NPP 事故中发生的一系列事件，这是美国核电厂运行史上最严重的事故。我们还描述了一个解释模块，旨在针对诸如“为何发生某事件？”或“应采取何种措施？”等给定所收集数据的问题提供答案。本文正*考虑*被 TPLP 期刊接收。
引用
@article{arxiv.2008.01253,
title = {An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario},
author = {B. N. Hanna and L. T. Trieu and T. C. Son and N. T. Dinh},
journal= {arXiv preprint arXiv:2008.01253},
year = {2020}
}
备注
Paper presented at the 36th International Conference on Logic Programming (ICLP 2019), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages