We present a novel application of Goal-Directed Answer Set Programming that digitizes the model aircraft operator's compliance verification against the Academy of Model Aircrafts (AMA) safety code. The AMA safety code regulates how AMA flyers operate Unmanned Aerial Vehicles (UAVs) for limited recreational purposes. Flying drones and their operators are subject to various rules before and after the operation of the aircraft to ensure safe flights. In this paper, we leverage Answer Set Programming to encode the AMA safety code and automate compliance checks. To check compliance, we use the s(CASP) which is a goal-directed ASP engine. By using s(CASP) the operators can easily check for violations and obtain a justification tree explaining the cause of the violations in human-readable natural language. Further, we implement an algorithm to help the operators obtain the minimal set of conditions that need to be satisfied in order to pass the compliance check. We develop a front-end questionnaire interface that accepts various conditions and use the backend s(CASP) engine to evaluate whether the conditions adhere to the regulations. We also leverage s(CASP) implemented in SWI-Prolog, where SWI-Prolog exposes the reasoning capabilities of s(CASP) as a REST service. To the best of our knowledge, this is the first application of ASP in the AMA and Avionics Compliance and Certification space.

本研究提出了一个应用目标导向答案集编程的新方法，以对模型飞行器的操作进行数字化，对其遵守学院模型飞行器安全规范进行验证。通过使用 s(CASP) 引擎，操作员可以轻松地检查违规行为并获得以人类可读的自然语言解释其原因的证明树。同时，为了帮助操作员通过合规检查，开发了一种前端问卷接口，接收各种条件，使用后端s(CASP)引擎评估这些条件是否符合相关规定。这是 ASP 在 AMA 和航空电子合规认证领域的首次应用。

利用面向目标的答案集规划自动批准无人机飞行准备