AINeutralarXiv – CS AI · 8h ago5/10
🧠
A Normative Intermediate Representation for ASP-Based Compliance Reasoning
Researchers propose MONIR, a normative intermediate representation framework for automated compliance reasoning using Answer Set Programming (ASP). The system combines staged operational semantics with executable ASP compilation to evaluate regulatory adherence, demonstrated through application to Chinese ADAS (Advanced Driver Assistance Systems) regulations with LLM-assisted extraction pipelines.