A Normative Intermediate Representation for ASP-Based Compliance Reasoning

Computer Science > Artificial Intelligence [Submitted on 3 Jun 2026] A Normative Intermediate Representation for ASP-Based Compliance Reasoning Yangfan Wu, Huanyu Yang, Jianmin Ji We propose MONIR, a Modalized-Output Normative Intermediate Representation for ASP-based compliance reasoning. Its core fragment has a staged operational semantics, while MONIR-ASP provides an executable compilation and extensions for external functions, temporal rules, and stable-model reasoning. We instantiate the framework on Chinese ADAS regulations and standards with an LLM-assisted pipeline. Experiments evaluate extraction quality and the efficiency of modular and incremental ASP solving. Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO) Cite as: arXiv:2606.04619 [cs.AI]   (or arXiv:2606.04619v1 [cs.AI] for this version)   https://doi.org/10.48550/arXiv.2606.04619 Focus to learn more Submission history From: Huanyu Yang [view email] [v1] Wed, 3 Jun 2026 08:55:48 UTC (240 KB) Access Paper: HTML (experimental) view license Current browse context: cs.AI < prev   |   next > new | recent | 2026-06 Change to browse by: cs cs.LO References & Citations NASA ADS Google Scholar Semantic Scholar Export BibTeX Citation Bookmark Bibliographic Tools Bibliographic and Citation Tools Bibliographic Explorer Toggle Bibliographic Explorer (What is the Explorer?) Connected Papers Toggle Connected Papers (What is Connected Papers?) Litmaps Toggle Litmaps (What is Litmaps?) scite.ai Toggle scite Smart Citations (What are Smart Citations?) Code, Data, Media Demos Related Papers About arXivLabs Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)