UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper)

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 goaldirected 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.