# A Four-Valued Normative Intermediate Representation for ASP-Oriented Compliance Reasoning

arXiv: https://arxiv.org/abs/2606.04619 · HTML: https://mlsanity.com/paper/2606.04619/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 1 of its 6 references that are in the map.
- First posted on arXiv 3 Jun 2026.

## Builds on (most cited first, 1 of 1)

- [Multi-shot ASP solving with clingo](https://mlsanity.com/paper/1705.09811/) (2017)

## Abstract (arXiv)

Technical-standard compliance reasoning may involve incomplete evidence, inconsistent observations, exceptions, and derived normative outputs. This paper presents textscMonir, a four-valued normative intermediate representation for ASP-oriented compliance workflows. textscMonir separates factual support from normative outputs: facts are represented by positive and negative support bits, while deontic labels are rule-generated output constructors interpreted by aggregation policies. Its core semantics is a staged transition system over support configurations. We define the language, rule-state interface, diagnostics, and policy-parametric reporting; characterize admissible staged evaluation by a dependency graph; prove deterministic polynomial-time evaluation for fixed evidence; and give NP/coNP upper bounds, with matching hardness for representative completion-based verdict queries.