Title: Establishing a Standard Intermediate Representation for ASP-Driven Compliance Logic

Abstract: This study introduces MONIR (Modalized-Output Normative Intermediate Representation), a framework designed for compliance reasoning utilizing Answer Set Programming (ASP). The foundational component of MONIR employs a staged operational semantics. Furthermore, the MONIR-ASP module delivers executable compilation capabilities alongside extensions supporting external functions, temporal rules, and stable-model reasoning. To demonstrate its practical application, we deployed this framework within the context of Chinese Advanced Driver-Assistance Systems (ADAS) regulations and standards, leveraging an LLM-assisted workflow. Our experimental analysis focuses on assessing the quality of the extracted data as well as the performance metrics of modular and incremental ASP solving processes.

Source: arXiv Generated at: 2026-06-04 00:00:00 UTC