使用目标导向答案集编程自动化无人机飞行准备审批
人工智能
2022-08-26 v1 编程语言
摘要
我们提出了一种目标导向答案集编程的新应用，将模型飞机操作员对 Academy of Model Aircrafts (AMA) 安全规范的合规性验证数字化。AMA 安全规范规定了 AMA 飞行者出于有限娱乐目的操作无人机 (UAVs) 的方式。无人机及其操作员在飞行器操作前后须遵守各种规则以确保飞行安全。在本文中，我们利用答案集编程对 AMA 安全规范进行编码并自动化合规检查。为检查合规性，我们使用 s(CASP)，这是一个目标导向的 ASP 引擎。通过使用 s(CASP)，操作员可以轻松检查违规情况，并获得以人类可读自然语言解释违规原因的证明树。此外，我们实现了一种算法，帮助操作员获得通过合规检查所需满足的最小条件集。我们开发了一个前端问卷界面，接受各种条件，并使用后端 s(CASP) 引擎评估这些条件是否符合规定。我们还利用了在 SWI-Prolog 中实现的 s(CASP)，其中 SWI-Prolog 将 s(CASP) 的推理能力作为 REST 服务暴露。据我们所知，这是 ASP 在 AMA 和航空电子合规与认证领域的首个应用。
引用
@article{arxiv.2208.12199,
title = {Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming},
author = {Sarat Chandra Varanasi and Baoluo Meng and Christopher Alexander and Szabolcs Borgyos and Brendan Hall},
journal= {arXiv preprint arXiv:2208.12199},
year = {2022}
}
备注
Comments: Paper presented at the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022), Tbilisi, Georgia, and Virtual, September 22-23, 2022 (arXiv:2208.04235)