PulseAugur
EN
LIVE 08:35:29

New ASP-based framework aids regulatory compliance reasoning

Researchers have introduced MONIR, a new intermediate representation designed for compliance reasoning using Answer Set Programming (ASP). This framework, detailed in a recent paper, includes an ASP compilation for execution and extensions for temporal rules and external functions. The system was tested on Chinese ADAS regulations, with experiments assessing extraction quality and the efficiency of ASP solving. AI

IMPACT Introduces a novel method for applying AI to regulatory compliance, potentially streamlining analysis of complex legal and technical standards.

RANK_REASON The cluster contains a research paper detailing a new framework for compliance reasoning. [lever_c_demoted from research: ic=1 ai=1.0]

Read on arXiv cs.AI →

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →

COVERAGE [1]

  1. arXiv cs.AI TIER_1 English(EN) · Yangfan Wu, Huanyu Yang, Jianmin Ji ·

    A Normative Intermediate Representation for ASP-Based Compliance Reasoning

    arXiv:2606.04619v1 Announce Type: new 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 f…