{"ID":3050158,"CreatedAt":"2026-06-04T02:13:16.786527022Z","UpdatedAt":"2026-06-06T08:42:33.101913816Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2606.04619","arxiv_id":"2606.04619","title":"A Normative Intermediate Representation for ASP-Based Compliance Reasoning","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.","short_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 fr...","url_abs":"https://arxiv.org/abs/2606.04619","url_pdf":"https://arxiv.org/pdf/2606.04619v1","authors":"[\"Yangfan Wu\",\"Huanyu Yang\",\"Jianmin Ji\"]","published":"2026-06-03T08:55:48Z","proceeding":"cs.AI","tasks":"[\"cs.AI\",\"cs.LO\"]","methods":"[\"Large Language Model\"]","has_code":false}