TY - GEN
T1 - UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper)
AU - Varanasi, Sarat Chandra
AU - Meng, Baoluo
AU - Alexander, Christopher
AU - Borgyos, Szabolcs
N1 - Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
PY - 2023
Y1 - 2023
N2 - We describe a continuation of prior work on automated compliance checking process for Unmanned Aerial Vehicles using Answer Set Programming. We describe a new algorithm to perform minimal explanations for offending compliance rules. This explanation is also performed for predicate answer set programs and the paper provides an extension to the algorithm that supported only propositional answer set programs. This improvement increases the expressivity of rules that can be captured in the compliance checking process. We take advantage of the goal-directed execution and constraint-solving capabilities of the s(CASP) engine in order to both compliance check the rules and compute the minimal explanations for violating rules. We further aim to map more rules from the AMA safety code into ASP.
AB - We describe a continuation of prior work on automated compliance checking process for Unmanned Aerial Vehicles using Answer Set Programming. We describe a new algorithm to perform minimal explanations for offending compliance rules. This explanation is also performed for predicate answer set programs and the paper provides an extension to the algorithm that supported only propositional answer set programs. This improvement increases the expressivity of rules that can be captured in the compliance checking process. We take advantage of the goal-directed execution and constraint-solving capabilities of the s(CASP) engine in order to both compliance check the rules and compute the minimal explanations for violating rules. We further aim to map more rules from the AMA safety code into ASP.
KW - Answer set programming
KW - Automated flight readiness approval
KW - Minimal explanation computation
UR - http://www.scopus.com/inward/record.url?scp=85148693278&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-24841-2_16
DO - 10.1007/978-3-031-24841-2_16
M3 - Conference contribution
AN - SCOPUS:85148693278
SN - 9783031248405
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 250
EP - 260
BT - Practical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Proceedings
A2 - Hanus, Michael
A2 - Inclezan, Daniela
PB - Springer Science and Business Media Deutschland GmbH
T2 - 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023
Y2 - 16 January 2023 through 17 January 2023
ER -