要約
この論文では、人間の交通管理者と UATMS の間の相互作用に関する以前の研究の続きを紹介します。
特に、前回の作業で部分的に説明した、バーティポートの停止を処理するプロセスの自動化に焦点を当てます。
管理者がバーティポートがサービス不能であることを報告すると、これは対応するすべてのエージェントの着陸が禁止されることを意味し、航空交通システムはこのイベントに対処する必要があることを自動化します。
プロセス全体は、知識の表現と推論を通じてシミュレートされます。
さらに、人間の監督者と管理システムに関して 2 つの異なる視点が尊重され、関連するオントロジーとルールがそれらの相互作用に対処します。
私たちは、非単調推論を適用することでプロセスの各ステップを検証し、システムがどのように機能するかを説明できると信じています。
関連する作品を簡単に紹介した後、この文書では問題の定式化、主要な解決策、議論、結論を続けます。
要約(オリジナル)
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.
arxiv情報
著者 | Seungwan Woo,Jeongseok Kim,Kangjin Kim |
発行日 | 2023-07-07 12:47:47+00:00 |
arxivサイト | arxiv_id(pdf) |
提供元, 利用サービス
arxiv.jp, Google