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

Technical-standard compliance reasoning may involve incomplete evidence, inconsistent observations, exceptions, and derived normative outputs. This paper presents Monir, a four-valued normative intermediate representation for ASP-oriented compliance workflows. Monir 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.