This paper presents a continuation of the previous research on the interaction between a human traffic manager and the UATMS. In particular, we focus on the automation of the process of handling a vertiport outage, which was partially covered in the previous work. Once the manager reports that a vertiport is out of service, which means landings for all corresponding agents are prohibited, the air traffic system automates what it has to handle for this event. The entire process is simulated through knowledge representation and reasoning. Moreover, two distinct perspectives are respected for the human supervisor and the management system, and the related ontologies and rules address their interactions. We believe that applying non-monotonic reasoning can verify each step of the process and explain how the system works. After a short introduction with related works, this paper continues with problem formulation, primary solution, discussion, and conclusions.

翻译：摘要：本文延续了先前关于人类交通管理员与UATMS（无人航空交通管理系统）之间交互的研究。我们特别关注垂直起降场（vertiport）停运处理流程的自动化问题，该问题在先前工作中已有部分涉及。当管理员报告垂直起降场停止服务（即禁止所有对应代理着陆）时，航空交通系统将自动处理该事件所需应对事项。整个流程通过知识表示与推理进行模拟。此外，我们分别从人类监督员和管理系统两种不同视角出发，针对其交互设计了相应的本体与规则。我们认为，采用非单调推理能够验证流程的每个步骤，并解释系统的工作原理。本文在简短引言及相关工作介绍后，依次进行问题表述、主要解决方案、讨论与结论。