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

Sarat Chandra Varanasi, Baoluo Meng, Christopher Alexander, Szabolcs Borgyos

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationPractical Aspects of Declarative Languages - 25th International Symposium, PADL 2023, Proceedings
EditorsMichael Hanus, Daniela Inclezan
PublisherSpringer Science and Business Media Deutschland GmbH
Pages250-260
Number of pages11
ISBN (Print)9783031248405
DOIs
Publication statusPublished - 2023
Externally publishedYes
Event25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023 - Boston, United States
Duration: 16 Jan 202317 Jan 2023

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13880 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023
Country/TerritoryUnited States
CityBoston
Period16/01/2317/01/23

Keywords

  • Answer set programming
  • Automated flight readiness approval
  • Minimal explanation computation

Fingerprint

Dive into the research topics of 'UAV Compliance Checking Using Answer Set Programming and Minimal Explanations Towards Compliance (Application Paper)'. Together they form a unique fingerprint.

Cite this