Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Addressing the strict compliance and auditability mandates of the EU Law Enforcement Directive (LED), the authors construct an explainable symbolic decision-support framework for high-stakes regulatory processing. Unlike statistical machine learning models that lack formal interpretability, this system couples explicit legal rule representations with deterministic inference engines to support human-in-the-loop compliance workflows. The resulting architecture translates legal norms into executable SPARQL queries, automatically synthesizes step-by-step reasoning justifications, and employs decision-tree traversal to interactively elicit the minimal missing information when an initial query is inconclusive.
Where black-box models fall short on legal auditability, coupling SPARQL-based symbolic reasoning with decision-tree query refinement yields deterministic, provably explainable regulatory compliance decisions for law enforcement agencies.
The emergence of the digital transition brought an increasing need to control the processing of digital information, including in Law Enforcement Agencies (LEAs). At the EU level, in recent years, many regulations have emerged to control data processing and exchange. Texts other than the GDPR, such as the ''Law Enforcement Directive (LED)'', appeared to regulate specifically how Law Enforcement Agencies (LEAs) could process data. A formal representation of these regulations can be part of decision systems that support LEAs in processing data in compliance with the regulations. Although many new formalisms have emerged to represent legal norms and rules, few are provided with a reasoning mechanism. Furthermore, systems used in decision-making processes in critical contexts such as medical diagnoses or legal decisions cannot be fully automated, and the explainability of their results is essential to ensure user confidence in decisions. This explainability aspect, while crucial, is lacking in most modern approaches that rely on machine learning. This paper describes a framework to operate formal rules from regulations, by focusing on explainability of the decision. After describing the general architecture of the proposed decision support framework, the paper showcases how symbolic AI and the SPARQL query language can support legal reasoning. It then describes an algorithm to generate a justification for the reasoning results, and outlines the procedure to be followed when the reasoning does not lead to a satisfactory conclusion. We notably focus on a method based on decision trees to determine what additional information to request from the user.