We, Vertiport 6, are temporarily closed: Interactional Ontological Methods for Changing the Destination

TL;DR

This paper develops an automated system using ontologies and non-monotonic reasoning to handle vertiport outages, improving human-system interaction and decision-making in air traffic management.

Contribution

It introduces a novel ontological framework and reasoning approach for automating vertiport outage management, considering both human and system perspectives.

Findings

Automated handling of vertiport outages through knowledge reasoning.

Effective simulation of outage scenarios and responses.

Enhanced interaction between human managers and air traffic systems.

Abstract

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.