A Normative Intermediate Representation for ASP-Based Compliance Reasoning
Yangfan Wu, Huanyu Yang, Jianmin Ji
cs.AI cs.LO
Abstract
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.
Topics
Classified with taxonomy v2 on Wed, 2 Sept 2026.