Home // Research // FSTM // DCS // Research Pro... // Automated Reasoning with Legal Entities

Automated Reasoning with Legal Entities

Funding: Fonds National de la Recherche > CORE > Core Junior
Start Date: Dec. 1, 2020
End Date: Nov. 30, 2022


The process of compliance checking involves the review and assessment of implemented processes and artefacts with respect to conformance towards normative specifications, e.g., addressing aspects of information security or privacy. Compliance checks may be conducted because of self-imposed quality and security policies, but might also be necessary activities required by external (public) regulators. Since compliance checks are time-consuming and expensive processes in general, there are ongoing endeavours to employ computer-assisted methods that reduce the extent and tasks of human actors in this process. A first step usually taken by these projects is the formalization of normative structures in knowledge bases. However, the utilization of these knowledge bases is still limited. In the AuReLeE project, effective methods for general automation of normative reasoning processes are developed and implemented. To this end, computational decision procedures will be designed. The project will also design and implement a dedicated system that combines the developed decision procedures with a flexible approach to import and re-use existing knowledge bases for their employment as underlying contexts for normative reasoning. AuReLeE is conducted at the University of Luxembourg and will contribute key insights for combining highly efficient reasoning methods with practically usable compliance checking tools.