A Normative Intermediate Representation for ASP-Based 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.