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.
翻译:我们提出了一种新应用的“目标识别答案设置程序”,将示范飞机操作员的合规核查与模拟航空器学会安全守则进行数字化。AMA安全守则规范了AMA传单如何为有限的娱乐目的操作无人驾驶航空器(UAVs),飞行无人驾驶飞机及其操作员在飞机操作之前和之后遵守各种规则以确保安全飞行。在本文件中,我们利用“答案设定程序”来编码AMA安全守则和自动合规检查。为了检查遵守情况,我们使用以目标为导向的ASP引擎S(CASP)进行合规核查。通过S(CASP)操作者可以很容易地检查违规情况,并获得解释可人读自然语言中违规原因的理由树。此外,我们采用算法帮助操作员获得为通过合规检查而需要满足的最低限度条件。我们开发了一个前端问卷接口,接受各种条件,并使用后端SASP发动机来评估条件是否符合条例。我们还利用了ASPASPASPASP系统第一版的S-AVIS系统应用软件和SWI系统最佳应用能力,这是SWISA-ProRO-S-ProviS-SLA的S-Svial应用系统。我们S-S-S-S-S-S-S-S-SLisalvialvivivivivial的系统应用系统应用系统。