About
AGLAIA aims to help increating an abstract representation of legal knowledge and legal reasoning to support the automation of legal tasks. More specifically, it aims to create: (a) a standard abstraction and a language for expressing legal knowledge, and (b) a standard vocabulary for representing the elements of legal norms. To do so, it will reconcile the approaches in the literature in the fields of Legal Informatics and in Requirements Engineering. The standards will be developed in ways that will ensure that (a) the output of the software dealing with legal issues is always understandable by a human, and (b) that the legal experts, who are not comfortable with programming language or formal logics, can easily understand the representation of the law and contribute to its creation or maintenance. In order to be of use for the automation of compliance-related tasks, the proposed standards must be combined in an argumentation framework: a decision tree where the applicable legal rules are combined together to simulate legal reasoning. As an additional goal, the research will define the requirements for such a framework. This involves the investigation of aspects of practical reasoning related to legal compliance, in an attempt to contribute to the ongoing research on AI alignment.
Organisation and Partners
- Interdisciplinary Centre for Security, Reliability and Trust (SnT)
- Software Verification and Validation Research Group (SVV)
Project team
-
Marcello CECI
-
Domenico BIANCULLI
Keywords
- legal knowledge representation
- legal reasoning
- argumentation frameworks
- AI alignment