A Normative Intermediate Representation for ASP-Based Compliance Reasoning

In three linesMONIR is a Modalized-Output Normative Intermediate Representation for ASP-based compliance reasoning. The framework features staged operational semantics, executable compilation (MONIR-ASP), and extensions for external functions and temporal rules. Validated on Chinese ADAS regulations using an LLM-assisted pipeline.

Summary generated by Claude — human-verified