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.

翻译：我们提出MONIR，一种用于基于ASP的合规推理的模态化输出规范性中间表示。其核心片段具有分阶段操作语义，而MONIR-ASP提供可执行编译及对外部函数、时间规则和稳定模型推理的扩展。我们通过大语言模型辅助流程将该框架实例化于中国ADAS法规与标准。实验评估了抽取质量以及模块化与增量式ASP求解的效率。