Rule-State Inference (RSI): A Bayesian Framework for Compliance Monitoring in Rule-Governed Domains
Not on the map. Why?
Abstract (arXiv)
Compliance monitoring in rule-governed domains (tax administration, clinical protocol adherence, environmental regulation) faces three structural obstacles that standard machine learning does not simultaneously address: the absence of labeled outcomes at deployment, strategically missing observations where non-compliant entities selectively withhold evidence, and a regulatory environment that changes faster than any supervised model can be retrained. We introduce Rule-State Inference (RSI), a Bayesian framework that reverses the usual paradigm. Rather than learning rules from data, RSI treats an authoritative, formalized rule set as structured Bayesian priors and infers the latent compliance state of a population through mean-field variational inference with exact coordinate-ascent updates. The central modeling object is a joint latent state per regulatory period: a global compliance-culture factor eta and per-rule components for activation, population compliance level, and parametric drift. RSI delivers three formal guarantees: O(n_k + K) regulatory adaptability per rule update; Bernstein-von Mises consistency for the identifiable continuous components; and monotone ELBO convergence at every iteration. We instantiate RSI on the Togolese fiscal system on a benchmark of 2,000 synthetic enterprises grounded in official regulatory law; full numerical validation is forthcoming. The framework is designed for direct extension to Sequential RSI, a state-space formulation where the posterior from one regulatory period becomes the prior for the next, yielding an exact Kalman filter for compliance-trajectory tracking and entity-level Bayesian scoring.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 7 of its 32 references that are in the map. First posted on arXiv 23 Mar 2026.
Builds on
7 of 32 references.
References · 7
- 2016XGBoost: A Scalable Tree Boosting Systemcited by 5,166
- 2016Variational Inference: A Review for Statisticianscited by 1,472
- 2020Logic Tensor Networkscited by 199
- 2017End-to-End Differentiable Provingcited by 161
- 2015Interpretable classifiers using rules and Bayesian analysis: Building a better stroke prediction modelcited by 140
- 2015Hinge-Loss Markov Random Fields and Probabilistic Soft Logiccited by 63
- 2021Catala: A Programming Language for the Lawcited by 20
Built on by
Not cited yet.