UAV Compliance Checking using Answer Set Programming and Minimal Explanations to...
summary
Implements an ASP-based compliance checker for AMA Safety Code rules, adds a new algorithm that computes minimal explanations for violating rules by treating questionnaire answers as abducibles, and extends prior propositional work to predicate ASP by rewriting rules and pushing body variables into heads so s(CASP) can produce constraint models. Uses a web front end that sends answers to s(CASP), compares offending and compliant models to find the smallest change, demos the propositional system working end-to-end, while the predicate-aware solver and CLP(R) constraint outputs are described but not fully implemented.
AI-written summary · about
chapters (12)
- 0:00UAV compliance checking intro
- 1:02Modeling AMA Safety Code in ASP
- 3:28Questionnaire and violation detection
- 5:35Backend s(CASP) server and explanations
- 7:46Limitations of propositional ASP
- 11:22Demo of s(CASP) system
- 14:04Technical challenges and setup delay
- 16:48Related work and future directions
- 18:37Q&A efficiency and scalability
- 21:31Q&A s(CASP) features
- 22:21Q&A encoding UAV Safety Code
- 23:27Q&A resolution paths
related talks
22mExploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A(…)
01h 00mAI Safety through Programming?
30mConstructing Trustworthy Smart Contracts
21mFormal Methods for Everyone: Practical Tools for Computer-Aided Reasoning
58mAutomating Relational Verification of Infinite-State Programs
23mReturn of the Theorem
38mLeveraging the ASVS in the Secure SDLC
30mWhat Is Going On In Your Source Code? Understanding SCA In Plain Language